reasoningfactbullishMath used to be strangely hard for LLMs, but is getting easier as AI becomes more capableZvi Mowshowitz04 Aug 2026https://thezvi.substack.com/p/openais-unreleased-model-astra-solves