reasoningfactbullishAI is currently achieving mathematical breakthroughs on decades-old conjecturesDenny Zhou27 Jul 2026https://x.com/denny_zhou/status/2081430796108513548