Reading up on mathematics
7 deep · digging since feb 08
- How Terry Tao Became an Evangelist for AI in Math
Terry Tao champions combining human insight, AI, and the Lean proof assistant to enable massive, verified mathematical collaborations.
- 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.
- An OpenAI model has disproved a central conjecture in discrete geometry
An OpenAI model found a counterexample to a long-standing discrete geometry conjecture, potentially shifting how mathematicians use AI for discovery.
- Why Did Thomas Harriot Invent Binary? | The Mathematical Intelligencer
Thomas Harriot invented binary numeration around 1601-1605 based on his idiosyncratic method of recording part-ounce weights in power-of-2 ratios, decades before Leibniz.
- 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.
- 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.
- These Mathematicians Are Trying to Educate A.I. - The New York Times
Researchers are manually evaluating AI's failure to solve advanced math problems, revealing significant gaps in reasoning that automated benchmarks miss.