OpenAI aparece como vencedora do primeiro prêmio de US$ 1 milhão em matemática criado por Justin Sun por sua prova de Navier-Stokes, mas o valor continua sem ser reivindicado, depois de a empresa também ter decidido não disputar o prêmio do Instituto Clay.
Pontos-chave:
- O repositório do prêmio de Sun marca a entrada da OpenAI sobre Navier-Stokes como “resolvida”, apta a ser resgatada e ainda não reclamada.
- A OpenAI afirma que 10.000 agentes de IA trabalharam por cerca de 88 horas antes de o GPT-6 Astra dedicar mais 17 horas à formalização e checagem da prova.
- O Clay Mathematics Institute ainda lista o problema de Navier-Stokes como em aberto enquanto revisa o resultado anunciado.
O prêmio de Justin Sun
O novo prêmio de Sun concedeu à equipe de pesquisa da OpenAI o seu primeiro grande cheque de US$ 1 milhão pela solução do problema tridimensional de Navier-Stokes. O registro público no GitHub classifica o problema como resolvido e apto a ser reivindicado. O dinheiro, porém, não foi solicitado.
A OpenAI divulgou o resultado em 8 de setembro, dizendo que cerca de 10.000 agentes trabalharam por aproximadamente 88 horas, antes de o GPT-6 Astra gastar mais 17 horas formalizando e verificando a prova no Lean. A empresa informou que não pretende disputar o Prêmio do Milênio de US$ 1 milhão associado ao problema pelo Clay Mathematics Institute.
O Instituto Clay ainda considera o problema como ativo e afirmou em 11 de setembro que o anúncio “parece” resolver a questão, mas que seu regulamento exige uma avaliação cuidadosa antes de qualquer decisão de prêmio. Esse processo ainda não foi concluído. O prêmio paralelo de Sun, por sua vez, baseia-se em provas verificáveis por máquina e declarou a equipe da OpenAI vencedora sem aguardar o mesmo tipo de revisão tradicional.
Veja também: Bitcoin Mining Faces 50% Hashrate Gap While AI Draws Capacity
As regras de Justin Sun
Sun diz que seu prêmio foi desenhado para remunerar resultados independentemente de terem sido produzidos por uma pessoa ou por um sistema de IA, colocando a verificação formal no centro do processo de premiação. “Eu só me importo com o resultado, não com o fato de o autor ser humano ou máquina”, afirmou. O repositório do prêmio também alerta que o anúncio da OpenAI não equivale a revisão por pares e que ainda não há aceitação ampla da prova pela comunidade matemática.
Persistem dúvidas sobre atribuição de crédito porque Tristan Buckmaster, professor da Universidade de Nova York (NYU), disse que um trabalho inédito feito com um colaborador foi armazenado em um produto da OpenAI, embora ele não saiba se o modelo utilizou esse material. “Não estou acusando ninguém de nada”, declarou Buckmaster ao The Guardian. A OpenAI afirma que sua investigação concluiu que os comandos feitos ao Codex por Buckmaster não poderiam ter influenciado o sistema que produziu a prova.
A disputa surgiu após a OpenAI declarar, em 8 de setembro, que seu sistema interno havia resolvido o antigo problema de existência e suavidade das equações de Navier-Stokes, mostrando singularidade em tempo finito sob as condições oficiais do enunciado.
O Clay instituiu, em 2000, os Problemas do Prêmio do Milênio, com US$ 1 milhão atrelado a cada um deles. Mais de duas décadas depois, Navier-Stokes continua oficialmente em aberto enquanto matemáticos avaliam a nova prova e as questões de autoria e crédito que a cercam.
Leia também: Shiba Inu Fixes Shibarium's Broken Wallet Link, But SHIB Slides 6% In A Week
