OpenAI says an internal Astra build solved ten decades-stalled math and CS problems

OpenAI says an internal version of its next model, Astra, found solutions to ten math/theoretical-CS problems that had seen no progress in years.