R raw.githubusercontent.com Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] 5 points kbr- 1 month ago 1 comments
