AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
1–3 of 3 posts
Re: AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
#2Link to the "Advancing Mathematics Research with AI-Driven Formal Proof Search" paper that the article references: https://arxiv.org/html/2605.22763v1
Re: AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
#3I wish there were more human written articles posted here. The ending of this is so obviously an LLM being prompted to connect this news back to the site’s purpose. There just isn’t a link, so it makes something up.