OpenAI announced that a group of agents powered by their next-generation model solved a major frontier math problem.


> The proof was produced by a group of agents, using an OpenAI next-generation model significantly more capable than GPT-6 Astra.


Level 4 - Innovators 