By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
$4,082 volume
By 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
92.3%$0.92
Loading chart...
Selected BetBy 2030, AI can autonomously prove mathematical theorems that are publishable in mathematics journals today?
M
Trading via ManifoldMarket Volume$4.1K
Yes
No