Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]4aantondd about 4 hours ago 1 commentsRead Article on aclanthology.org
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)