https://officechai.com/ai/openai-says-it-has-solved-10-open-math-problems-using-astra-its-new-model/ 2026-08-01T08:13:03+00:00 monthly 0.2 https://officechai.com/ai/gpt-5-6-sol-helps-prove-that-non-sofic-groups-exist-in-big-math-breakthrough/ 2026-08-01T08:29:11+00:00 monthly 0.2