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

Hacker Newsnew | past | comments | ask | show | jobs | submit

		Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf] (aclanthology.org)
		4 points by antondd 3 months ago \| hide \| past \| favorite \| 1 comment

toomuchtodo 3 months 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)

Consider applying for YC's Winter 2027 batch! Applications are open till November 2.
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact