| ▲ | Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf](aclanthology.org) | |
| 4 points by antondd 10 hours ago | 1 comments | ||
| ▲ | toomuchtodo 10 hours ago | parent [-] | |
Related: Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel - https://news.ycombinator.com/item?id=48914646 - July 2026 (109 comments) | ||