AlphaTensor

A team at the Institute for Advanced Study and DeepMind used an AI system called LeanMind to prove the Sylvester-Gallai conjecture in a special Euclidean geometry, marking the first time a major open …

Mathematician Levent Alpöge announced on X that he used Anthropic's Claude Fable 5 AI model to find a counterexample to the Jacobian conjecture, a problem posed by Ott-Heinrich Keller in 1939. The dis…

DeepMind's AlphaTensor, AlphaDev, and FunSearch are among 20 AI systems for scientific discovery catalogued with their publications and code repositories. The list includes projects like AI Feynman fo…