DeepMind's AlphaProof Nexus solves open math problems

Google DeepMind's AlphaProof Nexus solved dozens of open math problems, including nine Erdős problems, two of which were unsolved for 56 years. The results were peer-reviewed and published in Science, contrasting with OpenAI's unreviewed proofs.

• What Is AGI? OpenAI's Brockman Says GPT-6 Astra May Already Be There2026-10-28
• UK Pledges £100 Million for AI Biosecurity Lab2026-10-23
• Elorian launches first model Glimpse for visual reasoning2026-10-16
• AI worms and major incident fears drive safety calls at Dublin summit2026-10-14
• Weekly Tech Roundup: SpaceX Wireless Push, Amazon Layoffs, OpenAI Revenue Drop2026-10-10