Hacker News new | ask | show | jobs
Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf] (aclanthology.org)
4 points by antondd 11 days ago
1 comments
toomuchtodo 11 days 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)

link