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 an AI model write the proof to the Riemann Hypothesis by the end of 2025?
2% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
70% 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?
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