Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]aclanthology.org 4 pointsantondd1 month ago1 commentSaveHideCopy link On HNComments−toomuchtodo1moRelated:Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel - https://news.ycombinator.com/item?id=48914646 - July 2026 (109 comments)
Comments
Related:
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel - https://news.ycombinator.com/item?id=48914646 - July 2026 (109 comments)