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

5 pointsposted 7 hours ago
by kbr-
(raw.githubusercontent.com)

3 Comments

Sath52

7 hours ago

I really wish you hadn’t.