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
| # | Trader | Total profit |
|---|---|---|
| 1 | Ṁ101 | |
| 2 | Ṁ47 | |
| 3 | Ṁ34 | |
| 4 | Ṁ24 | |
| 5 | Ṁ18 |
Sort by:
People are also trading
Related questions
Will the Twin prime Conjecture be proven before 2030?
49% chance
When will we have a fully formalized proof of the Poincare Conjecture?
P != NP (will it be proven by April 2027)
5% chance
P = NP (will it be proven by April 2027)
2% chance
Will P vs NP be resolved by 2043?
48% chance
Is the prime patterns conjecture true?
83% chance
If P=NP is proven, will the first proof be constructive?
31% chance