Live data from Hacker News

Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]

aclanthology.org

Post reply on HN

Print view View original

1–2 of 2 posts

Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]

#1

Post by antondd » Sat, Jul 18, 2026, 12:10 AM UTC

Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]
aclanthology.org

Re: Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]

#2

Post by toomuchtodo » Sat, Jul 18, 2026, 12:29 AM UTC

Related:

Solving 20 Erdős Problems with 20 Codex Accounts Running in Parallel - https://news.ycombinator.com/item?id=48914646 - July 2026 (109 comments)

Post reply on HN