Em meados de maio, OpenAI anunciado que um modelo interno de IA refutou a conjectura da distância unitária de Erdős, um famoso problema em geometria discreta que deixou os matemáticos humanos perplexos nos últimos 80 anos.
A OpenAI deu a vários matemáticos acesso antecipado ao resultado e publicaram suas reações. Tim Gowers—que ganhou a Medalha Fields, o prêmio de maior prestígio em matemática—escreveu que “não há dúvida de que a solução para o problema da distância unitária é um marco na matemática da IA”.
Professor da Universidade de Toronto Daniel Litt escreveu que “este é o primeiro exemplo de um resultado produzido autonomamente por uma IA que considero emocionante por si só, em oposição a um indicador antecedente”.
Leia o artigo completo
Comentários
Leave a comment