1
Old and new apps, via modern coding agents
I have been interested in machine-assisted ways to do and teach mathematics from as far back as 1999, when I started coding several applets in Java 1.0, both for my complex analysis and linear alge…
Terence Tao
Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Tao
- Popular posts
- 50
- Total points
- 10,711
- HN comments
- 5,084
- Rank
- #72 personal
Visit terrytao.wordpress.com → RSS feedOn Hacker News Jan 2010 – Nov 2026
Math & Algorithms 41Science & Space 29Life, Learning & Writing 10AI & Machine Learning 8Career & Management 6Society, Policy & Culture 3
2
We're gonna need a lot more mathematicians
[This is a guest post by Amit Sahai. This blog post was initially written in a different file format and converted using AI. — T.] When I was an undergraduate student, I remember talking with…
3
Why do we need human mathematicians anymore?
[This is a guest post by Po-Shen Loh, crossposted from his blog, where an illustrated version appears. This blog post was initially written in a different file format and converted using AI. —…
4
What mathematicians should know about the Lean Theorem Prover: reliability & AI
[This is a guest post by Thomas Hales. This blog post was initially written in a different file format and converted using AI. — T.] Mathematicians have been weighing in on what they value ab…
5
Egoless Mathematics in the AI Era
[This is a guest post by Karthik C. S., Amit Sahai, and Jie Xue. This blog post was initially written in a different file format and converted using AI. — T.] This is a good time for mathemat…
6
The Advisory Group on Mathematics and Artificial Intelligence
[This is a guest post by the Advisory Group on Mathematics and Artificial Intelligence. This blog post was initially written in a different file format and converted using AI. — T.] We would …
7
AI for math resources, and erdosproblems.com
This post contains two unrelated announcements. Firstly, I would like to promote a useful list of resources for AI in Mathematics, that was initiated by Talia Ringer (with the crowdsourced assistan…
8
A Misalignment of AI in Mathematics
I am proud to be among the list of 25 initial signatories — all Fields Medallists — to the declaration below, which grew out of discussions between ourselves over the last week. We have…