Frontier of AI-Assisted Math: Programs, Not Equations — E8 Intelligence Research

FINDING: DARPA's expMath program and the EUCLID spatial project represent the current frontier of AI-assisted and large-scale computational mathematics, but the raw search results contain no explicit equations, constants, or solved theorems — only program descriptions and competition announcements. | MATH: No explicit equations, constants, or ratios are present in the provided abstracts. The only quantitative claim is "10 decades-old math problems solved for $2,000 in compute" (OpenAI Astra claim, unverified). | CONNECTION: None directly stated. However, the EUCLID project (ESA's dark energy/matter survey) inherently relies on spherical harmonics, Fourier transforms on the sphere, and statistical isotropy — which connect to the symmetry group SO(3) and its root system A1 (rank 1, crystallographic). The DARPA Subterranean Challenge involves SLAM (simultaneous localization and mapping) in GPS-denied environments, which uses graph Laplacians and spectral methods — but no golden-ratio or b Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com