An OpenAI model has disproved a central conjecture in discrete geometry

Um modelo da OpenAI resolveu o problema da distância unitária, com 80 anos, refutando uma importante conjectura na geometria discreta. Isso marca um marco na matemática impulsionada pela inteligência artificial.