When will the PrimeNumberTheorem+ project formalize weak PNT?
10
450Ṁ12kresolved Mar 30
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".
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ101 | |
| 2 | Ṁ47 | |
| 3 | Ṁ34 | |
| 4 | Ṁ24 | |
| 5 | Ṁ18 |
People are also trading
Related questions
When will we have a fully formalized proof of the Poincare Conjecture?
Will a projective plane of non-prime-power order be discovered before 2026?
5% chance
P = NP (will it be proven by April 2027)
2% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
67% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will P vs NP be resolved by 2043?
50% chance
P != NP (will it be proven by April 2027)
3% chance
Is the prime patterns conjecture true?
83% chance
If P=NP is proven, will the first proof be constructive?
29% chance