OpenAI aparece como vencedora do primeiro prêmio de US$ 1 milhão em matemática criado por Justin Sun pela sua prova de Navier–Stokes, mas o valor continua sem ser reivindicado, depois de a empresa também ter decidido não concorrer ao prêmio da Clay.
Pontos-chave:
- O repositório do prêmio de Sun marca a entrada da OpenAI sobre Navier–Stokes como resolvida, apta a receber o prêmio e ainda não reivindicada.
- A OpenAI afirmou que 10.000 agentes de IA trabalharam cerca de 88 horas antes de o modelo GPT-6 Astra gastar outras 17 horas formalizando e checando a prova.
- O Clay Mathematics Institute ainda lista o problema de Navier–Stokes como ativo enquanto revisa o resultado anunciado.
O prêmio de Justin Sun
O novo prêmio de Sun conferiu à equipe de pesquisa da OpenAI o primeiro prêmio máximo 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 para saque. O dinheiro, porém, não foi pedido.
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 dedicar mais 17 horas à formalização e verificação da prova no sistema Lean. A empresa afirmou que não pretende pleitear o prêmio de US$ 1 milhão do programa Millennium, oferecido para esse problema pelo Clay Mathematics Institute.
O instituto Clay ainda trata 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 criteriosa antes de qualquer decisão sobre o 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 rito tradicional de revisão.
Leia também: Mineração de Bitcoin enfrenta gap de 50% no hashrate enquanto IA absorve capacidade
As regras de Justin Sun
Sun diz que seu prêmio foi concebido para recompensar 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 concessão. “Só me importo com o resultado, não com o fato de o contribuidor ser humano ou máquina”, afirmou. O repositório também alerta 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 da Universidade de Nova York, declarou que um trabalho inédito, desenvolvido com um colega, havia sido armazenado em um produto da OpenAI, embora tenha dito não saber se o modelo utilizou esse material. “Não estou acusando ninguém de nada”, disse Buckmaster ao The Guardian. A OpenAI afirmou que sua investigação concluiu que os comandos usados no Codex por ele não poderiam ter influenciado o sistema que produziu a prova.
A controvérsia surgiu após a declaração de 8 de setembro da OpenAI de que seu sistema interno havia resolvido o clássico problema de existência e suavidade das equações de Navier–Stokes ao demonstrar uma singularidade em tempo finito sob as condições oficiais do enunciado.
O instituto Clay lançou os Millennium Prize Problems em 2000, oferecendo US$ 1 milhão para cada um. Mais de duas décadas depois, o problema de Navier–Stokes continua formalmente em aberto enquanto matemáticos avaliam a nova prova e as disputas sobre autoria e crédito.
Leia a seguir: Shiba Inu corrige link quebrado da carteira do Shibarium, mas SHIB recua 6% na semana
