ThinkingNews
Top Stories
4 outlets·5 reports·over 33h

Top mathematicians are outraged by OpenAI's methods

ThinkingNews Desk · how this was written

OpenAI announced that its system produced an AI-generated answer to the Navier–Stokes existence and smoothness problem, a member of the seven Millennium Prize problems. The claim has drawn strong criticism from mathematicians, who say the result lacks independent verification, proper proof, and raises concerns about credit and the company’s impact on established research norms.

Written from all 4 reports below, not from any single one.

How it was reported

  1. Hacker News·
    Top mathematicians are outraged by OpenAI's methods
  2. TechCrunch·
    OpenAI’s feud with mathematicians is only escalating

    Twenty-five Fields Medalists signed an open letter accusing OpenAI of pressuring credit decisions, using Codex to produce unverified proofs, and encouraging secrecy over collaboration. The letter cites Tristan Buckmaster’s claim that OpenAI pressured him to omit a collaborator and notes the withdrawal of OpenAI’s CalTech sponsorship after criticism. It demands that AI-generated solutions be verifiable, properly cited, and integrated into the mathematical canon.

  3. Wired·
    ‘I’m Really Terrified’: A Mathematician Grapples With AI’s Recent Breakthroughs

    OpenAI announced that tens of thousands of AI agents solved a 90-year-old math problem with a $1 million prize, building on a strategy by Diego Córdoba and Luis Martínez-Zoroa, though the result still awaits independent verification amid disputes over credit. Anthropic reported Claude proving 29,500 small theorems and formalizing Fermat’s Last Theorem, while mathematicians like Steven Strogatz and Alex Townsend describe AI’s rapid breakthroughs as both transformative and threatening to traditional research careers.

  4. The Verge·
    OpenAI just wants to win

    OpenAI announced that it has solved one of the seven Millennium Prize problems, marking its most significant mathematical breakthrough to date. The claim has sparked concern among mathematicians, who view the company’s deep resources and rapid entry into long-studied problems as a disruptive force that disregards established research norms.

  5. Hacker News·
    After Math

    OpenAI disclosed on 8 September 2026 that its system generated an AI-produced answer to the Navier–Stokes existence and smoothness problem. The authors contend that, despite a formal Lean certification, a mere answer lacks the intelligible proof required for a genuine solution. They argue that mathematics also aims at theory development, unification, and community building, rejecting claims that AI has “defeated” human mathematicians and urging a reassessment of mathematics’ fundamental nature.

Related stories

Share: