I think 2026 should see insane progress in AI for math (if not in AI generally)