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