1
John Conway
I was greatly saddened to learn that John Conway died yesterday from COVID-19, aged 82. My own mathematical areas of expertise are somewhat far from Conway’s; I have played for instance with …
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,710
- HN comments
- 5,079
- 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
Eigenvectors from eigenvalues
Peter Denton, Stephen Parke, Xining Zhang, and I have just uploaded to the arXiv the short unpublished note “Eigenvectors from eigenvalues”. This note gives two proofs of a general eige…
3
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…
4
If math is more than proof, we need to better celebrate the rest of it
[This is a guest post by Grant Sanderson. This blog post was initially written in a different file format and converted using AI. — T.] A sentiment echoing throughout the mathematics communit…
5
Work Hard (2007)
Every mathematician worthy of the name has experienced … the state of lucid exaltation in which one thought succeeds another as if miraculously… this feeling may last for hours at a tim…
6
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…
7
Mathematics has changed. Let's act like it
[This is a guest post by Frank Calegari. This blog post was initially written in a different file format and converted using AI. — T.] Why we should not be sad The release by OpenAI on Octobe…
8
A digestion of the Jacobian conjecture counterexample
The notorious Jacobian conjecture can be formulated concretely over the complex numbers as follows. Conjecture 1 (Jacobian Conjecture) Let $latex {F:{\bf C}^n \rightarrow {\bf C}^n}&fg=000000$ …
9
Six Math Essentials
Just a brief announcement that I have been working with Quanta Books to publish a short book in popular mathematics entitled “Six Math Essentials”, which will cover six of the fundament…
10
Masterclass on mathematical thinking
About a year ago, I was contacted by Masterclass (a subscription-based online education company) on the possibility of producing a series of classes with the premise of explaining mathematical ways…
11
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. —…
12
A Lean companion to Analysis I
Almost 20 years ago, I wrote a textbook in real analysis called “Analysis I”. It was intended to complement the many good available analysis textbooks out there by focusing more on foun…
13
Mathematical exploration and discovery at scale
Bogdan Georgiev, Javier Gómez-Serrano, Adam Zsolt Wagner, and I have uploaded to the arXiv our paper “Mathematical exploration and discovery at scale”. This is a longer report on…
14
Ask yourself dumb questions and answer them (2020)
Don’t just read it; fight it! Ask your own questions, look for your own examples, discover your own proofs. Is the hypothesis necessary? Is the converse true? What happens in the classical sp…
15
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…
16
Why are we even doing all this?
[This is a guest post by Rikab Gambhir. This blog post was initially written in a different file format and converted using AI. — T.] First, they came for the artists, and I did not speak out…
17
Write a rapid prototype first (2007)
The best performance improvement is the transition from the nonworking state to the working state. (John Ousterhout) Discovering a solution to a mathematical problem is only half of the battle. Ac…
18
Problem solving strategies in a graduate real analysis course (2010)
This is going to be a somewhat experimental post. In class, I mentioned that when solving the type of homework problems encountered in a graduate real analysis course, there are really only about a…
19
There's more to mathematics than rigour and proofs (2007)
The history of every major galactic civilization tends to pass through three distinct and recognizable phases, those of Survival, Inquiry and Sophistication, otherwise known as the How, Why, and Wh…
20
Palomar: A registry of Lean verified mathematics
In recent months there has been a proliferation of AI-generated proofs of various old and new results, some of which have been formalized in the proof assistant language Lean. However, checking tha…
21
Gamifying propositional logic: QED, an interactive textbook
About six years ago on this blog, I started thinking about trying to make a web-based game based around high-school algebra, and ended up using Scratch to write a short but playable puzzle game in …
22
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…
23
A pilot project in universal algebra to explore new ways to collaborate
Traditionally, mathematics research projects are conducted by a small number (typically one to five) of expert mathematicians, each of which are familiar enough with all aspects of the project that…
24
A mathematical formalization of dimensional analysis (2012)
Mathematicians study a variety of different mathematical structures, but perhaps the structures that are most commonly associated with mathematics are the number systems, such as the integers $late…
25
How to assign partial credit on an exam of true-false questions?
Note: the following is a record of some whimsical mathematical thoughts and computations I had after doing some grading. It is likely that the sort of problems discussed here are in fact well studi…
26
What should we tell our students?
[This is a guest post by Álvaro Lozano-Robledo. This blog post was initially written in a different file format and converted using AI. — T.] TL;DR: Keep calm and carry on studying math. I wo…
27
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 …
28
Don’t prematurely obsess on a single “big problem” or “big theory”
Millions long for immortality who do not know what to do with themselves on a rainy Sunday afternoon. (Susan Ertz, “Anger in the Sky”) There is a particularly dangerous occupational haz…
29
Erdős Problem #1026
Problem 1026 on the Erdős problem web site recently got solved through an interesting combination of existing literature, online collaboration, and AI tools. The purpose of this blog post is to try…
30
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…