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 485 followers
Latest posts
Last updated 13 days ago
Marton’s conjecture in abelian groups with bounded torsion
13 days ago
Tim Gowers, Ben Green, Freddie Manners, and I have just uploaded to...
AI Mathematical Olympiad – Progress Prize Competition now open
15 days ago
The first progress prize competition for the AI Mathematical Olympiad has now...
A generalized Cauchy-Schwarz inequality via the Gibbs variational formula
4 months ago
Let be a non-empty finite set. If is a random variable taking...
A slightly longer Lean 4 proof tour
4 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
6 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...
Undecidability of translational monotilings
7 months ago
Rachel Greenfeld and I have just uploaded to the arXiv our paper...
Monotone non-decreasing sequences of the Euler totient function
7 months ago
I have just uploaded to the arXiv my paper “Monotone non-decreasing sequences...
Yoneda’s lemma as an identification of form and function: the case study of polynomials
8 months ago
As someone who had a relatively light graduate education in algebra, the...