Terence Tao, le mozart des maths modernes, utilise un mème pour expliquer le défi des maths à l'ère de l'IA - Numerama

kept by mfaessel sep 14

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.

AI is breaking our proxies for expertise
AI’s ability to solve high‑profile math problems erodes puzzle‑solving as a proxy for expertise, risking the loss of conceptual insight and idea generation in mathematics.
also on Terence Tao, Lean, #ai-research, OpenAI, Anthropic, #software-engineering, #ai
AI is doing something weird to Science
Scientific discovery emerges from a loop of human question-posing, LLM proposal, external verification, and human curation, not from AI alone.
also on Terence Tao, Lean, #ai-research, #software-engineering
Learning more about Claude's mathematical capabilities \ Anthropic
An unreleased version of Claude improved the lower bound for the fraction of Riemann zeta zeros satisfying the Riemann hypothesis from 41.6% to 67.2% by combining prior mathematical research.
also on Lean, #ai-research, Claude, Anthropic, #ai
All Lean Books and Where to Find Them
A personal guide lists and reviews nine Lean 4 books, offering subjective opinions and suggested learning paths.
also on Lean, #education