AI’s math breakthrough reveals a critical expertise gap
The essay highlights that AI has started to prove research‑level theorems, exemplified by a 2026 disproof of an Erdős conjecture, while U.S. support for mathematical expertise is dwindling. It warns this mismatch creates a strategic weakness and urges formal, machine‑checkable AI reasoning as a safeguard.