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

A month after resolving one of the six biggest open problems in mathematics, the company says its new internal model has ...

Epoch AI finds AI acknowledgments in math arXiv preprints rose from 4% to 25% in four months, hitting 57% in differential ...

In a research post published October 6, 2026, OpenAI said it is releasing a broad range of new mathematical results produced ...

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 ...

A month after its Millennium Prize solution, OpenAI released findings on more than 300 problems—and tried to win back the ...

Researchers have introduced Light-R1-32B, a new open-source AI model optimized to solve advanced math problems. It is now available on Hugging Face under a permissive Apache 2.0 license — free for ...

OpenAI withdrew three AI-generated math papers a day after releasing 722 manuscripts, citing a sign error in an algebraic geometry proof.

Chinese AI lab DeepSeek has quietly updated Prover, its AI model that’s designed to solve math-related proofs and theorems. According to South China Morning Post, DeepSeek uploaded the latest version ...