Search papers, labs, and topics across Lattice.
This paper presents a neuro-symbolic AI system combining the Gemini Deep Think LLM with Tree Search and numerical feedback to solve an open problem in theoretical physics: deriving analytical solutions for the power spectrum of gravitational radiation from cosmic strings. The agent autonomously identified six distinct analytical methods, including one based on Gegenbauer polynomial expansion, to evaluate a core integral related to loop geometries. The resulting asymptotic solution at large N agrees with numerical results and connects to Feynman parameterization in QFT, demonstrating AI's potential for accelerating mathematical discovery.
An AI agent cracked an open problem in theoretical physics, deriving exact analytical solutions for gravitational radiation from cosmic strings, proving AI can do more than just pattern recognition.
This paper demonstrates that artificial intelligence can accelerate mathematical discovery by autonomously solving an open problem in theoretical physics. We present a neuro-symbolic system, combining the Gemini Deep Think large language model with a systematic Tree Search (TS) framework and automated numerical feedback, that successfully derived novel, exact analytical solutions for the power spectrum of gravitational radiation emitted by cosmic strings. Specifically, the agent evaluated the core integral $I(N,\alpha)$ for arbitrary loop geometries, directly improving upon recent AI-assisted attempts \cite{BCE+25} that only yielded partial asymptotic solutions. To substantiate our methodological claims regarding AI-accelerated discovery and to ensure transparency, we detail system prompts, search constraints, and intermittent feedback loops that guided the model. The agent identified a suite of 6 different analytical methods, the most elegant of which expands the kernel in Gegenbauer polynomials $C_l^{(3/2)}$ to naturally absorb the integrand's singularities. The methods lead to an asymptotic result for $I(N,\alpha)$ at large $N$ that both agrees with numerical results and also connects to the continuous Feynman parameterization of Quantum Field Theory. We detail both the algorithmic methodology that enabled this discovery and the resulting mathematical derivations.
CMU ML
Google Research