The AI Revolution in Math Has Arrived

kept by eddie apr 14

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.

AlphaEvolve: Gemini-powered coding agent scaling impact across fields — Google DeepMind
AlphaEvolve, 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, #ai
optimize_anything: A Universal API for Optimizing any Text Parameter - GEPA
GEPA's optimize_anything API optimizes any text-representable artifact (code, prompts, agent architectures) and achieves state-of-the-art results across eight domains, matching or beating domain-specific tools.
also on AlphaEvolve, #ai
Amateur armed with ChatGPT 'vibe-maths' a 60-year-old problem
A 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, #ai
Claude 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, #ai
LLMs reward expertise
The article argues that domain expertise, not just prompting skill, determines how much value users can extract from LLMs, as experts steer models more effectively.
also on Terence Tao, ChatGPT, OpenAI