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
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
The AI Revolution in Math Has Arrived
Since mid-2025, AI models have begun proving new mathematical results at an accelerating pace, with mathematicians reporting discoveries that would have taken weeks now achieved in days.
also on Terence Tao, #ai-research, OpenAI, #ai
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, Anthropic, #ai