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

Prediction market on manifold. AI can autonomously prove mathematical theorems that are publishable in mathematics journals today including generating the theorems to prove.

24h Volume: $660.784. Liquidity: $1,000. Resolves: 1/6/2030.