Read news on major open math with our app.
Read more in the app
An internal OpenAI Astra model solved 10 major open math and CS problems
