reasoningcritiquebearishSuccess on math problems does not guarantee success in other AI domains because math can heavily leverage symbolic verification and formally generated synthetic dataGary Marcus03 Aug 2026https://x.com/GaryMarcus/status/2084013282638336032