Read news on hardest problems with our app.
Read more in the app
OpenAI claims 10,000 of its AI agents solved one of mathematics' hardest problems in 88 hours
