An internal OpenAI Astra model solved 10 major open math and CS problems

(twitter.com) by wa5ina | Aug 2, 2026 | 0 comments on HN