Each of OpenAI's 722 published math results cost roughly three hours of ChatGPT Pro compute, a workload Nvidia's CFO says ...

OpenAI released 722 AI-generated math proofs on Oct. 6, 2026. Mathematicians like Terence Tao are furious. Here's why.

On Monday, the company announced a new independent panel of mathematicians tasked with advising it and other AI companies on ...

OpenAI’s trove of new math results doesn’t fully solve any of these highly prestigious open questions, but it seems to make ...

OpenAI's flood of proofs deviated from the guidelines set by a group of mathematical researchers consulted by the frontier ...

Mathematicians are reviewing 722 manuscripts from OpenAI's unreleased AI model, covering 372 math problems with Lean proof ...

That was when OpenAI, an American artificial-intelligence firm, announced that its AI agents, powered by an unreleased model, had solved at least 372 long-standing mathematical problems in a matter of ...

Mind’s AI system, AlphaProof, provided Lean with proofs of three of the competition’s problems. A year later, four AI systems performed at the level of a gold medalist. However, problems posed at the ...

OpenAI posted 722 AI-written math manuscripts from an unreleased model, saying most came from a single prompt.

This staggering quantity of mathematical progress builds on AI developments that have unsettled the research community.

OpenAI won't let mathematicians rest. On Oct. 6, the company released a slew of new mathematical results in the form of a ...

Annemarije de Boer is a Los Angeles-based director and visual storyteller specializing in technology reviews and digital innovation journalism. Drawing from her BA in Psychology and decades of ...