DeepMind AI Cracks 9 Open Math Problems and Submits to Peer Review

AlphaProof Nexus solved 9 of 353 Erdős open problems, also proved 44 OEIS conjectures and advanced one algebraic geometry problem.

The skinny

The skinny isn't ready yet — notes appear once the transcript is processed.