Logo
Trump
NHL
Elon Musk
Soccer
US Politics
CS2
NFL

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

$2,567 volume
manifold
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
69.5%$0.70
Loading chart...
Selected BetBy 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
M
Trading via Manifold
Yes$2.6K Vol
69.5%
No$2.6K Vol
30.5%
Trade
No whale trades found for this event.