IA da OpenAI resolve problema matemático de 80 anos — e muda a geometria discreta
O que aconteceu
Um modelo interno de raciocínio da OpenAI refutou autonomamente a conjectura de Paul Erdős de 1946 sobre distâncias unitárias no plano — um dos problemas mais famosos da geometria combinatória, sem solução há quase oito décadas. O Fields Medalist Tim Gowers afirmou: "se um humano tivesse escrito isso e submetido ao Annals of Mathematics, eu teria recomendado a publicação sem hesitação." A prova foi validada por um grupo externo de matemáticos de Princeton, Toronto e Cambridge.
Por que importa
Isso não é um benchmark ou um quiz de vestibular. É uma descoberta original em um campo ativo da matemática — com prova verificada por especialistas. O modelo não foi treinado para esse problema específico: ele raciocinou e usou teoria algébrica de números (uma área completamente diferente) para atacar um problema de geometria. É a primeira vez que uma IA resolve de forma autônoma um problema aberto proeminente em qualquer subcampo matemático. O resultado sugere que IA pode conectar ideias entre campos distantes do conhecimento humano de formas que matemáticos não tentaram.
Insight prático: Se a IA já consegue ter "ideias engenhosas originais" em matemática pura, o que acontece quando esses raciocínios se aplicam a biologia, química de materiais, engenharia estrutural e design de fármacos? O OpenAI já tem o GPT-Rosalind para life sciences. Este resultado aponta para um futuro em que IA não é assistente — é coautora da ciência.