IA provou um teorema que matemáticos tentavam resolver há 80 anos

Em 20 de maio de 2026, a OpenAI anunciou que um de seus modelos de raciocínio geral — não treinado especificamente para matemática — resolveu a conjectura central do problema das distâncias unitárias de Paul Erdős, um problema em aberto há cerca de 80 anos. O modelo demonstrou que construções baseadas em 'grade quadrada' não são ótimas para maximizar pares de distância unitária, provando a existência de uma família infinita de exemplos que melhoram polinomialmente o limite inferior. Para isso, trouxe ideias da teoria algébrica dos números — um ramo surpreendentemente distante da geometria discreta. A prova foi verificada por matemáticos externos, que publicaram um artigo complementar explicando o argumento. É a primeira vez que um sistema de IA resolve autonomamente um problema em aberto central para uma subárea da matemática. O feito demonstra que modelos de raciocínio já podem contribuir para pesquisa de fronteira — um marco para a ciência.