OpenAI's release of hundreds of AI-generated math papers raised questions over its training data and what it would do to the ...

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

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

Trained with reinforcement learning in real environments, Mellum2.1 is built for coding agents and fast sub-agents that run ...

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

The Crowdstrike surge is getting to be a bit much.

On Tuesday, OpenAI continued its all-out assault on mathematicians’ peace of mind and sense of career stability by releasing 377 new math results in the form of an info-dump on GitHub.

Such a glut has left some queasy. The excitement of potential new mathematical truths is, for many researchers, freighted ...

OpenAI is using mathematics as a test site for its most capable AI models, and that means it has a responsibility to deal ...

The beginning, not the completion,” say mathematicians advising OpenAI, as OpenAI maths papers from an unreleased model go ...

OpenAI organized the results into 372 groups and said it had given the model about 4,000 problems. The release gives ...

This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. OpenAI researchers have made rapid progress with an unnamed internal frontier reasoning ...