TL;DR
Prime made for students and young adults
- Fast, free delivery for dorm and study essentials
- Prime Video and Amazon Music included
- Member-only deals
Derek Thompson reports that OpenAI has published hundreds of mathematical findings in recent months, including proofs on problems that had challenged mathematicians for decades or longer. Mathematicians Steven Strogatz and Hugo Duminil-Copin described grief and disorientation, reflecting not only on the results but on the human relationships and shared effort that shape mathematical research.
OpenAI has published hundreds of mathematical findings in recent months, according to Derek Thompson’s report, including proofs on problems that had challenged researchers for decades or longer. Mathematicians quoted in the report described grief and disorientation, alongside excitement, and raised questions about recognition and the role of shared human effort in research.
The findings described in the report span number theory, theoretical computer science and logic. Thompson says many address long-standing problems, but the source material does not identify the individual results, provide a paper list, or detail how each proof was checked. The scale of the reported output and the response from mathematicians are the central developments in the account.
Among those responding was Hugo Duminil-Copin, the 2022 Fields Medal recipient. After an OpenAI release in October, he said, “Tuesday night, I cried and it woke up my daughter,” and described the effect on his area of research as devastating. Cornell mathematician and author Steven Strogatz also told Thompson he had cried, describing a mix of exhilaration and grief as the community tried to understand the change.
Thompson’s report focuses on a conversation with Strogatz about why the reaction may be more than professional disappointment. Researchers can feel that years of work, expertise and status have been disrupted, but Strogatz also connects mathematics to a shared pursuit across generations: earlier mathematicians pose problems and leave work for others to extend. The report presents this as an interpretation of the emotional response, not as a claim that mathematicians oppose new results or that AI has ended human mathematical research.
The immediate significance is the pressure these results may place on how mathematicians define originality, expertise and contribution. If AI systems can produce proofs for difficult problems, researchers will have to consider how to verify those proofs, understand the methods behind them, and credit work that may involve people and machines. The report does not establish that those questions have been settled.
Strogatz’s account also points to a less measurable concern: mathematics is not only a collection of correct answers but a human practice passed between generations. Researchers learn from earlier work, challenge it and try to add something of their own. When a machine appears to move rapidly through problems that once defined a field, the loss some mathematicians describe can involve the experience of participating in that shared effort, not just competition over individual achievements.
For readers outside mathematics, the episode offers a current example of a broader debate over AI and skilled intellectual work. Thompson does not predict that whole professions will disappear in the near term. Instead, he argues that systems producing intellectual output may unsettle the link many people make between human intelligence, purpose and self-worth. That is an interpretation of the stakes, rather than a measured forecast of job losses.
mathematics proof verification software
As an affiliate, we earn on qualifying purchases.
As an affiliate, we earn on qualifying purchases.
From Archimedes to AI Proofs
To explain Strogatz’s response, Thompson places it in the history of mathematics. He recounts how Archimedes estimated the area of curved shapes and the value of pi by approximating a circle with polygons. In a letter to Eratosthenes, Archimedes wrote that future discoverers would add to the theorems already found. Strogatz sees that statement as expressing mathematics’ long chain of shared work.
Thompson uses that history to frame science as both a craft and a conversation. Researchers develop ways to observe and reason, while also building on, correcting and contesting other people’s ideas. This background helps explain why Strogatz describes the OpenAI results in emotional as well as technical terms: the change touches a community’s understanding of its place in an ongoing project.
The report does not provide a technical review of OpenAI’s methods or compare the system’s performance with human mathematicians across a defined benchmark. Its focus is the reported results and the response of researchers, particularly Strogatz. That distinction matters: the article is evidence of a community reaction and a discussion of its meaning, not a full audit of the proofs or an independent assessment of the system.
““Tuesday night, I cried and it woke up my daughter.””
— Hugo Duminil-Copin, 2022 Fields Medal recipient, as quoted in Derek Thompson’s report
As an affiliate, we earn on qualifying purchases.
Proof Checks and Research Impact
The source material does not name the hundreds of findings, specify which problems were solved, or explain how the proofs were independently checked. It also does not set out the tools OpenAI used or the extent of human involvement. Those details are needed to assess what the results demonstrate about current AI capabilities.
It remains unclear how the findings will change day-to-day mathematical research, including whether they will lead to new methods, alter publication practices or affect how credit is assigned. The report records strong reactions from individual mathematicians, but it does not establish how widely those views are shared across the field. Nor does it provide evidence that AI has replaced mathematicians or made their work unnecessary.
As an affiliate, we earn on qualifying purchases.
Verification and Community Response
The next substantive steps are likely to depend on the mathematical community’s examination of the reported proofs: whether specialists can verify them, reproduce the reasoning and determine what further questions the results open. The source material gives no timeline for that process and does not identify a specific forthcoming review or release.
For now, the confirmed development in Thompson’s account is the publication of a large body of OpenAI mathematical findings and the unsettled response they have prompted among some researchers. Further technical detail and independent assessment will be needed to show how much the work changes mathematical practice. The larger discussion about recognition, shared discovery and the meaning people attach to intellectual work is likely to continue alongside that evaluation.
As an affiliate, we earn on qualifying purchases.
Key Questions
What is the news about OpenAI and mathematics?
Derek Thompson reports that OpenAI published hundreds of mathematical findings in recent months, including proofs relating to problems that had challenged researchers for decades or longer. The report does not list all the findings or assess each proof independently.
Why are some mathematicians upset?
Mathematicians quoted in the report describe grief and disorientation as well as astonishment and excitement. Strogatz connects the reaction to the role of shared effort and work passed between generations, while the report also acknowledges concerns about status, recognition and years of research.
Have the reported proofs been independently verified?
The supplied source does not explain how each proof was checked or identify independent verification. That remains unclear from the report material.
Does the report say AI will replace mathematicians?
No. Thompson discusses the possibility that AI will unsettle how people understand intellectual work, but the report does not establish that mathematicians will be replaced or that human research is no longer needed.
Source: hn
Fall Picks
fall essentials
As an affiliate, we earn on qualifying purchases.
