When will the PrimeNumberTheorem+ project formalize weak PNT?
10
212
Ṁ12KṀ450
resolved 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 Ṁ200 play money
🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ42 | |
| 2 | Ṁ18 | |
| 3 | Ṁ9 | |
| 4 | Ṁ8 | |
| 5 | Ṁ7 |
Sort by:
More related questions
Related questions
Will a blank-slate AI prove the infinitude of primes by 2025-11-03?
40% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
59% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
52% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
64% chance
Which Millennium Prize Problem will be solved next?
If P=NP is proven, will the first proof be constructive?
45% chance
By when will a competition platform like Codeforces but for mathematics (theorem proving) appear?
When will a weakly general AI become publicly known?
2028
Will a projective plane of non-prime-power order be discovered before 2026?
29% chance