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?

Mini

6

Ṁ376

2044

1D

1W

1M

ALL

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

Get Ṁ1,000 play money

Sort by:

For comparison:

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 2049-05-01?

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

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

Will we have a proof of the Riemann Hypothesis by 2060?

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

Will Goldbach's conjecture be proved before 2040?

Will Goldbach's conjecture be proved before 2050?

Will Goldbach's conjecture be proved before 2030?

Will Goldbach's conjecture be proved before 2100?

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 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?

Will we have a proof of the Riemann Hypothesis by 2060?

Will Goldbach's conjecture be proved before 2100?