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