AlphaProof Nexus solves 9 Erdős problems and proves 44 sequence conjectures (opens in new tab)

(cryptobriefing.com)

2 pointshackernj2d ago1 comments

1 comments

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

j / k navigate · click thread line to collapse

1 comments

hackernjOP2d ago

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

j / k navigate · click thread line to collapse