The AI Revolution in Math Has Arrivedkept by eddie • apr 14Since 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.AboutAxiom Math · Google DeepMind · OpenAI · Terence Tao · AlphaEvolve · ChatGPTFiled#ai#ai-research#education#mathematics#researchRelatedAlphaEvolve: Gemini-powered coding agent scaling impact across fields — Google DeepMindAlphaEvolve, a Gemini-powered coding agent, has optimized algorithms across genomics, quantum physics, and infrastructure, achieving significant improvements.also on AlphaEvolve, Terence Tao, Google DeepMind, #research, #aiWhen Hypotheses Become Cheap - by Meg McNulty - CipherTalkAI makes hypothesis generation cheap, but scientific progress hinges on affordable, fast physical verification, requiring new lab‑infrastructure to match compute gains.also on AlphaEvolve, #research, OpenAI, #aiAmateur armed with ChatGPT 'vibe-maths' a 60-year-old problemA 23-year-old with no math background used ChatGPT Pro to solve a 60-year-old Erdős problem, producing a novel method that experts believe may have broader applications.also on Terence Tao, #mathematics, ChatGPT, #ai-research, #aiClaude Mythos reportedly solves OpenAI's landmark Erdős problem with a "cute, simple proof"Anthropic's Claude Mythos solved the Erdős unit-distance conjecture with a 'cute, simple proof,' indicating 'serious overhang' in AI-driven math discoveries.also on #mathematics, Google DeepMind, #ai-research, OpenAI, #aiTerence Tao, le mozart des maths modernes, utilise un mème pour expliquer le défi des maths à l'ère de l'IA - NumeramaTerence 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, #education, ChatGPT, #ai-research, OpenAI, #ai
The AI Revolution in Math Has Arrived