Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
24
Ṁ1kṀ8.8kresolved Sep 6
Resolved
YES1H
6H
1D
1W
1M
ALL
The resolves "YES" if by the market close date, there is a publically-downloadable full formal proof of Fermat's last theorem in a theorem-proving language such as Coq, Lean, or Isabelle.
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Trader | Total profit |
|---|---|---|
| 1 | Ṁ70 | |
| 2 | Ṁ42 | |
| 3 | Ṁ40 | |
| 4 | Ṁ38 | |
| 5 | Ṁ32 |
Sort by:
People are also trading
Related questions
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
94% chance
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
2% chance
Could Fermat have had a proof of Fermat's Last Theorem?
5% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Will Goldbach's conjecture be proved before 2040?
61% chance
Will we have a proof of the Riemann Hypothesis by 2060?
79% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
Will the alleged proof of P!=NP by Ke Xu and Guangyan Zhou be recognized as valid by 2050?
10% chance
Will Goldbach's conjecture be proved before 2100?
80% chance
Will Goldbach's conjecture be proved before 2030?
27% chance