Mathematicians call for OpenAI boycott over 700+ AI-generated proof files
Overview
The Association of Historical Mathematicians (AHM) has called for a boycott of OpenAI after the company released more than 700 AI-generated mathematical proof files at once.
The group's statement says "Mathematicians did not ask for this work to be done," calling the release "not a demonstration of scholarship, but a demonstration of power." The AHM says OpenAI ignored the central premise of the AGMAI advisory group's advice, which held that advanced math problems shouldn't be tested on internal models.
OpenAI published 719 manuscripts covering 372 result families on GitHub, after withdrawing 3 on October 7 over a symbol error. IT之家 reports that the release does not fully meet AGMAI's standards, citing proprietary models, reasoning chains for only 10 manuscripts, and about 42% of results left unformalized. Terence Tao, who chairs the AHM, argues that rapidly solving famous problems harms the community's understanding and collaboration.
Written by AI from the articles below · updated Oct 10, 1:17 AM ET
Check the sources:
Developments
2 developments
- Oct 8, 9:40 PM ET · 1 articleOpenAI publishes 719 AI-generated math proofs; Terence Tao criticizes the releaseIThome · AI: Terence Tao questions OpenAI's 719 AI-generated math proofs
- Oct 8, 2:17 PM ET · 1 articleMathematicians call for OpenAI boycott after AI-generated proofs flood the fieldThe Decoder: Mathematicians call for OpenAI boycott after AI-generated proofs flood the field
Article timeline
The articles in this story. Times are ET.
- IThome · AINewsTerence Tao questions OpenAI's 719 AI-generated math proofs
AIOpenAI published 719 AI-generated math proofs covering 372 result families, after withdrawing 3 for a symbol error. Reports say the release falls short of the AGMAI advisory group's standards, since it uses proprietary models, includes reasoning chains for only 10 manuscripts, and leaves about 42% unformalized. Terence Tao argues that rapidly solving famous problems harms the mathematical community's understanding and collaboration.
- The DecoderNewsPickMathematicians call for OpenAI boycott after AI-generated proofs flood the field
AIThe Association of Historical Mathematicians (AHM) has called for a boycott of OpenAI after the company released more than 700 AI-generated proof files at once. Fields Medalist Terence Tao, who chairs the group, argues that AI solving open problems autonomously reduces seminars, collaborations, and fertile research directions, and that the field should shift its measure of progress toward explanation and community-building.
Heat trend
Not enough continuous observations to show a trend yet.