**A OpenAI (OpenAI)** foi oficialmente registrada como vencedora do primeiro prêmio de US$ 1 milhão da premiação matemática de **Justin Sun** pelo seu solução das equações de Navier-Stokes para, porém, a empresa não ter solicitado o prêmio, ele ainda não foi pago. A OpenAI também havia anunciado que não se inscreveria simultaneamente para o Prêmio Milênio do Instituto de Matemática Clay.
Conteúdo essencial
O repositório do prêmio de Lin marca a solução de Navier-Stokes da OpenAI como um status de “resolvido, disponível para retirada e não retirado”.
De acordo com a OpenAI, cerca de 10.000 agentes de IA exploraram o problema por aproximadamente 88 horas, e depois o GPT-6 Astra formalizou e verificou a prova por mais 17 horas.
**O Clay Mathematics Institute** ainda classifica o problema como “em andamento” e está conduzindo o processo formal de avaliação.
O “Sun de Justin” na OpenAI
O prêmio recém-criado por Sun nomeou a equipe de pesquisa da OpenAI como a primeira ganhadora do prêmio máximo de US$ 1 milhão por apresentar uma solução para o problema de Navier-Stokes em três dimensões. O registro do GitHub divulgado indica que o problema está marcado como “resolvido” e que há elegibilidade para reivindicar o prêmio. No entanto, até agora ninguém reivindicou o prêmio.
A OpenAI, ao divulgar os resultados em 8 de setembro, explicou que cerca de 10.000 agentes realizaram uma busca por cerca de 88 horas e, em seguida, o GPT-6 Astra formalizou e verificou a prova no sistema de provas formais Lean ao longo de mais 17 horas. A empresa também afirmou que não pretende solicitar o prêmio de US$ 1 milhão do “Prêmio do Milênio (Millennium Prize)” que o Clay Mathematics Institute colocou para esse problema.
O Clay mantém o problema de Navier-Stokes ainda como “ativo”. Em um comunicado em 11 de setembro, o instituto avaliou que “esta divulgação parece indicar que o problema foi efetivamente resolvido”, mas ressaltou que a concessão do prêmio exige uma verificação rigorosa e de longo prazo. Esse processo de avaliação ainda não foi concluído. Um prêmio separado de Xion exigiria provas que possam ser verificadas por máquinas e já havia indicado a equipe da OpenAI como vencedora antes de terminar o tradicional processo de revisão por pares.
Leia também: Mineração de Bitcoin, pressionada por IA, enfrenta diferença de 50% na taxa de hash
As regras do “Sun de Justin”
Sun enfatizou que seu prêmio “visa recompensar a própria realização, independentemente de quem fez o resultado — humano ou sistema de IA”. Ele disse: “Não me importo se o contribuinte é humano ou máquina. Eu olho apenas para o resultado”. No repositório do prêmio, há também um aviso de que a divulgação da OpenAI não passou por revisão por pares e de que não foi confirmada uma aceitação ampla por toda a comunidade matemática.
Também permanece a questão da atribuição de créditos. O professor da NYU Tristan Buckmaster afirmou que parte de uma pesquisa não divulgada que ele vinha conduzindo com colegas estava armazenada no produto da OpenAI. Ele acrescentou, porém, que não é possível saber se o conteúdo foi de fato usado no treinamento do modelo. Buckmaster traçou uma linha em entrevista ao **The Guardian**, dizendo que “não é para culpar explicitamente ninguém”. A OpenAI informou que, após uma investigação própria, concluiu que não havia caminhos pelos quais o prompt do Codex pudesse afetar o sistema que gerou esta prova.
A controvérsia foi desencadeada quando a OpenAI, em 8 de setembro, alegou que havia resolvido um problema antigo — a existência de soluções para as equações de Navier-Stokes e a questão da suavidade — ao apresentar um caso em que o sistema interno da empresa exibe uma singularidade de tempo finito (finite-time singularity) sob condições oficiais.
Tarefas restantes: verificação e atribuição de créditos
O Clay Mathematics Institute definiu os 7 Problemas do Milênio em julho de 2000 e colocou US$ 1 milhão de prêmio em cada um. Mais de 20 anos depois, o problema de Navier-Stokes ainda permanece oficialmente como “não resolvido”. Matemáticos estão avaliando, em paralelo, tanto a nova prova apresentada pela OpenAI quanto o uso de dados na pesquisa com auxílio de IA e a questão de atribuição de créditos.
Próxima matéria: Shiba Inu Corrige Link Quebrado da Carteira do Shibarium, Mas SHIB Cai 6% Em Uma Semana