Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] raw.githubusercontent.com 5 points by kbr- 25 days ago · 3 comments Reader PiP Save Collapse all Expand all 1 thread Sath52 25 days ago I really wish you hadn’t.