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 and strange planets orbiting their stars in under a day. Plus, SoftBank launched a battery venture to power its AI data center ambitions, OpenRouter dropped a free routing layer that auto-picks the cheapest AI above your quality bar — and today’s community workflow comes from someone who used ChatGPT to train four dogs, saved thousands on a professional trainer, and says it changed every dynamic in the household.