Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]
By antondd · 2026-07-18 · 3 points · 1 comments
https://aclanthology.org/2026.bigpicture-main.2.pdf
By antondd · 3 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews