- OpenAI afirma que um modelo de IA resolveu a conjectura da distância unitária de Erdős (1946) com um único prompt.
- Segundo a empresa, a IA produziu uma família infinita de exemplos que geram uma melhoria polinomial, com base na teoria algébrica dos números; detalhes do modelo não foram divulgados.
- A divulgação ocorreu em 20 de maio, e a verificação foi feita por especialistas independentes da área.
- Matemáticos externos elogiaram o feito, indicando que representa um marco para geometria discreta e IA, conforme registrado pela Nature.
- O experimento começou com um prompt simples elaborado por outra IA; a resposta da IA envolveu raciocínio que gerou cerca de 125 páginas.
A OpenAI anunciou que um de seus modelos de inteligência artificial resolveu a conjectura da distância unitária, proposta por Paul Erdős em 1946. A empresa afirma que a solução foi obtida a partir de um único prompt e que o modelo interno da OpenAI refutou a conjectura, fornecendo uma família infinita de exemplos com melhora polinomial.
A descoberta, apresentada oficialmente em 20 de maio, ainda não detalha como o procedimento foi realizado nem qual modelo de linguagem foi utilizado. Especialistas independentes que revisaram o trabalho confirmaram a veracidade dos resultados, sem relação com a OpenAI.
Contexto da conjectura
O problema envolve um plano com pontos conectados entre si, buscando organizar pares a uma distância fixa de forma máxima. Erdős propôs uma solução inicial em 1946 e ofereceu prêmio pela melhoria. A questão é central na geometria discreta e permanece aberta até hoje em versões mais gerais.
Como aconteceu a solução
Segundo o comunicado da OpenAI, o modelo utilizado encontrou uma solução a partir de técnicas da teoria algébrica dos números, selecionando coordenadas que satisfazem equações específicas. O método foi descrito pela empresa como inesperado para a área, abrindo caminho para novas leituras do problema.
A validação da comunidade
Matemáticos que verificaram o estudo, incluindo pesquisadores não ligados à OpenAI, consideraram o resultado encorajador. Comentários publicados na Nature destacam o impacto potencial do avanço para a interseção entre matemática e IA.
Repercussões e próximas etapas
A OpenAI descreve o feito como um marco para as comunidades de matemática e IA, ressaltando que se trata da resolução autônoma de um problema aberto de relevância. Especialistas prevêem que teóricos de números acompanharão com atenção a leitura das construções apresentadas.
Entre na conversa da comunidade