Em altaUrgenteNovo
PolíticaEsportesCriptoFinançasGeopolíticaResultadosTecnologiaCulturaMundoEconomiaEleições
Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?
32
1kṀ1333
2040
60%
chance

Computer proof assistant is a tool, that by using computation, is able with "certainty", verify and build new proofs from underlying specified axioms (Lean4, Coq, Agda, etc...).

Resolves YES if before the end of 2040 there is a trustworthy poll/evidence that shows more than 50% of professional mathematicians use or rely on it.

Technology
Mathematics
Get
Ṁ1,000
to start trading!

Pessoas também estão operando

Will AI be better every human at proving Math theorems by the end of 2030?
16% 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)
76% chance
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
70% chance
Will Fermat's last theorem proof be completely formalized in Lean in 2026?
10% chance
Will formal verification become "mainstream" before 2031?
15% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
94% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
69% chance
Frontier science theorem discovery fully formalized in proof assistant before 2028?
23% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
32% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
32% chance
Ordenar por:

How will this question resolve if AI becomes significantly stronger than human mathematicians at math and therefore the nature of the profession is transformed in some way?

@OlegEterevsky For example, what if mathematicians will primarily do teaching, rather than research?

previuYES

@OlegEterevsky As long as the word "relying on" makes sense...

previuYES

@OlegEterevsky So teaching but utilizing proof assistants would qualify.

I think it would happen but nobody’s actually going to conduct a randomly sampled poll on this.

previuYES

@thepurplebull I've added "trustworthy evidence" as also a resolution qualifier.

Pessoas também estão operando

Will AI be better every human at proving Math theorems by the end of 2030?
-25% 1d16% 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)
76% chance
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
70% chance
Will Fermat's last theorem proof be completely formalized in Lean in 2026?
10% chance
Will formal verification become "mainstream" before 2031?
15% chance
Will we have a formalized proof of Fermat's last theorem by 2049-05-01?
94% chance
Will we have a formalized proof of Fermat's last theorem by 2029-05-01?
69% chance
Frontier science theorem discovery fully formalized in proof assistant before 2028?
23% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?
32% chance
Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?
32% chance
© Predita Markets, Inc.•Termos de Uso•Privacidade