An internal OpenAI Astra model solved 10 major open math and CS problems August 2, 2026 · Hacker News Read full story at source