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 81.2ms across 8,303 title embeddings via pgvector HNSW
- 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
- Amateur armed with ChatGPT solves an Erdős problem pr337h4m · 238 pts · April 25, 2026 · 46% similar
- An OpenAI model has disproved a central conjecture in discrete geometry tedsanders · 962 pts · May 20, 2026 · 44% 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.