Google DeepMind Discovers 3 New Theorems in Mathematics with Gemini 2.0

Google DeepMind announced that its Gemini 2.0 model, with assistance from mathematicians, discovered three previously unknown theorems in combinatorics and topology, providing complete proofs. This marks the first time AI has genuinely advanced the frontier of pure mathematics (not just verifying known theorems), hailed by Nature as "a new milestone in AI-driven scientific discovery."