Um modelo de inteligência artificial desenvolvido pela OpenAI alcançou um feito notável no universo da matemática: a refutação de uma conjectura matemática há...