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

Math is hard.

Ten advances in mathematics and theoretical computer science

OpenAI shares new results on long-standing open problems in mathematics and theoretical computer science, including advances in geometry, cryptography, and complexity.

No. 020: Astra solves ten open math problems, AI agents fail at open-ended research, peer review under strain - The Hallway Track

The Hallway Track No. 020 - How AI is affecting the practice of science

OpenAI’s math breakthrough played to AI’s strengths

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

OpenAI’s latest math breakthroughs commit research misconduct, experts say

OpenAI released 10 AI-generated results over the weekend. Some mathematicians are unhappy with their approach

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

Responding to the next frontier of critical cyber capabilities

OpenAI is sharing preliminary cybersecurity evaluations for Astra and the steps we’re taking to strengthen safeguards and security controls.

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.

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.

OpenAI accused of stealing math proof from expert Andreas Thom | Valerio Capraro posted on the topic | LinkedIn

BREAKING: OpenAI might have stolen another major proof. In a detailed Mathstodon post, which I report in full in the comments, Andreas Thom presents several pieces of evidence suggesting that OpenAI may have trained Astra on conversations in which he and Gábor Kun were working on Gromov’s soficity conjecture, one of the ten problems OpenAI later announced Astra had solved. I know Andreas. We met several times early in our careers. He is an exceptional mathematician, a leading expert on sofic and hyperlinear groups, and one of the most respected scholars in the field. He has spent two decades working on this problem. If his account is correct, this is not a minor dispute over attribution. It would mean that unpublished human work was absorbed into a model and then presented to the world as a breakthrough by the model itself. And if the allegations raised by Levent Alpöge, Tristan Buckmaster, and now Andreas Thom are all substantiated, we are no longer looking at isolated incidents. We may be looking at one of the greatest intellectual scandals in the history of science. AI is not discovering new mathematics. AI is stealing human discovery. | 201 comments on LinkedIn

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

Introducing OpenAI

OpenAI is a non-profit artificial intelligence research company. Our goal is to advance digital intelligence in the way that is most likely to benefit humanity as a whole, unconstrained by a need to generate financial return. Since our research is free from financial obligations, we can better focus on a positive human impact.