Fetching from the wire…
Research2026-08-12 · source-backed
The Fields medalist published his assessment August 12, arguing models excel exactly at problems amenable to "try lots of things till you get lucky" and not at the search-tree pruning humans use for proof discovery (Gowers). His observation about the recent run of ten solved major problems (first non-sofic group, superexponential growth for multicolor Ramsey numbers, Jacobian conjecture, unit distance conjecture) is that they predominantly involved finding counterexamples. Testing ChatGPT 5.6 Pro he found it frequently offers "promising approaches" that don't survive scrutiny. Read against Anthropic's Riemann zeta result the same week, this is the sharpest available framing of what these systems actually do in mathematics: a very fast, very broad search, not a pruner.
Each link below shares sources, entities, or timing with this story.
Anthropic released Claude / Shared entities / Shared topic / Earlier coverage
Linked by a graph relationship (Anthropic released Claude); both cover Anthropic, August, Riemann; overlapping topics (anthropic, august).
Anthropic partners with OpenAI / Shared entities / Shared topic / Earlier coverage / Tension
Linked by a graph relationship (Anthropic partners with OpenAI); both cover Anthropic, LLMs; overlapping topics (against, anthropic).
Anthropic released Claude / Shared entities / Shared topic / Earlier coverage
Linked by a graph relationship (Anthropic released Claude); both cover Anthropic, August; overlapping topics (actually, anthropic).
Linked by a graph relationship (Anthropic released Claude); both cover Anthropic, August; overlapping topics (anthropic, august).
Moonshot competes with Anthropic / Shared entities / Shared topic / Earlier coverage
Linked by a graph relationship (Moonshot competes with Anthropic); both cover Anthropic, August; overlapping topics (against, anthropic).
Anthropic released Fable / Shared entities / Shared topic / Earlier coverage
Linked by a graph relationship (Anthropic released Fable); both cover Anthropic, August; overlapping topics (anthropic, august).
Anthropic released Claude Code / Shared entities / Shared topic / Earlier coverage
Linked by a graph relationship (Anthropic released Claude Code); both cover Anthropic, August; overlapping topics (anthropic, august).
Anthropic released Claude / Shared entities / Shared topic / Earlier coverage
Linked by a graph relationship (Anthropic released Claude); both cover Anthropic, August; overlapping topics (anthropic, august).