Modelo de IA da OpenAI refuta conjectura central na geometria discreta

Um reasoning model desenvolvido pela OpenAI desmentiu o problema da distância unitária planar, uma conjectura fundamental na geometria discreta proposta por Paul Erdős em 1946. Este feito marca a primeira vez que um sistema autônomo resolve um problema matemático aberto de grande relevância.