Terence Tao
FollowThe latest interviews, podcast appearances, and blog posts from Terence Tao, updated daily.
Why I didn’t sign the Fields medallists’ letter
[This is a guest post by Timothy Gowers, crossposted from his blog. This blog post was initially written in a different file format and converted using AI.
Becoming a benchmark
[This is a guest post by Talia Ringer. This blog post was initially written in a different file format and converted using AI.
A CERN for AI-assisted science?
[This is a guest post by Dimitris Koukoulopoulos. This blog post was initially written in a different file format and converted using AI.
SAIR competition – Lean Kernel Challenge
We’re excited to launch Stage 1 of the Lean Kernel Challenge, a multi-stage competition to improve the performance of verified computation in the Lean 4 kernel that the whole community can benefit…
Proofs, Prompts and Posts
[This is a guest post by the editors of the communal blog Proofs and Prompts. This blog post was initially written in a different file format and converted using AI.
Open letter from Fellows of the Royal Society on AI existential risk
[This is a guest post by Ben Green. I support the letter, and am also a (corresponding) Fellow, but I have worked in various collaborations with the AI industry and so was not eligible to be…
Let the Diners Into the Kitchen
[This is a guest post by Noah Giansiracusa. This blog post was initially written in a different file format and converted using AI.
The technical debt of AI-generated mathematics
[This is a guest post by Henry Cohn. This blog post was initially written in a different file format and converted using AI.
Fast math/slow math
[This is a guest post by Ben Antieau, crossposted from his blog. This blog post was initially written in a different file format and converted using AI.
Why I do mathematical research
[This is a guest post by Emily Riehl. This blog post was initially written in a different file format and converted using AI.