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 vulnerabilities in just one month — with Cloudflare catching 2,000 bugs alone, Mozilla patching 271 Firefox flaws, and one bank using Mythos to block a $1.5 million fraudulent wire transfer in real time. Plus, DeepSeek permanently slashed V4-Pro pricing by 75% putting it far below every closed-source rival — and today's community workflow comes from Alicia in Fresno who used ChatGPT to research and compare universities, build a shortlist that matched her work schedule and income, and generate every question she needed to ask admissions counselors before she even picked up the phone.