reasoningopinionbullishAI is making mathematical proofs cheapDenny Zhou27 Jul 2026https://x.com/denny_zhou/status/2081430796108513548