I solved a 12yr math problem using AI (formalized; awaiting review) [pdf] — Score 18/100 · Other | indexator.ai | Indexator.ai