Research

New AI research explained simply: what a paper found, who checked it, and what it does not prove.

What we cover

Notable papers and results
Benchmarks and leaderboards
Peer review status
Limits of each finding

$Anawords graphic: AI maths papers. About 720 manuscripts from an unreleased OpenAI model. Company release, not peer reviewed.$

Research

OpenAI publishes about 720 maths manuscripts written by an unreleased AI model

The papers sit in a public GitHub repository, many with computer-checked Lean proofs. They have not been peer reviewed, and OpenAI says some unformalised results could have issues.

11 Oct 2026, 20:20 IST · ✓ Source-checked · 4 sources

Other sections

Models & LaunchesNew AI models, versions and retirements from labs around the world: what launched, what… AI AgentsAI that takes actions on its own: workplace agents, coding agents and computer-use tools… Policy & RegulationLaws, rules and official guidance on AI around the world, and the usage policies… AI in IndiaWhat AI news means for readers and builders in India: government policy, rupee pricing… Open Source AIOpen-weights models and tools you can download and run yourself, with the licence terms… Chips & ComputeThe hardware behind AI: GPUs, memory, data centres and energy, and how AI demand affects… Safety & TrustHow AI is kept safe and honest: safety research, incidents, deepfakes, and the rules labs… Business & FundingMoney in AI: funding rounds, acquisitions, earnings and partnerships, reported from… Tools & AppsAI products people use every day: chatbots, assistants and creative apps, their new…