After Math
Summary
Terence Tao’s After Math discusses OpenAI’s claimed AI-generated solution to the Navier–Stokes problem and uses that episode to critique what counts as mathematical progress. The piece argues that AI can provide answers but not the intelligible proofs humans rely on, and it advocates viewing AI as an assisting tool whose outputs must be interpreted within broader mathematical practice. It also outlines a complementary view of proof and mathematical goals beyond problem solving.