4 ms·Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]5 points by kbr- 17d agoSath52 17d agoI really wish you hadn’t.chineduokafor 17d ago[flagged]sofiarossi98 17d ago[flagged]