By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?

Standard

24

Ṁ12722030

54%

chance

1D

1W

1M

ALL

AI can autonomously prove mathematical theorems that are publishable in mathematics journals today

including generating the theorems to prove.

This question is managed and resolved by Manifold.

Get

1,000

and1.00

Sort by:

Can the AI use a proof assistant (https://en.wikipedia.org/wiki/Proof_assistant), or have it as part of its own code?

If not, then do you restrict the AI type to be only a LLM / solely made up of a neural network?

## Related questions

## Related questions

By the end of 2028 will AI be able to write an original article and get it accepted in a prestigious Philosophy journal?

45% chance

Will AI surpass human intellect by 2030?

85% 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)

71% chance

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2030?

31% chance

Will an AI be able to convert recent mathematical results into a fully formal proofs that can be verified by a mainstream proof assistant by 2025?

15% chance

Will an AI co-author a mathematics research paper published in a reputable journal before the end of 2026?

38% chance

Will an AI solve any important mathematical conjecture before January 1st, 2030?

76% chance

Will any AI be able to explain formal language proofs to >=50% of IMO problems by the start of 2025?

48% chance

Will AIs be widely recognized as having developed a new, innovative, foundational mathematical theory before 2035?

41% chance

Will the majority of mathematicians rely on formal computer proof assistants before the end of 2040?

69% chance