Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]

(raw.githubusercontent.com) by kbr- | Sep 15, 2026 | 1 comments on HN