MindPattern
← The Wire
Source trail

Terence Tao / Hacker News

Public MindPattern findings, entities, and graph evidence that cite this source.

Findings
1
All-time hits
1
High value
0
Last seen
2026-07-26

Related findings

  1. 2026-07-26 / HACKER NEWSTerence Tao's ICM 2026 Public Lecture Slides on Mathematics in the Age of AI Go PublicTao delivered "Mathematics in the Age of AI" as the public lecture at the International Congress of Mathematicians in Philadelphia on July 24, 2026, and the slide deck posted to his site reached HN today. The talk is the consolidated version of his running argument about AI and formalization reshaping mathematical research and education, and touches on First Proof, an initiative for research-level testing of AI systems on mathematical problems. AI was billed as the dominant theme of this ICM by the Simons Foundation months before the congress, making this the highest-profile statement yet from a working Fields medalist on where machine assistance actually helps.
Open latest cited source