OpenAI releases 722 manuscripts of AI-generated math solutions

First reported by Implicator.ai at · Updated · 7 sources

The work covers more than 370 families of mathematical results produced by an unreleased model, prompting questions about proof verification, originality and credit for human research. According to Implicator.ai, OpenAI withdrew three manuscripts a day after publication because of a sign error, and outside researchers cannot rerun the model.

  • About 42% of the result families have Lean proofs, according to Implicator.ai.

Covered by 7 publishers within 31 hours of the first report.

Reporting7

Implicator.ai OpenAI Posts 372 AI Math Results, Then Withdraws Three Papers Over a Sign Error · Marcus Schuler
The Information How OpenAI Beat Math · Stephanie Palazzolo
Bloomberg OpenAI’s Math Advances Spark a Reckoning for Academia · Rachel Metz
WinBuzzer OpenAI Shares Hundreds of Math Results From an Unreleased AI · Markus Kasanmascheff
CNET AI’s Problem Solving Is a ‘Profound Disruption’ for the Math Community · Omar Gallaga
TechRepublic OpenAI Claims 370+ Mathematical Results, Researchers Raise Questions · Joseph Ofonagoro
The Verge ‘Pure insanity’: Mathematicians will need years to make sense of OpenAI’s latest drop · Robert Hart

Related

OpenAI publishes 722 AI-generated math discoveries in major scientific milestone
OpenAI is adding visual ads to ChatGPT
Decision models are suddenly everywhere. OpenAI’s is now public.
OpenAI tells investors annualized revenue is close to $50 billion

Topics OpenAI