By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
28
1kṀ2083
2030
63%
chance

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

  • including generating the theorems to prove.

Get
Ṁ1,000
to start trading!
© Manifold Markets, Inc.TermsPrivacy