Google DeepMind's AlphaProof Nexus Solves 9 Open Erdős Problems: Two Waited 56 Years for a Solution
Google DeepMind's research agent AlphaProof Nexus has solved 9 open Erdős problems, two of which waited 56 years for a solution, and proved 44 OEIS conjectures with machine verification in Lean.
Read more →