🇫🇷 French, 7 October 2026, AI in math
OpenAI publishes 722 math manuscripts, organized into 372 families of results, with 35,000 pages of math
The manuscripts were generated by an internal OpenAI AI model from 4,000 research problems.
The manuscripts include solutions to long-standing problems, such as the De Giorgi conjecture, which was solved by an OpenAI AI model.
The development has sparked a mix of emotions among mathematicians, ranging from euphoria to depression, as they grapple with the implications of AI-generated math.
Mathematicians are being forced to rethink their role in the face of AI-generated math, with some arguing that they must adapt to work alongside AI, rather than simply relying on human intuition and logic.