Which math problems will AI solve in 2026? | Hodge Conjecture 20% | InfoFlow – Leveraged Prediction Market