AI Chat-Group Daily (群聊日报)Jul 28, 2026, 13:29 UTC+8

Chat Digest: Gowers Says Math Is Dying, Opus 5 Stumbles on Day 3

2026-07-27 群聊日报

Fields medalist Gowers refused to sign the Leiden Declaration and wrote a long post arguing math won't die from AI's inability but from an evidence glut—like lake eutrophication, where literature booms but human experts vanish. He's twice seen GPT 5.6 Pro one-shot problems he'd thought hard about. Meanwhile, Anthropic's Claude Opus 5 entered day three of real-world testing: it stalls on execution after one step, and its safeguards falsely flag a dev board query, triggering a double downgrade. Sentiment turned negative.

Why it matters: Fields Medalist Gowers refused to sign the Leiden Declaration and published a long essay arguing AI won't kill math through incompetence but through evidence surplus, backed by two personal encounters with GPT 5.6 Pro. The source is a chat-group digest rather than original rep...

Read the original ↗Export Markdown

Take

This one's worth opening because of who's talking and what he's saying. Fields medalist Gowers refused to sign a declaration with 3,000+ signatories and wrote a detailed rebuttal. His core metaphor is sharp: math won't die from AI's inability, but from evidence glut—like lake eutrophication, where literature booms but human experts vanish, leaving a graveyard of thought. He's twice watched GPT 5.6 Pro one-shot problems he'd thought hard about. That frustration is real.

Two claims from the discussion I'd discount a bit. One: "AI4Math harnesses can't beat next-gen models"—this comes from frontline experience, but the post gives no specific cases or benchmarks, so it reads more like a gut call. Two: the arbitrage window where "writing speed can't keep up with results"—this is happening, but nobody knows how long the window stays open or which subfields close first.

Gowers argues future credit should go to those who digest AI output and explain it to humans. Tao has floated similar ideas. That direction has more signal than the "math is over" lament: if AI really can mass-produce proofs, review and digestion become the bottleneck. Right now, they can't even find enough reviewers. That's the actual choke point.

Source: AI Chat-Group Daily (群聊日报) · louyu2015.github.io
Published: Jul 28, 2026, 13:29 UTC+8 · Jul 28, 2026