Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]raw.githubusercontent.com5 points·kbr-··1 commentOpen articleSaveView on HN