4 ms·I think 2026 should see insane progress in AI for math (if not in AI generally)by Davidzheng 10mo agoI think 2026 should see insane progress in AI for math (if not in AI generally)