reasoningfactneutralMath problems are more amenable to formal verification and synthetic data than most other problemsGary Marcus01 Aug 2026https://x.com/GaryMarcus/status/2083566378481856593