Skip to main content
MANIFOLD
Will a Millenium problem be formally stated in a theorem prover by 2025
9
Ṁ70Ṁ1.7k
resolved Jan 11
Resolved
YES

Millennium Prize Problems
Formal Methods
Get
Ṁ1,000
to start trading!

🏅 Top traders

#TraderTotal profit
1Ṁ203
2Ṁ23
3Ṁ16
4Ṁ8
5Ṁ5
Sort by:
bought Ṁ50 YES

I did a formalization of the statement of P vs NP in a Lean Zulip forum comment last year, does this count?

@BobbyLee

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.

bought Ṁ573 YES

@BoltonBailey It counts

People are also trading

Will ANOTHER millennium prize problem be solved in 2026?
46% chance
All Millennium Prize Problems solved before May 2027?
8% chance
Which Millennium Prize Problem will be solved next?
Will an unsolved millenium prize problem be solved by AI by the end of 2028
96% chance
Will a millennium problem be solved in 2027?
+3% 1d60% chance
Millennium: Prize Problem solution published before 2028 and verified?
98% chance
Will a millennium problem be solved in 2026?
98% chance
Will some Millennium Prize Prize Problem be solved in 2026?
96% chance
Will some Millennium Prize Problem be solved before 2028?
97% chance
Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2040?
99% chance