A OpenAI afirma ter feito um avanço significativo em relação ao problema da distância unitária, proposto por Paul Erdős em 1946. O modelo de IA não especializado em matemática ofereceu um novo raciocínio que contesta a hipótese de crescimento da quantidade de pares de pontos equidistantes com o aumento de pontos.
Segundo a empresa, o estudo mostra uma família inteiramente nova de construções no plano que apresentam distâncias unitárias superiores aos limites anteriores. A descoberta foi apresentada em uma postagem feita no X em 20 de maio.
Apesar do avanço, a equipe informou que o problema ainda não está resolvido. Não houve uma resposta sobre a velocidade com que o número de vértices cresce em função do aumento de pontos. A mensagem ressalta que a prova veio de um modelo de raciocínio de uso geral, não de IA voltada apenas a problemas matemáticos.
Avanço e próximos passos
A OpenAI explica que a abordagem envolve a conexão de conceitos de diferentes áreas da matemática para explorar configurações de pontos com distâncias unitárias superando limites pré-estabelecidos. O objetivo é indicar caminhos mais consistentes para a eventual solução.
Especialistas ressaltam que, mesmo sem a resolução, o método pode orientar pesquisas futuras. A empresa enfatiza que o marco mostra maior capacidade de cadeias de raciocínio complexas em seus modelos, abrindo possibilidade de aplicações mais amplas. Fonte: comunicação oficial da OpenAI.
Entre na conversa da comunidade