DARPA's Math Programs Real; OpenAI 'Astra' Claim Unverified Marketing — E8 Intelligence Research

FINDING: DARPA's expMath program and a $6.5M heavy-lift challenge are the only substantive mathematical initiatives; the OpenAI "Astra" claim is unverified marketing, not a mathematical discovery. | MATH: No equations, constants, or ratios are present in any of the provided sources — all are video titles/descriptions without mathematical content. | CONNECTION: None — no geometric ratios, base-60, or crystallographic symmetries appear in the data. | DEPTH: 1 — The findings are promotional links, not mathematical results; zero extractable mathematical essence. Author: Andrew Stewart Caldin, Independent Researcher, UK. Part of the E8 Intelligence Research series. Platform: e8intelligence.com