When will we have a fully formalized proof of the Poincare Conjecture? | Manifold

When will we have a fully formalized proof of the Poincare Conjecture?

6

Ṁ285Ṁ376

2044

53%

before the end of 2028

28%

2029 to the end of 2033

9%

2034 to the end of 2038

7%

2039 to the end of 2043

4%

not by the end of 2043

Market context

Get

1,000

to start trading!

Sort by:

For comparison:

People are also trading

When will we have a fully formalized proof of Fermat's Last Theorem?

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will we have a formalized proof of Fermat's last theorem by 2049-05-01?

Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?

Will Fermat's last theorem proof be completely formalized in Lean in 2026?

Will Goldbach's conjecture be proved before 2040?

Will we have a formalized proof of the Modularity theorem by 2029-05-01?

Will Goldbach's conjecture be proved before 2050?

In what year will the Goldbach conjecture be proven or disproven?

Will Goldbach's conjecture be proved before 2030?

Related questions

When will we have a fully formalized proof of Fermat's Last Theorem?

Will we have a formalized proof of Fermat's last theorem by 2029-05-01?

Will we have a formalized proof of Fermat's last theorem by 2049-05-01?

Will any Millenium Prize Problem (other than the Poincaré conjecture) be solved by 2030?

Will Fermat's last theorem proof be completely formalized in Lean in 2026?

Will Goldbach's conjecture be proved before 2040?

Will we have a formalized proof of the Modularity theorem by 2029-05-01?

Will Goldbach's conjecture be proved before 2050?

In what year will the Goldbach conjecture be proven or disproven?

Will Goldbach's conjecture be proved before 2030?

© Manifold Markets, Inc.•Terms•Privacy