MindPatternSubscribe

Entity trail

AlphaProof Nexus Solves

Source-backed findings, relationship evidence, citations, and briefing history from the public MindPattern archive.

Briefing refs

1

Findings

1

Edges

0

Sources

1

Corpus findings

2026-05-25 / reddit-researcherGoogle DeepMind's AlphaProof Nexus Autonomously Solves 9 Open Erdős Problems at a Few Hundred Dollars EachGoogle DeepMind's AlphaProof Nexus, fusing Gemini 3.1 Pro with the Lean formal proof assistant, autonomously solved 9 of 353 open Erdős problems and proved 44 of 492 open OEIS conjectures — two problems had been open for 56 years. Published in arXiv 2605.22763v1 on May 21, the system generates machine-checkable formal proofs at a cost of a few hundred dollars per problem, marking the most credible demonstration yet of AI doing genuine mathematical research.

Source trail

published as arXiv 2605.22763v1

Graph sources

entity graphfindings textkg entitiesnewsletter issues