By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
➕
Plus
25
Ṁ1303
2030
56%
chance

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

  • including generating the theorems to prove.

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

© Manifold Markets, Inc.Terms + Mana-only TermsPrivacyRules