A OpenAI anunciou a publicação de um conjunto de novos resultados matemáticos, produzidos por um modelo interno de ponta. Num texto publicado na sua newsletter Substack, Gary Marcus considera que o anúncio não permite avaliar o seu alcance e que não fornece as informações que uma publicação científica exigiria.
- A OpenAI anunciou novos resultados matemáticos produzidos por um modelo interno.
- Gary Marcus considera o anúncio vago e insuficiente para uma publicação científica.
- O anúncio não detalha o método, a arquitetura do modelo nem a sua taxa de falha.
- Segundo Marcus, com base no primeiro relatório, pode-se dizer quase nada.
O anúncio foi feito numa mensagem publicada no X a 6 de outubro de 2026. A OpenAI indica que consultou o Advisory Group on Mathematics and Artificial Intelligence, um grupo consultivo independente ligado ao Institute for Advanced Study, e que se baseou nos seus conselhos. A mensagem não detalha, contudo, o método utilizado.
Um anúncio considerado demasiado vago
Gary Marcus critica no relatório da OpenAI formulações como « Same procedure » e « Using an unreleased model ». Segundo ele, um texto destes não passaria numa revisão por pares, o processo de validação habitual da investigação científica. Salienta que se desconhece o procedimento seguido, a arquitetura do modelo, a sua taxa de falha, bem como as etapas de treino, pós-treino e aumento de dados.
Coloca, nomeadamente, uma questão precisa: as demonstrações foram geradas de uma só vez e depois verificadas pelo Lean, um sistema informático de verificação formal de provas matemáticas, ou resultaram de um processo iterativo? Sem resposta, considera que não se pode saber até que ponto este resultado poderia ser estendido a outras áreas para além da matemática.
Reações consideradas pouco críticas
Gary Marcus lamenta também que muitos comentários nas redes sociais se limitem a aplaudir sem saber precisamente o que está a ser celebrado nem o que isso poderá significar, e sem colocarem as questões científicas elementares. Resume assim a sua análise: « O novo sistema poderá constituir um passo legítimo em direção à inteligência artificial geral (AGI). Ou poderá tratar-se apenas de uma exploração hábil do Lean e de dados sintéticos num domínio verificável, sem qualquer generalidade. » Conclui: « Com base no primeiro relatório, pode-se dizer quase nada. »
