[CLSTR]
API
< Back to situations

Monitor this situation.

[SITUATION] · [QUIET] · [TECHNOLOGY]

7 clusters · 63 sources · 42 days · First seen · Last updated

OpenAI math manuscript release and growing academic backlash

Overview

OpenAI has released 722 mathematical manuscripts on GitHub, generated by an unreleased internal frontier model. These findings, organized into 372 families of related results, span fields such as algebra, number theory, topology, and mathematical logic. OpenAI claims most results were produced from a single prompt given to a single AI agent, with each result requiring an average of approximately three hours of computing time. This release follows the company’s previous claim of solving the Navier-Stokes equations and includes reported progress on three additional Millennium Prize problems.

The release has triggered significant debate regarding scientific rigor and transparency. While some researchers view the output as a major advancement, others remain skeptical due to a lack of independent verification. Notably, only 162 of the 722 papers include a main result formally verified by Lean software. Critics from MIT and the Institute for Advanced Study have highlighted that the claims cannot be replicated because the underlying model remains unreleased. Furthermore, the Institute for Advanced Study noted that OpenAI failed to disclose the specific prompts used, a move that contradicts recommendations made by its own independent Advisory Group on Mathematics and Artificial Intelligence (AGMAI).

Backlash has intensified, with the Association for Human Mathematics (AHM) characterizing the publication as a “demonstration of power” rather than a “demonstration of scholarship.” Fields Medalist Terence Tao and others have called for a boycott of OpenAI. New technical concerns have emerged as OpenAI retracted three manuscripts due to sign errors. Additionally, 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. In response to community friction, OpenAI withdrew its $1 million sponsorship of the Caltech Mathathon after 771 mathematicians signed an open letter criticizing the event.

Entities

OpenAI · Anthropic · California Institute of Technology · Association for Human Mathematics · Institute for Advanced Study

Claims

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

Timeline

  1. [TECHNOLOGY] 2 sources
    Mathematicians launch boycott against AI corporations

    Over 1,000 mathematicians are boycotting AI corporations, with some seeking to entirely exclude AI from mathematical research due to concerns over academic integrity and corporate influence.

  2. [TECHNOLOGY] 18 sources
    OpenAI mathematical manuscript release sparks backlash from mathematicians

    OpenAI's release of 722 AI-generated mathematical manuscripts has sparked a backlash from the global math community, leading to calls for a boycott and concerns over scientific integrity.

  3. [TECHNOLOGY] 5 sources
    Association for Human Mathematics objects to OpenAI math paper release

    The Association for Human Mathematics has criticized OpenAI after the company released 722 AI-generated math papers, calling the move a demonstration of power rather than scholarship.

  4. [TECHNOLOGY] 2 sources
    AI integration in mathematics sparks academic integrity concerns

    Mathematicians are debating the ethics of AI in research following OpenAI’s claim of solving a Millennium Prize Problem and backlash over an AI-sponsored math competition at Caltech.

  5. [TECHNOLOGY] 29 sources
    OpenAI forms independent math advisory group after solving 100+ problems

    OpenAI has formed an independent nine-member mathematical advisory group at the Institute for Advanced Study to oversee the communication and evaluation of AI-generated mathematical discoveries.

  6. [TECHNOLOGY] 3 sources
    OpenAI withdraws from Caltech math competition amid researcher backlash

    OpenAI has withdrawn $1 million in sponsorship from the Caltech Mathathon following backlash from hundreds of mathematicians concerned about “slop mathematics” and the uncompensated verification of AI results.

  7. [TECHNOLOGY] 4 sources
    OpenAI withdraws sponsorship from Caltech math hackathon

    OpenAI has withdrawn sponsorship for a Caltech math hackathon following criticism from mathematicians regarding ‘slop mathematics’ and the uncompensated labor required to verify AI-generated research.

Sources

ad-hoc-news.de · agcensus.usda.gov · arts-spectacles.com · blocktempo.com · bookclubz.com · chatgptiseatingtheworld.com · chosunonline.com · codigoqro.mx · cryptobriefing.com · deseret.com · dev.to · diarioextra.com · digitalmarketreports.com · enerzine.com · espiganoticias.net · europesays.com · evidencenetwork.ca · excelsior.com.mx · finance.technews.tw · geekzilla.tech · generation-nt.com · gizmodo.com · greyenlightenment.com · gry-online.pl · ibtimes.co.uk · inc42.com · ipaddisti.it · ithome.com · joemiller.us · ksfr.org · laist.com · latimes.com · lebardegandi.net · looniepolitics.com · markets.businessinsider.com · mentepost.com · muycomputer.com · newspaceeconomy.ca · noticiasdeNavarra.com · online-tech-tips.com · ontheissuesmagazine.com · pwe.ug.edu.pl · pymnts.com · que.es · scientificamerican.com · signsofthetimes.com · soundvision.com · stheadline.com

This summary has been updated 12 times: see revision history