OpenAI divulga 372 resultados em matemática e gera debate

Parte das demonstrações já foi checada no Lean, um sistema de verificação matemática que permite conferir passo a passo se uma prova segue corretamente as regras da lógica. Isso reduz a chance de erro formal, mas não elimina o trabalho de entender se há ideias realmente novas ou se as soluções combinam técnicas já conhecidas, apontou a reportagem da Scientifc American.

Entre os temas citados estão a conjectura de Kakeya em quatro dimensões (um problema clássico da geometria), melhorias em algoritmos e avanços ligados à hipótese de Riemann (um dos problemas mais importantes da matemática moderna por sua relação com os números primos). A OpenAI também afirmou que o modelo não foi liberado ao público e que pretende publicá-lo “o mais rápido e responsavelmente possível”.

Empresa diz que quase todos os resultados vieram de um único comando dado a um único agente de IA. O matemático Andrew Sutherland, do MIT (Instituto de Tecnologia de Massachusetts), disse à Scientific American que, sem acesso ao modelo e reprodução independente, a alegação precisa ser tratada como não verificada

Até que eles liberem o modelo e as pessoas consigam replicar os resultados, acho que qualquer afirmação de resolver problemas de uma vez, com um único agente, deve ser tratada como não verificada. Precisamos pedir provas
Andrew Sutherland, do MIT

Críticas e cobrança por mais abertura

O volume de resultados deve levar meses para ser analisado pela comunidade, e a falta de detalhes alimenta o ceticismo. A Scientific American relata que recomendações recentes de um grupo independente defendem que empresas publiquem o modelo, o comando exato e o tempo de computação por problema, mas a OpenAI divulgou apenas médias e estatísticas gerais.