From π to QFT - Symbolic Discovery at Scale

Explore how experimental mathematics and symbolic computation are revolutionizing mathematical discovery and theoretical physics in this 54-minute conference talk. Learn about the Ramanujan Machine collaboration, a groundbreaking program that uses a global volunteer network to discover mathematical formulas at unprecedented scale, including new identities for π and Riemann ζ-values that surpass centuries of human mathematical discovery. Discover how combining symbolic mathematical capabilities with large language models has achieved the first automated unification of mathematical knowledge, revealing deeper organizing structures among mathematical constants. Examine applications to theoretical physics, including efficient computation of hypergeometric functions and D-finite functions with implications for Feynman integral calculations. Investigate how massive symbolic computation contributes to automated effective field theory toolkits, including a comprehensive automated scan for UV completions of gravity that demonstrates how one-loop contributions can reproduce general relativity as emergent curvature from flat-space quantum field theories, along with new β-functions for quantum corrections to gravity.