12.
AlphaProof Nexus solves open Erdős problems (x.com)
DeepMind’s AlphaProof Nexus solved nine open Erdős problems with an agentic formal-proof-search framework, pushing AI math from demos toward open-problem work
@pushmeet on Backlist
1 appearance on the backlist front page in the last 30 days.