Ten advances in mathematics and theoretical computer science

OpenAI's Unreleased Model Astra Solves Ten Major Open Mathematics Problems

Math is hard.

An OpenAI model has disproved a central conjecture in discrete geometry

An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven mathematics.

New Math from OpenAI

It is kind of a huge deal.

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 fought dirty on career-making math problem, says NYU mathematician | TechCrunch

There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.

We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an… | Tony Yue YU | 20 comments

We're excited to be partnering with Anthropic and OpenAI to host the world's first hackathon devoted to research-level mathematics. 40 hours and $2M in compute to solve, understand, and present an open math problem. Applications are live at https://lnkd.in/d79qFQ4s We look forward to seeing you all on October 30 at Caltech! Sathvik Redrouthu Bufan Zhao Andrea Li Caiman Moreno-Earle Avni Garg | 20 comments on LinkedIn

OpenAI’s math breakthrough played to AI’s strengths

I tried to explain OpenAI’s solution more clearly than OpenAI did.

OpenAI spent millions to solve this famous math problem — mathematicians are furious

Mathematics relies on a community of experts openly sharing ideas.

OpenAI Just Claimed a Huge Math Discovery. Some Academics Are Crying Foul

A landmark announcement by the frontier AI lab has been overshadowed by accusations of impropriety.

. · openai/ten-proofs@94bc0fe

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@94bc0fe

. · openai/ten-proofs@5a102c1

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@5a102c1

. · openai/ten-proofs@d0e1ae7

Lean certificates accompanying proofs in mathematics and theoretical computer science - . · openai/ten-proofs@d0e1ae7

Statements — AHM

Yesterday, on October 6th, 2026, OpenAI – which is currently defending lawsuits against accusations of illegal plagiarism, copyright infringement, and trademark dilution – released a repository of manuscripts purporting to contain solutions to a number of high-profile problems in mathematics.

Theory Beyond Theorems and Proofs: A Guest Post

Scott’s foreword: I’m extremely grateful to my brilliant colleagues, Pravesh Kothari, Raghu Meka, and Prasad Raghavendra, for sharing the guest post below about how theoretical computer…