reasoningfactbullishAI is making recent breakthroughs in solving decades-old mathematical conjecturesDenny Zhou27 Jul 2026https://x.com/denny_zhou/status/2081430796108513548