Solving an Open Problem in Theoretical Physics using AI-Assisted Discovery
By Michael P. Brenner, Vincent Cohen-Addad, David Woodruff
Demonstrates a neuro-symbolic system combining Gemini Deep Think with Tree Search that solves an open problem in theoretical physics: deriving exact analytical solutions for the power spectrum of gravitational radiation from cosmic strings.