A afirmação da OpenAI de que um enxame de agentes de IA conseguiu solucionar o problema de Navier-Stokes colocou a comunidade matemática em alerta. De acordo com o Clay Mathematics Institute, o anúncio desencadeou um processo formal de verificação que se prolongará por vários anos.
A organização responsável pelos Problemas do Prémio do Milénio anunciou na sexta-feira que o desafio relacionado com a existência e suavidade das soluções de Navier-Stokes pode ter chegado ao fim, 26 anos após a sua apresentação oficial em Paris, no ano 2000. O instituto esclareceu que a avaliação do resultado será "deliberadamente sem pressa" e que partilhará novas informações à medida que a análise dos peritos avance.
Polémica sobre os verdadeiros autores da descoberta
Apesar do entusiasmo com o potencial avanço científico, existe alguma confusão sobre a quem deve ser atribuído o crédito exato da resolução. Dois outros matemáticos já se encontravam a investigar o problema, que procura explicar as equações responsáveis por ditar o movimento dos fluidos num espaço euclidiano 3D. Como estes especialistas estavam a utilizar o sistema Codex para apoiar o seu trabalho, levanta-se a hipótese de os agentes da empresa tecnológica terem sido indiretamente assistidos através do acesso a dados privados.
Face à falta de validação oficial e às dúvidas levantadas em torno da autoria, o instituto optou por manter o silêncio quanto à identidade exata dos investigadores envolvidos e aos métodos detalhados utilizados para encontrar a prova matemática. A verdade em torno da descoberta apenas será clarificada após a longa auditoria conduzida pela comissão de especialistas.
O legado dos Problemas do Milénio
O desenvolvimento rápido de áreas associadas à tecnologia autónoma aumentou a expectativa de que este enigma pudesse finalmente ser resolvido. Dos sete problemas matemáticos originais lançados no virar do milénio, apenas a Conjetura de Poincaré foi efetivamente decifrada, num feito que remonta a 2002.
A lista de enigmas por resolver mantém agora a Conjetura de Birch e Swinnerton-Dyer, a Conjetura de Hodge, o problema P versus NP, a Hipótese de Riemann e a existência de Yang-Mills e a falha de massa. A confirmação da solução de Navier-Stokes marcaria o segundo grande marco nesta lista restrita de desafios globais.
Nenhum comentário
Seja o primeiro!