Terence Tao
FollowMathematical Discourse
Mathematical Discourse is a new online, peer-reviewed mathematics journal, publishing videos of mathematics research talks of the highest quality.
Quantitative bounds for sets lacking polynomial progressions with shifted prime difference
Ben Krause, Hamed Mousavi, Joni Teräiväinen, and I have just uploaded to the arXiv our paper Quantitative bounds for sets lacking polynomial progressions with shifted prime difference.
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.
Mathematics in the age of AI | alphaXiv
Terence Tao's "Mathematics in the Age of AI" explores how the mathematical community should respond to advanced AI capabilities, arguing this era presents a "crisis of values and…
Watch: Fields Medalist Terence Tao on Artificial Intelligence and Why We Do Math
Watch: Fields Medalist Terence Tao on Artificial Intelligence and Why We Do Math on Simons…
A digestion of the proof of Sendov’s conjecture
This post concerns the following conjecture of Sendov, as well as its strengthening by Phelps–Rodriguez: Conjecture 1 (Sendov’s conjecture) Let $latex {n \geq 2}&fg=000000$, and…
A partial digestion of the HRT counterexample
A function $latex {f(t) \in L^2({\bf R})}&fg=000000$ of one variable can be translated in space by a spatial shift $latex {x}&fg=000000$ to obtain a new function $latex \displaystyle…
Terence Tao on AI in mathematics (and beyond)
A digestion of the Jacobian conjecture counterexample
The notorious Jacobian conjecture can be formulated concretely over the complex numbers as follows.
Two more apps: visualizing the zeta process and the motions of the heavens
I believe that the creation of visualization apps to illustrate mathematical or scientific concepts is a particularly favorable use case for modern coding agents, as many of the downside risks…