4 citations · 8 across the 12 of their papers we have counts for
13 papers
Continual Graph Memory for Mathematical Research Agents
Junyi Zhang, Jinxi Yu, Eric Hanchen Jiang +14
Using frontier agent harnesses to tackle mathematical research problems has emerged as an effective means of advancing mathematics. However, solving frontier problems in mathematic…
Rotating needles in space: the road to the Kakeya conjecture, and why it matters
Terence Tao
A non-technical exposition of the Kakeya conjecture, why it matters, and the road to the solution of this conjecture in three dimensions by Hong Wang and Joshua Zahl.
From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier
Eric Jiang, Xiao Liang, Yikai Zhang +19
Recent developments in AI for Mathematics (AI4Math), especially Large Language Model (LLM)-driven theorem provers, has achieved remarkable success in formal proof generation for we…
Polynomial towers and inverse Gowers theory for bounded-exponent groups
Asgar Jamneshan, Or Shalom, Terence Tao
In this paper we develop Host--Kra and inverse Gowers theory for abelian groups of bounded exponent. We show that the Host--Kra factors associated with act…
The maximal length of the Erdős--Herzog--Piranian lemniscate in high degree
Terence Tao
Let , and let be a monic polynomial of degree . It was conjectured by Erdős, Herzog, and Piranian that the maximal length of lemniscate $\{z…
Mathematical exploration and discovery at scale
Bogdan Georgiev, Javier Gómez-Serrano, Terence Tao +1
AlphaEvolve (Novikov et al., 2025) is a generic evolutionary coding agent that combines the generative capabilities of LLMs with automated evaluation in an iterative evolutionary f…
Sum-difference exponents for boundedly many slopes, and rational complexity
Terence Tao
The dimension of Kakeya sets can be bounded using sum-difference exponents $\SD(R;s)$ for various sets of rational slopes and output slope ; the arithmetic Kakeya conjecture…
On the distribution of eigenvalues of GUE and its minors at fixed index
Terence Tao
We obtain bounds on the distribution of normalized gaps of eigenvalues of GUE matrix in the bulk, that do not lose logarithmic factors of in the limit $N \to \inft…
Planar point sets with forbidden -point patterns and few distinct distances
Terence Tao
We show that for any large , there exists a set of points in the plane with distinct distances, such that any four points in the set determine at leas…
Dense sets of natural numbers with unusually large least common multiples
Terence Tao
For any constant , we construct a set such that one has $$ \sum_{n \in A: n \leq x} \frac{1}{n} = \exp\left(\left(\frac{C_0}{2}+o(1)\right) (\log\log…
On product representations of squares
Terence Tao
Fix . For any , let denote the cardinality of the largest subset of that does not contain distinct elements whose product is a squa…
A Maclaurin type inequality
Terence Tao
The classical Maclaurin inequality asserts that the elementary symmetric means obe…
Structure and randomness in combinatorics
Terence Tao
Combinatorics, like computer science, often has to deal with large objects of unspecified (or unusable) structure. One powerful way to deal with such an arbitrary object is to deco…