Report
DeepMind's AlphaProof Nexus reportedly proves nine Erdős problems
A post says all nine proofs were verified in Lean, with the findings published in Science on October 8.
TLDR
A post says DeepMind's AlphaProof Nexus proved nine Erdős problems, with all the proofs verified in Lean and the findings published in Science on October 8. A separate reply identifies parts of Erdős problem #12, open for 56 years, and problem #125 among the results. It also credits the system with proving Zanello’s log-concavity conjecture on pure O-sequences.
Combined views
—
2 Sources, first seen ago
