Will a Millenium problem be formally stated in a theorem prover by 2025
9
70Ṁ1733
resolved Jan 11
Resolved
YES

Get
Ṁ1,000
to start trading!

🏅 Top traders

#NameTotal 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

© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules