Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf] (aclanthology.org) 4 points by antondd 3mo ago ↗ HN
[–] toomuchtodo 3mo ago ↗ Related:Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel - https://news.ycombinator.com/item?id=48914646 - July 2026 (109 comments)
1 comment
[ 5.3 ms ] story [ 14.6 ms ] threadSolving 20 Erdős Problems with 20 Codex Accounts Running in Parallel - https://news.ycombinator.com/item?id=48914646 - July 2026 (109 comments)