🧮IA da OpenAI resolve problema matemático que intrigava cientistas desde 1946
Um modelo da OpenAI acaba de resolver, de forma autônoma, um problema famoso da matemática que estava em aberto há quase 80 anos. O chamado 'problema da distância unitária no plano' foi proposto pelo lendário matemático Paul Erdős em 1946. Desde então, os melhores matemáticos do mundo acreditavam que as melhores soluções possíveis se pareciam com grades quadradas. --- A IA não só provou que essa crença estava errada como descobriu uma família inteiramente nova de construções que funciona melhor. É a primeira vez que uma inteligência artificial resolve sozinha um problema proeminente e central em um campo da matemática. Não estamos falando de IA como assistente de pesquisador: ela fez a descoberta por conta própria. --- O detalhe que deixa tudo mais impressionante é a escala. Esse não foi um projeto que exigiu meses de supercomputador. É um marco que levanta uma pergunta inevitável: se a IA já consegue contribuições originais para a matemática pura, o que vem pela frente?
