When will the PrimeNumberTheorem+ project formalize weak PNT?
Basic
10
Ṁ12kresolved Mar 30
1D
1W
1M
ALL
Resolved
NOBy 2024-01-07
Resolved
NOBy 2024-02-07
Resolved
NOBy 2024-02-14
Resolved
NOBy 2024-02-28
Resolved
NOBy 2024-03-14
Resolved
NOBy 2024-03-28
Resolves to all dates on or after the first date that the "Weak PNT" declaration on the project dependency chart shows with a dark green background, indicating
"the proof of this result and all its ancestors are formalized".
Get
1,000
and1.00
Sort by:
Related questions
Related questions
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
62% chance
Will P vs NP be resolved by 2043?
31% chance
When will we have a fully formalized proof of the Poincare Conjecture?
If P=NP is proven, will the first proof be constructive?
47% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will a projective plane of non-prime-power order be discovered before 2026?
27% chance
Will the “sum of 3 palindromes” theorem be formalized by the end of 2024?
35% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
89% chance
P = NP (will it be proven by April 2027)
2% chance
Is the prime patterns conjecture true?
83% chance