Terence Tao: If Math Is More Than Proof, We Must Celebrate the Rest of It
num42 · hn · 2026-09-19
Fields Medalist Terence Tao argues on his blog that mathematics is more than theorem-proving: conjectures, heuristics, exposition, and collaborative culture deserve far more recognition than the community currently gives them. As AI and formal verification tools lower the technical barrier of proof, he suggests the scarce, irreplaceable parts of mathematical work are asking good questions, building frameworks, and choosing directions — and calls for reward systems (prizes, jobs, reputation) to reflect that.
More from AGI Musings
- What unsettles frontier researchers isn't capability, but mistaking building for understanding — RileyRalmuto · 2026-09-19
- Poster predicts AI will be outright banned in the US amid datacenter backlash and xrisk fears — wordgrammer · 2026-09-19
- Researchers debate: is the era of the ML conference over as tenure systems lag? — deepakns · 2026-09-19
- Reddit debate: why assume smarter AI gets better at twisting goals, not better at understanding them? — TurnipYadaYada6941 · 2026-09-19
- Musk predicts universal high income by 2035 worth 10X today's average salary — davidpattersonx · 2026-09-19
- 'How Do Schools Prepare Kids for Jobs We Can't Predict?' The Question Every Parent Should Ask — RachelVT42 · 2026-09-19