Back to AIBriefs
AnalysisAI ModelsScience
Featured

DeepMind's AlphaProof Nexus solves 9 open math problems

Demis Hassabis
@demishassabis

Nobel Laureate. Co-Founder & CEO @GoogleDeepMind - working on AGI. Solving disease @IsomorphicLabs. Trying to understand the fundamental nature of reality.

www.deepmind.com
View on X
View on X
Demis Hassabis avatar
Demis Hassabis
@demishassabis

RT @pushmeet: AI agents are advancing research-level math. 🚀 I’m thrilled to share @GoogleDeepMind’s AlphaProof Nexus - an agentic framewo…

Google DeepMind just solved 9 math problems that stumped humans for 56 years. They published a...15 days agoHowToAI
Google DeepMind's AlphaProof Nexus autonomously solved 9 open Erdős problems, some unsolved for 56...17 days agoKimmonismus
AI has just solved not one, but nine novel math problems, and proved 44 new conjectures. Some of these problems had been unsolved for 50 years.15 days agoEchoOfOppenheimerDiscuss
·
16 days ago
DeepMind's AlphaProof Nexus solves 9 open math problems — AIBriefs