Search papers, labs, and topics across Lattice.
This paper presents five new mathematical inequalities discovered with the assistance of Grok, covering topics in convex geometry, harmonic analysis, and combinatorics. Specifically, the authors derive an improved lower bound on the maximal Gaussian perimeter of convex sets, sharper $L_2$-$L_1$ moment comparison inequalities on the Hamming cube, a strengthened autoconvolution inequality, improved bounds on $g$-Sidon sets, and an optimal balanced Szarek's inequality. These results were initially identified by Grok and subsequently rigorously proven by the authors.
AI can now discover and suggest genuinely novel mathematical inequalities, hinting at its potential for breakthroughs beyond traditional theorem proving.
In this note, we report five mathematical discoveries made in collaboration with Grok, all of which have been subsequently verified by the authors. These include an improved lower bound on the maximal Gaussian perimeter of convex sets in $\mathbb{R}^n$, sharper $L_2$-$L_1$ moment comparison inequalities on the Hamming cube $\{-1,1\}^n$, a strengthened autoconvolution inequality, improved asymptotic bounds on the size of the largest $g$-Sidon sets in $\{1,\dots,n\}$, and an optimal balanced Szarek's inequality.
