Will Fermat's last theorem be formalized before AI gets IMO gold?
10
130Ṁ844resolved Jul 21
Resolved
NO1H
6H
1D
1W
1M
ALL
This question is managed and resolved by Manifold.
Get 
1,000 to start trading!
1,000🏅 Top traders
| # | Name | Total profit |
|---|---|---|
| 1 | Ṁ42 | |
| 2 | Ṁ22 | |
| 3 | Ṁ9 | |
| 4 | Ṁ9 | |
| 5 | Ṁ6 |
People are also trading
Related questions
Will an AI solve any important mathematical conjecture before January 1st, 2030?
78% chance
Will AI solve one of 129 major mathematical conjectures before year X?
Will the AIMO (Artificial Intelligence Mathematical Olympiad) Grand Prize be won before 2026?
9% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
74% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will an AI get gold on this Olympiad by the end of 2025?
Time between AI winning IMO gold medal and AI winning IMO grand challenge (see description)
When will an open-sourced AI win a Gold Medal in the International Math Olympiad?
Will a proof of Fermat's Last Theorem simple enough for Fermat to have possessed be found by 2027?
2% chance