Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]4aantondd about 4 hours ago 1 commentsRead Article on aclanthology.org ES version is available. Content is displayed in original English for accuracy.
Discussion (1 Comments)Read Original on HackerNews
Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel - https://news.ycombinator.com/item?id=48914646 - July 2026 (109 comments)