Hacker News
Quanta: An Unreleased OpenAI Model Called Astra Made 10 Mathematical Advances Including Three New Erdős Solutions on August 1
Quanta's 2026-08-03 piece tallies the AI assault on Erdős problems: OpenAI found a counterexample to Erdős's 1946 unit distance conjecture on May 20, 2026, then on August 1 an unreleased model named Astra produced 10 further advances including solutions to three more Erdős problems. Google DeepMind teams evaluated 700 open conjectures in January 2026, solving four and recovering nine forgotten solutions, then in May a 21-researcher team autonomously resolved 9 of 353 open problems at a few hundred dollars per problem. Kevin Barreto and Liam Price used GPT-5.2 and 5.2 Pro on Erdős 333 and 728 and co-authored a May 2026 paper with Terence Tao on Problem 1196. 140 points on HN.
↳ Follow the thread