OpenAI Alega Avanço na Resolução de Problema Matemático do Prêmio do Milênio em Meio a Controvérsia de Dados

A OpenAI anunciou no dia 8 que utilizou um modelo não público, mais poderoso que o GPT 6 Astra, para resolver uma equação matemática super difícil conhecida como equação de Navier Stokes. A equação é uma parte fundamental da dinâmica de fluidos usada na previsão do tempo e é um dos sete Problemas do Prêmio do Milênio com uma recompensa de 1 milhão de dólares. De acordo com a OpenAI, a equipe executou aproximadamente 10.000 agentes de IA em paralelo por 88 horas para concluir que a equação não pode representar todos os movimentos 3D sob certas condições. A empresa publicou um artigo com mais de 160 páginas e resultados do provador de teoremas Lean, embora as descobertas ainda não tenham passado por revisão formal por pares.

O anúncio gerou controvérsia significativa em relação ao uso de dados. Tristan Backmaster, professor de matemática na Universidade de Nova York, afirmou que o problema não é algo que um modelo poderia resolver em poucos dias simplesmente recebendo o comando. Os matemáticos espanhóis Diego Córdoba e Luis Martínez Zoroa alegam que seu ano de pesquisa serviu como base para o anúncio, afirmando que a IA não teria resolvido sem a ideia deles. Essas alegações sugerem que a OpenAI pode ter usado dados de outras equipes que trabalhavam no mesmo problema.

Veículos com inclinação de centro esquerda enfatizam o potencial da IA para resolver problemas humanos antigos, ao mesmo tempo em que destacam as preocupações éticas e as alegações de uso impróprio de dados. Um veículo de centro direita enquadra o evento como um avanço que levanta questões profundas sobre como a disciplina da matemática deve funcionar.