Articles from terrytao.wordpress.com

Articles from terrytao.wordpress.com

A group of 25 Fields Medal recipients says AI companies' push to solve mathematical problems as a benchmark is detrimental to the science of mathematics (terrytao.wordpress.com)
1 day ago AI Mathematics

A Lean companion to “Analysis I” (terrytao.wordpress.com)
2025-6-1

A tool to verify estimates, II: a flexible proof assistant (terrytao.wordpress.com)
2025-5-10

Stonean spaces, projective objects, the Riesz representation theorem, and (possibly) condensed mathematics (terrytao.wordpress.com)
2025-4-25 Mathematics

Previous Page Next Page