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

· Hacker News