Will we have a formalized proof of the Modularity theorem by 2029-05-01?
28
1kṀ78342029
65%
chance
1H
6H
1D
1W
1M
ALL
The resolves "YES" if by the market close date, there is a publically-downloadable full formal proof of the modularity theorem (formerly known as the Taniyama-Shimura Conjecture) 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,000People are also trading
Related questions
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
67% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
91% chance
In 2029, will any AI be able to take an arbitrary proof in the mathematical literature and translate it into a form suitable for symbolic verification? (Gary Marcus benchmark #5)
83% chance
When will we have a fully formalized proof of the Poincare Conjecture?
Will an AI model write the proof to the Riemann Hypothesis by the end of 2025?
2% chance
When will we have a fully formalized proof of Fermat's Last Theorem?
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
60% chance
Which theorem prover will have proved the most theorems on Freek's list by end of 2025?
Will LLMs be able to formally verify non-trivial programs by the end of 2025?
30% chance
Will we have a proof of the Riemann Hypothesis by 2060?
58% chance