Google Beats OpenAI 9 to 1 on Math, Mythos Finds 10K Security Holes, DeepSeek Slashes Prices
Today we're covering the biggest AI stories of May 25th, 2026. One day after OpenAI made headlines for disproving an 80-year math theory, Google DeepMind came back with AlphaProof Nexus — quietly solving nine open Erdős problems at a few hundred dollars each, including two that had stumped mathematicians for over 56 years, using a machine-verified proof system that generates, checks, and repeats until the solution holds. Anthropic published the first results from Project Glasswing, revealing that Claude Mythos and its ~50 approved partners found over 10,000 high or critical security…
The skinny
The skinny isn't ready yet — notes appear once the transcript is processed.