OEIS

Headlines · 1

1. Oct 12
   DeepMind’s AlphaProof Nexus solves 9 open Erdős problems, published in Science

   Google DeepMind’s AlphaProof Nexus, a Gemini 3.1 Pro-based system that drafts Lean proofs and uses compiler feedback to revise them, solved 9 of 353 open Erdős problems, including two that had stood for 56 years, according to a study published in Science. The system also proved 44 open OEIS conjectures, settled a 15-year-old algebraic geometry question and improved a known bound in min-max optimization, with inference costs of a few hundred dollars per problem. DeepMind says a simpler LLM-plus-Lean loop also solved all nine Erdős problems; an independent audit cited by 36Kr found one solution was already implied by an earlier theorem, which would reduce the count to eight under a stricter definition.

   The Decoder · 🔥 0

Experience and discussion from the community

Share my OEIS experienceAsk about OEIS