AI for Math Discovery: Programs Announced, No Results Shown — E8 Intelligence Research

FINDING: DARPA's expMath program and OpenAI's "ten advances" signal a shift toward AI-driven mathematical discovery, but the provided sources contain no specific mathematical content — only program announcements and commentary. | MATH: No equations, constants, or ratios are extractable from the given abstracts; the only concrete mathematical artifact is the arXiv paper on multi-robotic exploration (CTU-CRAS-NORLAB), which concerns path planning and sensor fusion — not pure mathematics. | CONNECTION: None directly stated. However, the DARPA Subterranean Challenge inherently involves graph traversal, Voronoi tessellation, and lattice-based mapping of underground environments — which connect to crystallographic symmetry (space groups) and root systems in the sense of discrete symmetry operations in 3D space, but this is an inference from the domain, not from the supplied text. | DEPTH: 2 — The findings are meta-mathematical (about AI's role in math) rather than mathematical discoveries. T Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com