ChatGPT as a math milestone

A respected mathematician publicly linking ChatGPT to progress on a central open problem (Navier‑Stokes) signals a milestone where large language models contribute to frontier pure mathematics. If true, this shifts how proofs are produced, credited, and validated across journals and fields. — This matters because it reframes AI from a tool for routine tasks to an epistemic actor in foundational science, with implications for peer review, authorship, and trust in mathematical results.