DARPA expMath and Contested AI Claims in Mathematical Discovery — E8 Intelligence Research

FINDING: DARPA's expMath program (2025) aims to exponentially accelerate mathematical discovery via AI, while OpenAI's claimed solutions to Navier-Stokes and 10 decade-old problems remain contested/unverified | MATH: No specific equations or constants disclosed in these sources; Navier-Stokes problem concerns existence and smoothness of solutions to ∂u/∂t + (u·∇)u = -∇p/ρ + ν∇²u, with ∇·u = 0 | CONNECTION: None supported by evidence — no geometric harmony ratios, base-60, crystallographic, or lattice structures appear in these findings | DEPTH: 2 --- **Detailed Analysis:** **1. Key Mathematical Insight** No verified mathematical insight is present. The findings are program announcements, contested claims, and a robotics field report. The only substantive mathematical content is the *existence* of the Navier-Stokes Millennium Prize problem (one of 7 Clay Institute problems, $1M each). OpenAI's claim is explicitly flagged as disputed and unverified. **2. Equations, Constants, Ratios* Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com