Show HN: I solved a 12yr math problem using AI (formalized; awaiting review) [pdf](raw.githubusercontent.com)
5 pointsby kbr-3 hours ago3 comments