Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feeder
terrytao.wordpress.com
What’s new
Get the latest updates from What’s new directly as they happen.
Follow now 487 followers
Latest posts
Last updated about 3 hours ago
Erratum for “An inverse theorem for the Gowers U^{s+1}[N]-norm”
about 4 hours ago
The purpose of this post is to report an erratum to the...
Notes on the B+B+t theorem
1 day ago
A recent paper of Kra, Moreira, Richter, and Robertson established the following...
Two announcements: AI for Math resources, and erdosproblems.com
6 days ago
This post contains two unrelated announcements. Firstly, I would like to promote...
Marton’s conjecture in abelian groups with bounded torsion
21 days ago
Tim Gowers, Ben Green, Freddie Manners, and I have just uploaded to...
AI Mathematical Olympiad – Progress Prize Competition now open
23 days ago
The first progress prize competition for the AI Mathematical Olympiad has now...
A generalized Cauchy-Schwarz inequality via the Gibbs variational formula
5 months ago
Let be a non-empty finite set. If is a random variable taking...
A slightly longer Lean 4 proof tour
5 months ago
In my previous post, I walked through the task of formally deducing...
Formalizing the proof of PFR in Lean4 using Blueprint: a short tour
5 months ago
Since the release of my preprint with Tim, Ben, and Freddie proving...
On a conjecture of Marton
5 months ago
Tim Gowers, Ben Green, Freddie Manners, and I have just uploaded to...
A Maclaurin type inequality
7 months ago
I have just uploaded to the arXiv my paper “A Maclaurin type...
Bounding sums or integrals of non-negative quantities
7 months ago
A common task in analysis is to obtain bounds on sums or...