Um modelo interno de raciocínio da OpenAI refutou uma famosa conjectura de 1946 de Paul Erdős, marcando a primeira vez que uma IA resolve de forma definitiva um grande problema em aberto em matemática.
Pontos principais:
- Um modelo da OpenAI refutou a conjectura da distância unitária de Erdős, em aberto há 80 anos.
- A prova se baseou em teoria algébrica dos números e foi aprovada em revisão externa.
- É o primeiro grande problema em aberto resolvido de forma autônoma por IA.
OpenAI resolve a conjectura de Erdős
A empresa announced em 20 de maio que seu modelo produziu um contraexemplo para o problema da distância unitária, que pergunta quantos pares, entre muitos pontos, podem ficar exatamente a uma unidade de distância. Por décadas, pesquisadores trataram a grade quadrada como praticamente a melhor configuração possível. O enigma é fácil de enunciar, mas resistiu a oitenta anos de esforço de grandes matemáticos.
O modelo seguiu outro caminho, construindo um padrão mais intrincado que drew em teoria algébrica dos números para encaixar mais distâncias unitárias do que uma grade permite, uma estrutura que nenhum humano havia perseguido seriamente.
Um painel de especialistas externos checked a prova antes de a empresa torná‑la pública.
Will Sawin, de Princeton, logo refined o argumento. A sua versão mostrou que o número de distâncias unitárias cresce pelo menos tão rápido quanto n elevado a 1,014, uma vantagem polinomial em relação ao limite baseado na grade. O limite superior ainda está perto de n elevado a 1,333, portanto permanece uma lacuna.
Também leia: Cardano Tops Every Major Chain In Stablecoin Growth, Up 61% In A Week
Gowers celebra um marco na matemática
Tim Gowers, medalhista Fields, called o trabalho um marco e disse que nenhuma prova anterior gerada por IA chegou perto disso. Daniel Litt, da Universidade de Toronto, descreveu‑o como o primeiro resultado de IA que ele achou genuinamente empolgante por seus próprios méritos, e não apenas como um sinal do que ainda virá.
Especialistas enfatizaram por que a rota seguida importava. A maioria dos matemáticos passou anos tentando provar a conjectura em vez de refutá‑la, e poucos se disporiam a percorrer uma construção tão tediosa sem algum indício de que valeria a pena. Uma IA encara essa aposta de forma diferente, explorando incontáveis becos sem saída até que um caminho improvável funcione.
O histórico irregular da OpenAI com problemas de Erdős
A conquista não veio sozinha. Dias depois, o Google reported que um de seus sistemas havia resolvido nove problemas menores da lista de Erdős, dois deles em aberto havia mais de 50 anos.
A divulgação cuidadosa respondeu a um tropeço anterior. Em outubro, a empresa claimed que um modelo havia resolvido dez problemas de Erdős, mas revisores mostraram que ele apenas havia recuperado soluções antigas, em vez de provar algo novo. Esse episódio levou a empresa a buscar revisão externa desta vez.
Leia a seguir: ETH Loses Its Last Floor And Stares Down A Drop Toward $1,800