An autonomous AI discovered the first formal proof for a specific geometric problem involving the vibrations of a four-dimensional sphere.
Berger 3-spheres are complex mathematical shapes used to study the curvature of space and time. Mathematicians have struggled for years to calculate the exact spectrum of the Hodge-Laplacian, which describes how fields behave on these surfaces. An artificial intelligence agent found the first explicit solution and proved the first eigenvalue for this variation. This marks a rare transition where AI is not just crunching numbers but actually performing original, high-level theoretical derivation in differential geometry. It suggests that the most difficult proofs in pure mathematics are now within reach of automated systems. This will likely change how we teach and research the fundamental structure of the universe.
Hodge Laplacian on 1-forms of homogeneous 3-spheres
arXiv · 2605.05406
We study the spectrum of the Hodge-Laplacian on $1$-forms for left-invariant metrics on the Lie group $\operatorname{SU}(2) \cong S^3$ and its quotient $\operatorname{SO}(3)\cong P^3(\mathbb{R})$. To the best of our knowledge, we provide the first explicit computation of the full spectrum of the Hodge-Laplacian for a canonical variation by determining the eigenvalues of Berger 3-spheres and analyzing their resulting splitting behavior. Furthermore, we propose and rigorously prove an explicit for