T twitter.com An internal OpenAI Astra model solved 10 major open math and CS problems 49 points wa5ina 3 months ago 51 comments
