A solução da OpenAI para o problema de Navier-Stokes não será validada pelo Instituto Clay até que tenham se passado pelo menos dois anos
MADRID, 11 set. (EUROPA PRESS) -
O Instituto Clay prestará atenção especial ao fato de a solução premiada de um dos Problemas do Milênio depender “de maneira crucial” de ideias ou descobertas publicadas antes da solução em questão; e poderá, a seu critério, reconhecer esse trabalho anterior na menção do prêmio e/ou recomendar a inclusão do autor do trabalho anterior no prêmio.
Além disso, as regras que regem os prêmios pela resolução dos Problemas do Milênio, divulgadas pela Europa Press, estabelecem que a solução da OpenAI para o problema matemático de Navier-Stokes, um dos sete Problemas do Milênio, não será validada pelo Instituto Clay de Matemática (CMI) até que tenham se passado pelo menos dois anos.
A solução proposta deve ser publicada em uma revista qualificada; devem ter decorrido pelo menos dois anos desde sua publicação em uma revista qualificada; deve alcançar aceitação geral na comunidade matemática internacional; e deve responder satisfatoriamente às perguntas levantadas na descrição oficial do problema.
A revista especializada deve ser uma publicação matemática com revisão por pares de prestígio mundial; ou uma publicação que atenda a um conjunto mais flexível de condições aprovadas pelo Conselho Administrativo, mediante recomendação do Conselho Consultivo Científico.
Para que o Instituto Clay de Matemática considere a proposta apta, ela deverá contar com um comitê editorial cujos membros estejam identificados pelo nome e disponíveis para contato; um editor ou membro do comitê editorial cujo conhecimento profissional da comunidade matemática global lhe permita identificar um revisor adequado para avaliar o trabalho enviado; um processo publicado de revisão por pares que, na opinião do CMI, garanta que o trabalho enviado seja revisado e verificado por especialistas adequados na área do problema; ou a inclusão na lista de publicações mantida pelo MatchSciNEt.
As bases dos prêmios também estabelecem que a decisão final sobre se uma publicação se qualifica como meio qualificado caberá exclusivamente ao Instituto Clay de Matemática, a seu livre critério.
Após pelo menos dois anos, o Instituto Clay determinará se a proposta alcançou aceitação geral na comunidade matemática global e decidirá, a seu exclusivo critério, se a solução proposta merece uma análise detalhada.
Caso decida que uma análise detalhada não se justifica, poderá determinar que nenhum prêmio seja concedido à solução proposta, e nenhuma outra medida será tomada.
Por outro lado, caso determine que uma análise detalhada se justifica, convocará um comitê consultivo especial para examinar a solução proposta, composto por pelo menos três membros, dos quais pelo menos dois devem ser especialistas na área do problema, selecionados pelo CMI a seu exclusivo critério.
O comitê consultivo especial apresentará um relatório ao CMI dentro de um prazo razoável. Com base nesse relatório e, se for o caso, em pesquisas posteriores, o CMI determinará se um Prêmio deve ser concedido.
No que diz respeito à concessão do prêmio, o Instituto Clay poderá, a seu critério, determinar que nenhum prêmio seja concedido; que um prêmio seja concedido a uma única pessoa; que um prêmio seja concedido e dividido entre vários solucionadores do problema ou seus herdeiros; ou que um contraexemplo que resulte na resolução do problema mereça um reconhecimento menor (não um prêmio principal) concedido ao autor.
Caso o órgão não consiga chegar a uma decisão sobre a correção de uma solução para um problema, sua atribuição ou a adequação de um prêmio, ele poderá concluir que nenhum prêmio seja concedido para esse problema em particular.
“SÃO TEMPOS EMOCIONANTES PARA A MATEMÁTICA”
Após a publicação da OpenAI, na qual afirma ter resolvido o problema de Navier-Stokes, o presidente do Instituto Clay de Matemática, Martín Bridson, declarou à Europa Press que “são tempos emocionantes para a matemática, com muito a se considerar”.
O Instituto compartilha da “emoção” da comunidade matemática mundial ao contemplar o anúncio de que o problema de Navier-Stokes “aparentemente foi resolvido”. “Esperamos ver o surgimento de ondas de novos entendimentos à medida que as inovações por trás desse trabalho forem analisadas e questionadas”, ressalta.
O Instituto Clay de Matemática relembra que se dedica a promover “a beleza, o poder e a universalidade do pensamento matemático”.
“A organização dos Problemas do Prêmio do Milênio é uma das formas mais importantes pelas quais ele busca esse objetivo. O processo decorre com calma, mas manteremos vocês informados”, ressalta o CMI sobre a validação da solução publicada pela OpenAI.
DOIS MATEMÁTICOS ESPANHOLS, FUNDAMENTAIS NA RESOLUÇÃO DO PROBLEMA
Os matemáticos Luis Martínez Zoroa, professor da CUNEF Universidad, e Diego Córdoba (ICMAT-CSIC), foram uma das bases intelectuais que permitiram avançar na resolução do problema de Navier-Stokes, um dos grandes desafios matemáticos do século XXI que a empresa OpenAI afirma ter resolvido graças à inteligência artificial.
Embora Martínez Zoroa tenha evitado falar em plágio por parte da OpenAI em relação ao seu trabalho, esta semana surgiu uma polêmica devido à falta de reconhecimento por parte da empresa em relação ao trabalho prévio de alguns matemáticos que possibilitou que a IA resolvesse o problema.
O matemático Tristan Buckmaster denunciou falta de transparência e pressões por parte da OpenAI depois que a empresa anunciou que seus modelos haviam resolvido um dos Problemas do Prêmio do Milênio, logo após o pesquisador de Nova York ter compartilhado com eles as conquistas de seu trabalho, para o qual utilizou modelos de inteligência artificial da empresa.
Tristan Buckmaster (Courant Institute da Universidade de Nova York, Estados Unidos) e o pesquisador da Anthropic, Levent Alpöge, trabalharam sem verba institucional durante um ano para resolver um problema em aberto há décadas na mecânica dos fluidos, que faz parte de um dos sete problemas do Prêmio do Milênio. Trata-se de um conjunto de questões que representam algumas das indagações mais profundas na fronteira da matemática.
Especificamente, o problema abordado está relacionado à equação de Navier-Stokes e à questão de saber se o movimento tridimensional e uniforme de um fluido pode ser interrompido. Graças à ajuda de modelos de IA como o Claude, da Anthropic, e o Codex, da OpenAI, os dois pesquisadores conseguiram demonstrar um resultado que a comunidade científica vinha buscando há anos, avançando na resolução do problema de Navier-Stokes.
Além de utilizarem modelos poderosos de IA, a ideia inicial para a pesquisa de Buckmaster e Alpöge baseou-se em estudos anteriores dos matemáticos espanhóis Diego Córdoba e Luis Martínez-Zoroa, que há anos exploravam essa linha de pesquisa.
No entanto, essa descoberta veio acompanhada de uma polêmica, pois nesta mesma terça-feira a OpenAI também anunciou ter encontrado uma solução com seus modelos de IA para esse mesmo problema matemático, indo além das conquistas alcançadas por Buckmaster e seu colega Alpöge, e sem consenso sobre a quem cabe o mérito.
A resposta da OpenAI, no anúncio feito há alguns dias sobre Navier-Stokes, afirma que não reivindicará o Prêmio do Milênio e reconhece a prioridade do trabalho de Buckmaster e Alpöge, embora afirme que não teve acesso a dados concretos dos usuários para alcançar seu resultado. No entanto, ressalta que não pode descartar que “dados anônimos derivados” desse uso tenham ajudado a treinar seus modelos. Além disso, em seu comunicado, não menciona os matemáticos espanhóis e nega a versão de Buckmaster sobre as pressões.
Esta notícia foi traduzida por um tradutor automático