FRESH Hacker News
Home
Open Problems Solved by LLMs? A Survey of Verifiable Mathematical Discovery [pdf]
4 points by antondd