After Math

OpenAI disclosed on 8 September 2026 that its system generated an AI-produced answer to the Navier–Stokes existence and smoothness problem. The authors contend that, despite a formal Lean certification, a mere answer lacks the intelligible proof required for a genuine solution. They argue that mathematics also aims at theory development, unification, and community building, rejecting claims that AI has “defeated” human mathematicians and urging a reassessment of mathematics’ fundamental nature.