OpenAI announced that its next-generation Astra model has produced new results for ten longstanding mathematical problems, including several conjectures and questions that had seen little or no progress in at least a decade.
The company is positioning the work as evidence that increasingly capable AI systems can contribute to advanced mathematical research.
OpenAI