A OpenAI divulgou na terça-feira (6) mais de 350 resultados matemáticos obtidos por inteligência artificial, reunidos em 722 manuscritos publicados de uma vez. A demonstração mais aclamada, segundo matemáticos, renderia uma Medalha Fields se tivesse sido feita por um humano.

Nenhuma das provas resolve por completo os 5 Problemas do Prêmio do Milênio ainda em aberto, mas o conjunto inclui avanços relacionados a todos eles, incluindo uma demonstração da hipótese de quase Riemann.

A reação da comunidade matemática ficou dividida. Não é a primeira vez: em setembro, a OpenAI já havia dito ter resolvido um enigma de 200 anos e matemáticos duvidaram.

A empresa voltou a divulgar outro lote de resultados em outubro, sem liberar o modelo usado para verificação independente.

Por que o anúncio gera ceticismo entre matemáticos?

A reputação da OpenAI por fazer afirmações ousadas e ter pouca transparência alimenta o ceticismo, mesmo entre quem reconhece o avanço técnico das demonstrações. É o mesmo padrão do lançamento do GPT-6 Astra, classificado como risco cibernético crítico.

A revisão por pares acabou nesse processo.

disse Bryna Kra, da Universidade Northwestern e ex-presidente da Sociedade Americana de Matemática, segundo o Olhar Digital. Boa parte das provas passou por verificação no Lean, linguagem que confirma a consistência lógica dos argumentos, mas isso não substitui a revisão por pares tradicional.

Jean-Pierre Serre, do Collège de France, tem 100 anos e já ganhou as medalhas Fields e Abel. Uma conjectura sua, formulada há cerca de 70 anos, foi confirmada entre os resultados.

Publicidade

"A IA aumenta o primeiro prazer e diminui o segundo. O problema é que ela pode diminuir esse prazer demais", disse Serre, segundo o Olhar Digital.

O que acontece agora

A OpenAI já retirou 3 dos 722 manuscritos do repositório público e corrigiu outros até quinta-feira (8), segundo porta-voz da empresa, que afirmou pretender corrigir erros prontamente e retirar trabalhos sem solução confirmada.

Nenhum dos Problemas do Milênio foi totalmente resolvido até agora.