Modelo da OpenAI questiona consenso matemático de 80 anos

Um modelo de raciocínio de uso geral da OpenAI criou uma prova de 125 páginas que contesta a conjectura das distâncias unitárias, problema clássico de Erdős.
A conjectura, centrada na ideia de que a grade quadrada seria a configuração ótima para o número máximo de pares a uma distância fixa, é desmentida por uma família infinita de arranjos superiores.
A prova foi verificada por nove matemáticos externos, incluindo Tim Gowers, ganhador da Medalha Fields, que recomendou a publicação na Annals of Mathematics.
O artigo de verificação independente, hospedado no arXiv, resume a prova e discute implicações para a relação entre matemáticos e sistemas de IA.
A OpenAI afirma que é a primeira vez que uma IA resolve autonomamente um problema aberto relevante para a matemática; o material utilizado pela IA permanece fora do alcance público para replicação.

O modelo de raciocínio de uso geral da OpenAI produziu uma prova de 125 páginas que contesta a conjectura das distâncias unitárias, problema central da geometria combinatória há 80 anos. A solução foi gerada por um sistema interno, ainda não acessível ao público. A conclusão aponta que a configuração ótima não é apenas a grade quadrada.

A equipe envolvida inclui a OpenAI e matemáticos externos convidados para verificação. Entre eles está Tim Gowers, ganhador da Medalha Fields, que indicou a potencial publicação na Annals of Mathematics, conforme avaliação preliminar. Thomas Bloom também participou da discussão pública da proposta.

Verificação e publicações

O artigo de verificação, com 125 páginas, foi hospedado no arXiv. Nove matemáticos externo analisaram o material, simplificando e generalizando o argumento, ainda sem revisão por pares. A prova permanece fora do acesso público completo, sujeito a validação independente.

A obra se destaca ao mostrar que uma IA de uso geral chegou a uma prova matemática relevante sem ter sido projetada para esse problema específico. A OpenAI afirma que é a primeira vez que uma IA resolve autonomamente um problema aberto de alto impacto na matemática.

A comunidade científica observou que a IA conectou linhas de raciocínio dispersas na literatura, incluindo trabalhos anteriores de Golod-Shafarevich, Ellenberg-Venkatesh e Hajir-Maire-Ramakrishna. O episódio levanta questões sobre o papel de IA como colaboradora em pesquisa.

A importância prática reside na demonstração de capacidades avançadas de raciocínio emergentes em modelos de uso geral. Enquanto a validação formal não é concluída, o episódio marca uma fronteira na interação entre matemática e IA.