alt.hn

5/23/2026 at 2:46:56 PM

AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures

https://cryptobriefing.com/deepmind-alphaproof-nexus-erdos-problems/

by hackernj

5/23/2026 at 5:21:29 PM

I 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.

by wolfd

5/23/2026 at 2:47:35 PM

Link to the "Advancing Mathematics Research with AI-Driven Formal Proof Search" paper that the article references: https://arxiv.org/html/2605.22763v1

by hackernj