Um modelo interno de raciocínio da OpenAI refutou uma famosa conjectura de 1946 de Paul Erdős, a primeira vez que uma IA resolve um grande problema em aberto na matemática.
Pontos-chave:
- Um modelo da OpenAI refutou a conjectura da distância unitária de Erdős, aberta há 80 anos.
- A prova se apoiou em teoria algébrica dos números e passou por revisão externa.
- É o primeiro grande problema em aberto solucionado 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. Durante décadas, pesquisadores trataram uma grade quadrada como quase a melhor disposiçã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. Sua versão mostrou que o número de distâncias unitárias cresce pelo menos tão rápido quanto n elevado à potência 1,014, uma vantagem polinomial em relação ao antigo limite da grade. O limite superior ainda fica perto de n elevado a 1,333, de modo que permanece uma lacuna.
Also Read: Cardano Tops Every Major Chain In Stablecoin Growth, Up 61% In A Week
Gowers celebra um marco na matemática
Tim Gowers, ganhador da medalha Fields, called o trabalho um marco e disse que nenhuma prova anterior produzida por IA havia chegado perto disso. Daniel Litt, da Universidade de Toronto, descreveu o resultado como o primeiro de IA que ele achou genuinamente empolgante por seus próprios méritos, não apenas como um sinal do que está por vir.
Especialistas enfatizaram por que o caminho seguido importava. A maioria dos matemáticos passou anos tentando provar a conjectura em vez de refutá-la, e poucos encarariam um processo tão tedioso sem algum sinal de que valeria a pena. Uma IA avalia essa aposta de forma diferente, percorrendo incontáveis becos sem saída até que um caminho improvável funcione.
Histórico irregular da OpenAI com problemas de Erdős
O avanço não veio sozinho. Dias depois, o Google reported que um de seus sistemas havia resolvido nove problemas menores da lista de Erdős, dois deles em aberto há 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, apenas para revisores mostrarem que ele tinha apenas recuperado soluções antigas, em vez de provar algo novo. Esse episódio levou a empresa a buscar revisão externa desta vez.
Read Next: ETH Loses Its Last Floor And Stares Down A Drop Toward $1,800