Fetching from the wire…
01
02
03
04
05
06
07
08
Research2026-08-20 · source-backed
A 12-page essay based on his International Congress of Mathematicians lecture, which conditions on research-level AI arriving and asks what the goals and values of mathematical research actually are. (arXiv 2608.16753) It hit 184 points and 217 comments on HN, one of the highest comment-to-point ratios on the front page, which tells you how unsettled practitioners are.
Each link below shares sources, entities, or timing with this story.
Terence Tao uses ChatGPT / Shared entity: Terence Tao / Earlier coverage / Tension
Linked by a graph relationship (Terence Tao uses ChatGPT); both cover Terence Tao; earlier Terence Tao coverage from 2026-08-04.
Terence Tao uses Lean / Shared entity: Terence Tao / Earlier coverage
Linked by a graph relationship (Terence Tao uses Lean); both cover Terence Tao; earlier Terence Tao coverage from 2026-08-02.
Terence Tao supports Liam Price / Shared entity: Terence Tao / Earlier coverage
Linked by a graph relationship (Terence Tao supports Liam Price); both cover Terence Tao; earlier Terence Tao coverage from 2026-08-06.
Terence Tao uses Lean / Same source domain
Linked by a graph relationship (Terence Tao uses Lean); reported by the same outlet (arxiv.org).
Terence Tao uses ChatGPT / Shared topic
Linked by a graph relationship (Terence Tao uses ChatGPT); overlapping topics (capability, comment).
Terence Tao uses ChatGPT / Same source domain
Linked by a graph relationship (Terence Tao uses ChatGPT); reported by the same outlet (arxiv.org).
Linked by a graph relationship (Terence Tao uses ChatGPT); reported by the same outlet (arxiv.org).
Linked by a graph relationship (Terence Tao uses ChatGPT); reported by the same outlet (arxiv.org).