[egillie]

This makes me wonder if you could train an llm without any references to Wiles’ work and see if it can compete Fermat’s last theorem