OpenAI's Largest Math Release Tackles 4,000 Problems with Lean Proofs

OpenAI's largest math release tackles 4,000 problems with Lean proofs

OpenAI has released 722 mathematical manuscripts spanning 372 research families, with many results backed by computer-checkable Lean proofs.

OpenAI drops another batch of mathematical breakthroughs

OpenAI has revealed solutions to a number of long-standing mathematics problems produced by an unreleased frontier model in a batch of 722 manuscripts, covering 372 result families that group related papers. It extends a run of breakthroughs that have both impressed and unsettled parts of the mathematical community while raising questions about research ethics and […]

OpenAI's Math Blitz Sparks Outrage Among Researchers

OpenAI prepares to release over 100 AI-generated math solutions amid accusations of scooping unpublished work and ignoring academic norms. The Navier-Stokes controversy involving Tristan Buckmaster and threats from an OpenAI researcher have left mathematicians furious. Trust erodes as corporate speed collides with centuries of careful practice.

OpenAI unleashes hundreds more math results upon a field already in shock

A month after resolving one of the six biggest open problems in mathematics, the company says its new internal model has toppled heaps more—this time without the multimillion-dollar price tag

OpenAI Is Pissing Off a Bunch of Mathematicians—Again

“There's a perception of mobster behavior” from leading AI companies, one mathematician tells WIRED as OpenAI prepares to release more than 100 new solutions to unsolved problems.