OpenAI foi declarada vencedora do primeiro prémio de matemática de US$ 1 milhão criado por Justin Sun, graças à sua prova da equação de Navier-Stokes. No entanto, o valor continua por reclamar, depois de a empresa também ter optado por não concorrer ao prémio do Clay Mathematics Institute.
Pontos-chave
- O repositório do prémio de Sun marca a entrada da OpenAI sobre Navier-Stokes como resolvida, elegível para levantamento do valor e ainda não reclamada.
- Segundo a OpenAI, cerca de 10.000 agentes de IA trabalharam cerca de 88 horas, antes de o modelo GPT-6 Astra dedicar mais 17 horas à formalização e verificação da prova.
- O Clay Mathematics Institute continua a listar o problema de Navier-Stokes como ativo enquanto analisa o resultado anunciado.
O prémio de Justin Sun
O novo prémio de Sun atribuiu à equipa de investigação da OpenAI o seu primeiro galardão máximo de US$ 1 milhão pela solução do problema tridimensional de Navier-Stokes. O registo público no GitHub assinala o problema como resolvido e elegível para levantamento do prémio. Até agora, o dinheiro não foi reclamado.
A OpenAI divulgou o resultado a 8 de setembro, afirmando que aproximadamente 10.000 agentes trabalharam cerca de 88 horas, antes de o GPT-6 Astra dedicar outras 17 horas a formalizar e verificar a prova em Lean. A empresa acrescentou que não tenciona concorrer ao 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, a 11 de setembro, que o anúncio parece resolver a questão, mas que o regulamento exige uma avaliação cuidadosa antes de qualquer decisão sobre o prémio. Esse processo ainda não foi concluído. O prémio separado de Sun baseia-se em provas verificáveis por máquina e atribuiu o galardão à equipa da OpenAI sem aguardar o mesmo processo de revisão tradicional.
Leia também: Mineração de Bitcoin enfrenta défice de 50% no hashrate enquanto IA absorve capacidade
As regras de Justin Sun
Sun afirma que o seu prémio foi concebido para recompensar resultados independentemente de terem sido produzidos por pessoas ou por sistemas de IA, colocando a verificação formal no centro do processo de atribuição. “Só me interessa o resultado, não se o contributo é humano ou de uma máquina”, disse Sun. O seu repositório alerta ainda que o anúncio da OpenAI não equivale a revisão por pares e que a aceitação ampla da prova pela comunidade matemática ainda não foi confirmada.
Persistem questões de atribuição porque Tristan Buckmaster, professor na Universidade de Nova Iorque, afirmou que trabalho inédito realizado com um colega foi armazenado num produto da OpenAI, embora diga não saber se o modelo o utilizou. “Não estou a acusar ninguém de nada”, disse Buckmaster ao The Guardian. A OpenAI declarou que a sua investigação concluiu que os pedidos feitos por Buckmaster ao Codex não poderiam ter influenciado o sistema que gerou a prova.
A polémica surgiu após a afirmação da OpenAI, em 8 de setembro, de que o seu sistema interno tinha resolvido o clássico problema de existência e suavidade das equações de Navier-Stokes, ao demonstrar singularidade em tempo finito sob as condições oficiais.
O Clay criou, em 2000, os Millennium Prize Problems, cada um com um prémio de US$ 1 milhão. Mais de duas décadas depois, o problema de Navier-Stokes permanece formalmente ativo, enquanto matemáticos analisam a nova prova e discutem a atribuição de crédito.
Leia a seguir: Shiba Inu corrige ligação quebrada da carteira de Shibarium, mas SHIB cai 6% em uma semana
