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

 (raw.githubusercontent.com)

5 points | by kbr- 8 hours ago ago

No comments yet.