Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf](raw.githubusercontent.com)5 points by kbr- 35 days ago | 1 comment