
Will a Millenium problem be formally stated in a theorem prover by 2025
9
70Ṁ1733resolved Jan 11
Resolved
YES1D
1W
1M
ALL
This question is managed and resolved by Manifold.
Get
1,000 to start trading!
🏅 Top traders
# | Name | Total profit |
---|---|---|
1 | Ṁ203 | |
2 | Ṁ23 | |
3 | Ṁ16 | |
4 | Ṁ8 | |
5 | Ṁ5 |
Sort by:
bought Ṁ100 YES
@BoltonBailey If something more heavily reviewed is needed, note that Lean has had a formulation of RH in its main math library since mid-2024.
People are also trading
Related questions
Will another Millennium Problem be resolved before the end of 2025?
7% chance
Will an AI System Solve One of the Remaining Millennium Prize Problems by June 2025?
1% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2040?
75% chance
Will a Millennium Prize problem be solved in the year 2025 with the help of AI?
4% chance
Will all Millennium prize problems be solved (or proved unsolvable) by 2040?
25% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?
46% chance
Will all Millennium prize problems be solved (or proved unsolvable) by 2030?
9% chance
Will at least one of the remaining Millenium Problems be solved before 2030?
49% chance
When will one of the remaining Millenium Problems be solved?
Which Millennium Prize problem will be solved in the year 2025 with the help of AI?