OpenAI mathematical manuscript release sparks backlash from mathematicians

OpenAI mathematics artificial intelligence Fields Medal scientific research

OpenAI has released a massive collection of 722 mathematical manuscripts on GitHub, generated by an unreleased internal frontier AI model. The works, organized into 372 result families, cover diverse fields including number theory, algebraic geometry, and theoretical computer science. Some results touch upon high-profile problems such as the Riemann hypothesis.

The release has triggered significant backlash and concern within the global mathematical community. The Association for Human Mathematics (AHM) has called for a boycott of OpenAI, urging mathematicians to cease collaboration with the company to protect the core values of human-centered scientific research. Prominent mathematicians, including Fields Medalist Terence Tao, have expressed concerns regarding the speed of AI-generated output versus the human capacity to verify, understand, and absorb these findings.

Technical issues have already emerged. OpenAI retracted three manuscripts due to sign errors and revised others. Furthermore, researchers from the University of Cambridge and King's College London identified discrepancies between the AI's written explanations and the code used for computer-based verification via the Lean tool. Critics argue that the sheer volume of unverified results threatens to disrupt the traditional academic process of peer review and collaborative understanding.

Entities

Association for Human Mathematics · Association for Mathematics (AHM) · GitHub · OpenAI · Riemann hypothesis · Terence Tao

Claims

What the coverage asserts, and how many sources carry each claim.

[● 3 SOURCES] OpenAI released 722 mathematical manuscripts generated by an unreleased internal frontier model. www.eeo.com.cn · www.online-tech-tips.com · www.techno-science.net
[○ 1 SOURCE] Terence Tao and 25 other Fields Medalists signed a declaration warning of the risks of AI in fundamental mathematics. www.eeo.com.cn
[● 3 SOURCES] OpenAI retracted three manuscripts because of a sign error. www.eeo.com.cn · www.online-tech-tips.com · www.techno-science.net
[● 3 SOURCES] The manuscripts are categorized into 372 result families. www.eeo.com.cn · www.online-tech-tips.com · www.techno-science.net
[○ 1 SOURCE] Researchers identified differences between the AI's written explanations and the code used for computer verification. www.chosunonline.com
[● 2 SOURCES] Obtaining a result requires an average of three hours of computation equivalent to ChatGPT Pro. www.tmtpost.com · www.stheadline.com
[● 2 SOURCES] Some of the released results relate to the Riemann hypothesis. www.eeo.com.cn · www.stheadline.com
[● 3 SOURCES] The Association for Human Mathematics (AHM) urged mathematicians to stop collaborating with OpenAI. www.eeo.com.cn · ipaddisti.it · www.stheadline.com