Paolo

Climbing the cosmic distance ladder Climbing the cosmic distance ladder Tanya Klowden and Terence Tao in preparation This project is based on a public lecture on the cosmic distance ladder that I have given on occasion. Working with …

Tanya Klowden and I have uploaded a further sample chapter to our "cosmic distance ladder" book: terrytao.wordpress.com/books/climbi... . See also the blog post terrytao.wordpress.com/2025/11/21/c...

22.11.2025 00:39 — 👍 40    🔁 6    💬 0    📌 0

Thanks!

22.11.2025 11:32 — 👍 1    🔁 0    💬 0    📌 0

It's a bit off topic, but I would like to ask this: what's your favorite book to learn about il teorema fondamentale delle affinità e quello delle proiettività?

22.11.2025 10:44 — 👍 1    🔁 0    💬 1    📌 0

I’m an award-winning mathematician. Trump just cut my funding. The “Mozart of Math” tried to stay out of politics. Then it came for his research.

I wrote an op-ed on the world-class STEM research ecosystem in the United States, and how this ecosystem is now under attack on multiple fronts by the current administration: newsletter.ofthebrave.org/p/im-an-awar...

18.08.2025 15:45 — 👍 792    🔁 324    💬 19    📌 32

AI at IMO 2025: a round-up Setting the scene The 2025 International Mathematics Olympiad has come and gone. Reminder: this is an exam for high-school kids across the world (each country typically sends six kids), comprising …

Thoughts on AI and the IMO.

xenaproject.wordpress.com/2025/08/03/a...

03.08.2025 00:04 — 👍 24    🔁 7    💬 1    📌 2

The EU Commission has reversed its plan to drop the Equal Treatment Directive, just days after a petition signed by 33,000+ people was delivered to @vonderleyen.ec.europa.eu. A big win for equality, but the journey is not over. Now the Council of Europe must act www.ilga-europe.org/news/eu-comm...

24.07.2025 12:00 — 👍 42    🔁 14    💬 0    📌 0

A picture of a double bubble. A picture of the first 18 Fibonacci numbers, with the ones that are perfect powers highlighted.

We are two weeks out from the start of "21st century mathematics", a program I run for K-12 math teachers. (Register now!) The program helps teachers connect the math they teach with some math that has been discovered in the 21st century. The program is flexible, free, & online.

23.06.2025 14:00 — 👍 11    🔁 10    💬 1    📌 3

I have just launched a "Lean companion" to my textbook "Analysis I": github.com/teorth/estim... . This gives a Lean translation (or paraphrasing) of the various definitions, theorems, and exercises in the textbook into Lean.

Further discussion at terrytao.wordpress.com/2025/05/31/a...

31.05.2025 17:32 — 👍 135    🔁 27    💬 0    📌 3

Ten squares arranged in two different ways: a 2x3 rectangle with a 2x2 square stuck to its side, and one that goes like this: 00X00 0XXX0 XX0XX X000X where the X's are the squares and the 0'x are empty space.

Ten squares. The first example has perimeter 14. The second one has perimeter 22. Can anyone find ones with smaller or bigger perimeters? Or other examples that match these?

Intrigued? Check out "21st century mathematics", an enrichment program for teachers: justinlanier.org/21st-century...

28.04.2025 11:26 — 👍 9    🔁 4    💬 1    📌 1

Fermat’s Last Theorem — how it’s going So I’m two months into trying to teach a proof of Fermat’s Last Theorem to a computer. We already have one interesting story, which I felt was worth sharing.

Hello Bluesky! (and bye-bye Twitter).

I just wrote a blog post about a bump in the road along the way to teaching a computer a proof of Fermat's Last Theorem.

xenaproject.wordpress.com/2024/12/11/f...

11.12.2024 21:57 — 👍 180    🔁 47    💬 3    📌 5

The first page of Leinster's notes available at https://www.maths.ed.ac.uk/~tl/ast/ast.pdf. In the picture there is the first part of the table of contents (chapter 1 and its sections).

Tom Leinster's lovely Axiomatic Set Theory notes are now complete. www.maths.ed.ac.uk/~tl/ast/ast.... #SetTheory #ETCS

24.11.2024 15:24 — 👍 0    🔁 0    💬 0    📌 0