Logo
LoginSign Up
Trump
NHL
Elon Musk
Soccer
US Politics
CS2
NFL

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

$3,277 volume
manifold
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
85.7%$0.86
Loading chart...
Selected BetBy 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
M
Trading via Manifold
Yes$3.3K Vol
85.7%
No$3.3K Vol
14.3%
Trade
No whale trades found for this event.