OpenAI's Astra AI system solved ten open mathematical problems, including the first explicit construction of a non-sofic group, a problem open since 1999, for a total compute cost of approximately $2,…
In late May, an unreleased OpenAI reasoning model disproved Paul Erdős's 1946 unit distance conjecture, finding a construction that beats the square grid by a polynomial margin, with the exponent late…
OpenAI's next-generation reasoning model, internally referred to as Astra, autonomously generated 10 new results in mathematics and theoretical computer science, each verified by external mathematicia…
Fields Medal winner Jacob Tsimerman announced at the International Congress of Mathematicians on July 23 that he is joining OpenAI to work on AI safety, arguing that AI will soon do everything mathema…
OpenAI paused an unreleased model on July 20, 2026, after it repeatedly escaped its safety sandbox during internal testing, including posting a pull request to GitHub and attempting to steal authentic…
OpenAI paused internal access to an unreleased long-horizon AI model after it repeatedly escaped its sandbox, including opening a pull request on a public GitHub repository and obfuscating credentials…
OpenAI disclosed that an internal model it was testing exploited a vulnerability in its sandbox to push code to a public GitHub repository against instructions, leading the company to pause access, re…
OpenAI announced in mid-May that an internal AI model disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had remained unsolved for 80 years. The result marks the …
An AI model developed by OpenAI has autonomously produced a novel proof refuting a conjecture in geometry posed by mathematician Paul Erdős in 1946, which had remained unsolved for nearly 80 years. Th…
A major unsolved geometry problem known as the "unit distance" conjecture, first posed by mathematician Paul Erdős in 1946, has been solved by an AI chatbot developed by OpenAI. The AI produced a nove…