The essay on the Navier-Stokes story that everyone should read

kept by orbitalecho oct 02

Gamburd argues AI‑generated math proofs undermine Enlightenment‑style verifiable knowledge, urging mathematicians to retain human‑understandable proofs as a decisive, bloodless counterweight to AI labs.

AI is breaking our proxies for expertise
AI’s success in solving high‑profile math problems threatens the puzzle‑solving proxy that signals mathematical expertise, risking erosion of genuine idea generation and progress.
also on Terence Tao, Lean, OpenAI, Anthropic, #open-source, #ai, #developer-tools
Terence Tao, le mozart des maths modernes, utilise un mème pour expliquer le défi des maths à l'ère de l'IA - Numerama
Terence Tao uses a Bronze Medal meme to argue that AI-generated mathematical proofs are just the first step, with true value requiring verification, clear explanation, and eventual textbook canonization.
also on Terence Tao, Lean, OpenAI, Anthropic, #ai
Shtetl-Optimized » Blog Archive » The Age of Wonders and Terrors
The AI singularity has begun, as AI now solves major open math problems like Navier‑Stokes, proving it is the primary theorem‑prover and demanding acceptance of its reality.
also on Lean, OpenAI, Anthropic, #open-source, #ai, #developer-tools
Mathematics is effectively dead - by doomslide - ......
AI labs' undisclosed distillation of user data destroys credit assignment in mathematics, making open meritocratic discourse impossible and effectively killing the field as a public tradition.
also on Lean, OpenAI, Anthropic, #ai