Hacker News front pageJul 26, 2026, 18:32 UTC+8

Terence Tao's ICM 2026 talk on how the math community should respond to AI

Terence Tao: Mathematics in the Age of AI [pdf]

Tao's ICM 2026 talk sidesteps the debate on whether AI can do research math. He asks the community to assume a strong capability hypothesis and instead examine its own goals and values. He draws a parallel to the early-20th-century foundations crisis. The talk cites First Proof benchmark results: on May 28, 2026, 7 out of 10 novel research problems were solved at publication quality by at least one AI harness, with compute costs of $10–$1,000 per problem.

Why it matters: Tao's ICM 2026 public lecture takes a sharp angle: he assumes strong AI capability for research math and forces the community to answer 'what are our goals and values?' The parallel to the early-20th-century foundations crisis lifts this from technical to philosophical. Two de...

Read the original ↗Export Markdown

Take

Tao's ICM 2026 talk is worth reading because he reframes the whole debate. Instead of arguing whether AI can do research-level math—a conversation that's become noisy and incentive-laden—he assumes a strong capability hypothesis and asks the community: if that's true, what are our goals and values?

He draws a parallel to the early-20th-century foundations crisis. Russell's paradox and Gödel's incompleteness theorems forced mathematicians to rebuild their logical foundations, and the result was a stronger discipline. Tao thinks we're entering a similar period, but this time the crisis is about mathematical values and practices, not axioms.

He cites First Proof benchmark results: as of May 28, 2026, 7 out of 10 novel research problems were solved at publication quality by at least one AI harness, with compute costs of $10–$1,000 per problem. He doesn't treat this as a conclusion—more as a footnote suggesting the strong conjecture might hold.

I'd read this as a values discussion within the math community, not an AI capability report. The useful bit is the framework: swapping 'can AI do X' for 'if AI can do X, what do we actually want?' That question is sharper than any benchmark score.

Source: Hacker News front page · teorth.github.io
Published: Jul 26, 2026, 18:32 UTC+8 · Jul 26, 2026