Fetching from the wire…
01
02
03
04
05
06
07
08
Models2026-08-06 · source-backed
Quanta's August 3 piece tallies the assault: OpenAI found a counterexample to Erdős's 1946 unit distance conjecture on May 20, then Astra produced 10 further advances. Google DeepMind evaluated 700 open conjectures in January, solving four and recovering nine forgotten solutions; in May a 21-researcher team autonomously resolved 9 of 353 open problems at a few hundred dollars each. Kevin Barreto and Liam Price used GPT-5.2 and 5.2 Pro on Erdős 333 and 728 and co-authored a paper with Terence Tao on Problem 1196.
Each link below shares sources, entities, or timing with this story.
LLM uses OpenAI / Shared entities / Shared topic / Earlier coverage
Linked by a graph relationship (LLM uses OpenAI); both cover Astra, August, GPT, OpenAI; overlapping topics (astra, called, conjectur, openai, problem).
OpenAI partners with White House / Shared entities / Shared topic / Earlier coverage
Linked by a graph relationship (OpenAI partners with White House); both cover Astra, August, OpenAI; overlapping topics (astra, august).
OpenAI partners with Google / Shared entities / Earlier coverage
Linked by a graph relationship (OpenAI partners with Google); both cover August, GPT, OpenAI; earlier August coverage from 2026-08-05.
OpenAI released Luna / Shared entities / Earlier coverage
Linked by a graph relationship (OpenAI released Luna); both cover August, GPT, OpenAI; earlier August coverage from 2026-08-03.
OpenAI uses Claude Code / Shared entities / Earlier coverage
Linked by a graph relationship (OpenAI uses Claude Code); both cover August, GPT, OpenAI; earlier August coverage from 2026-05-28.
ChatGPT built by OpenAI / Shared entities / Earlier coverage / Tension
Linked by a graph relationship (ChatGPT built by OpenAI); both cover August, Terence Tao; earlier August coverage from 2026-08-04.
Microsoft competes with OpenAI / Shared entities / Earlier coverage / Tension
Linked by a graph relationship (Microsoft competes with OpenAI); both cover GPT, OpenAI; earlier GPT coverage from 2026-07-26.
Linked by a graph relationship (Microsoft competes with OpenAI); both cover GPT, OpenAI; earlier GPT coverage from 2026-07-23.