OpenAI foi anunciada como vencedora do primeiro prémio de matemática de US$ 1 milhão de Justin Sun pela sua prova de Navier-Stokes, mas o galardão continua por reclamar, depois de a empresa também ter decidido não candidatar-se ao prémio do Clay.
Principais pontos:
- O repositório do prémio de Sun assinala a entrada da OpenAI sobre Navier-Stokes como resolvida, elegível para levantamento e ainda não reclamada.
- A OpenAI afirma que 10.000 agentes de IA trabalharam cerca de 88 horas antes de o GPT-6 Astra gastar mais 17 horas a formalizar e verificar a prova.
- O Clay Mathematics Institute continua a listar o problema de Navier-Stokes como ativo enquanto avalia o resultado anunciado.
Prémio OpenAI
O novo prémio de Sun atribuiu à equipa de investigação da OpenAI o seu primeiro galardão principal de US$ 1 milhão pela resolução do problema tridimensional de Navier-Stokes. O registo público no GitHub marca o problema como resolvido e elegível para reclamação. O dinheiro, contudo, não foi levantado.
A OpenAI anunciou o resultado em 8 de setembro, explicando que cerca de 10.000 agentes trabalharam por aproximadamente 88 horas antes de o GPT-6 Astra dedicar mais 17 horas à formalização e verificação da prova em Lean. A empresa afirmou não ter intenção de disputar o Prémio Millennium de US$ 1 milhão associado ao problema pelo Clay Mathematics Institute.
O instituto Clay continua a classificar o problema como ativo e afirmou em 11 de setembro que o anúncio parece resolver a questão, embora o seu regulamento exija uma avaliação cuidadosa antes de qualquer decisão sobre o prémio. Esse processo ainda não foi concluído. O prémio paralelo de Sun baseia‑se em provas verificáveis por máquina e distinguiu a equipa da OpenAI sem aguardar o mesmo circuito tradicional de revisão.
Leia também: Bitcoin Mining Faces 50% Hashrate Gap While AI Draws Capacity
As regras de Justin Sun
Sun explica que o seu prémio foi desenhado para recompensar resultados independentemente de terem origem em pessoas ou em sistemas de IA, colocando a verificação formal no centro do processo de atribuição. “Interessa‑me apenas o resultado, não se o contributo vem de um humano ou de uma máquina”, disse Sun. O seu repositório também avisa que o anúncio da OpenAI não equivale a revisão por pares e que a aceitação ampla pela comunidade matemática ainda não foi confirmada.
Persistem dúvidas sobre atribuição de crédito porque Tristan Buckmaster, professor na New York University, afirmou que trabalho inédito seu, em coautoria, foi armazenado num produto da OpenAI, embora acrescente não saber se o modelo o utilizou. “Não estou a acusar ninguém de nada”, disse Buckmaster ao The Guardian. A OpenAI respondeu que a sua investigação concluiu que os pedidos feitos ao Codex não poderiam ter influenciado o sistema que produziu a prova.
A controvérsia surgiu depois de, em 8 de setembro, a OpenAI ter afirmado que o seu sistema interno resolvera o antigo problema da existência e suavidade das equações de Navier-Stokes, ao demonstrar singularidade em tempo finito sob as condições oficiais.
O instituto Clay criou, em 2000, os Millennium Prize Problems, com US$ 1 milhão associado a cada um. Mais de duas décadas depois, Navier-Stokes permanece oficialmente ativo, enquanto matemáticos analisam a nova prova e os contornos da atribuição de mérito.
Leia a seguir: Shiba Inu Fixes Shibarium's Broken Wallet Link, But SHIB Slides 6% In A Week
