An internal OpenAI Astra model solved 10 major open math and CS problems from Hacker News on 2026-08-02 12:01 (#77DDQ) Comments