By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
Standard
24
Ṁ1272
2030
54%
chance

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

  • including generating the theorems to prove.

Get
Ṁ1,000
and
S1.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?

@foldguesser no restrictions on the type of AI