Yhn first seen 14 h ago, last 4 min ago, peak #3
Terence Tao Outlines 'Math 2.0' Vision at Caltech
Original: Terence Tao: Math 2.0 [pdf]
Mathematician Terence Tao has released the slides for a talk titled 'Math 2.0', delivered at Caltech, laying out how technology, formal proof systems and AI could reshape mathematical research and collaboration. The slide deck is freely available as a PDF, and the material is drawing wide attention online, with readers discussing how his arguments might change the way future mathematics is done and verified.
Why now: Tao is one of the world's most prominent mathematicians, and his views on AI and formalization signal where the field is heading.
Rank over time, top of the chart is #1. 8 snapshots from 1 h ago to 4 min ago.
Evidence
- Terence Tao: Math 2.0 [pdf] · Anon84 · 355
API: https://socialmediatrends-api.osmike.com/v1/trends/1866904