When will we have a fully formalized proof of the Poincare Conjecture?
6
285á¹€3762044
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
Esta pergunta é gerenciada e resolvida pela Predita.
Get 
1,000 to start trading!
1,000Pessoas também estão operando
Perguntas relacionadas
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?
69% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
94% chance
Will Fermat's last theorem proof be completely formalized in Lean in 2026?
10% chance
Will Goldbach's conjecture be proved before 2040?
44% chance
Will we have a formalized proof of the Modularity theorem by 2029-05-01?
74% chance
Will Goldbach's conjecture be proved before 2050?
61% chance
In what year will the Goldbach conjecture be proven or disproven?
2039
Will Goldbach's conjecture be proved before 2030?
12% chance
Will we have a proof of the Riemann Hypothesis by 2060?
57% chance