DeepMind’s AI Just Cracked Unsolved Math Problems, NASA’s AI Found 100 New Planets, AI Trains 4 Dogs
Today we’re covering the biggest AI stories of May 11th, 2026. Google DeepMind unveiled its AI co-mathematician — a team of agents built on Gemini 3.1 that breaks math research into parallel workstreams, scores 48% on the hardest benchmark ever built for AI reasoning, and already helped an Oxford professor crack an open problem from a proof the system’s own reviewers had rejected. University of Warwick astronomers confirmed over 100 new exoplanets using an AI system called RAVEN that scanned four years of NASA data covering 2.2 million stars in one shot — including 31 never-before-seen worlds…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.