Un modelo de inteligencia artificial resolvió en horas un problema matemático que llevaba semanas de investigación