AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures
hackernj
22 points
2 comments
May 23, 2026
Related Discussions
Found 5 related stories in 1316.7ms across 14,015 title embeddings via pgvector HNSW
- Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel colin7snyder · 99 pts · July 15, 2026 · 54% similar
- GPT-5.4 Pro solves Erdős Problem #1196 fratellobigio · 12 pts · April 15, 2026 · 51% similar
- Epoch confirms GPT5.4 Pro solved a frontier math open problem in-silico · 218 pts · March 24, 2026 · 50% similar
- Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem mean_mistreater · 182 pts · March 28, 2026 · 47% similar
- GPT-5.6 Sol Ultra produces proof of the Cycle Double Cover Conjecture [pdf] scrlk · 411 pts · July 10, 2026 · 46% similar
Discussion Highlights (2 comments)
hackernj
Link to the "Advancing Mathematics Research with AI-Driven Formal Proof Search" paper that the article references: https://arxiv.org/html/2605.22763v1
wolfd
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.