AI is breaking our proxies for expertise

kept by maya sep 13

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.

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 arXiv, Terence Tao, Lean, OpenAI, Anthropic, #ai, #developer-tools
The Singularity will occur on a Tuesday
A satirical article fits hyperbolic curves to five AI metrics and predicts the singularity will occur on a specific Tuesday, critiquing the hype and social dynamics around the concept.
also on arXiv, #ai-research, #ai
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, #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
Working with academic communities to build scientific understanding
OpenAI's AI models produced proofs for the Kakeya conjecture, a disproof of the Exponential Time Hypothesis, and a proof of QCD existence, marking major advances in three fields.
also on Lean, #ai-research, OpenAI, #ai