Show HN: I solved a 12-year math problem using AI (formalized; awaiting review) [pdf]
Read the original at raw.githubusercontent.com→Original headline: "Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]"
Coverage timeline
- Sep 15, 19:24 UTC Hacker News (AI) lead source Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf]