OpenAI divulga 377 soluções matemáticas feitas por IA e cientistas questionam raciocínio
A OpenAI apresentou nesta terça-feira (6) 377 soluções matemáticas produzidas por um modelo de inteligência artificial avançado que ainda não está disponível ao público. Os resultados abrangem áreas como álgebra, lógica matemática, topologia e ciência da computação teórica.
A divulgação ocorre depois de a empresa ter anunciado, no mês passado, a resolução das equações de Navier-Stokes, que fazem parte dos Problemas do Milênio — desafios matemáticos de altíssima complexidade que oferecem recompensa de US$ 1 milhão por solução.
A velocidade dos avanços gerou dúvidas entre cientistas sobre a natureza das soluções. O debate central é se os sistemas da OpenAI desenvolvem raciocínio criativo real ou se apenas completam etapas de demonstrações iniciadas por pesquisadores humanos.
O matemático Tristan Buckmaster, da Universidade de Nova York, afirmou que ainda não está claro se pesquisadores que usam ferramentas de IA podem estar fornecendo, involuntariamente, as informações necessárias para que o sistema chegue à resposta final. Ele pontuou que pode haver casos em que a tecnologia utiliza o trabalho de terceiros para chegar à conclusão.
O volume de resultados divulgados ao mesmo tempo também levanta preocupações sobre o tempo necessário para que a comunidade acadêmica faça uma análise profunda de cada trabalho.
Para orientar a comunicação desses resultados, a OpenAI colabora com um conselho consultivo de matemáticos sediado no Institute for Advanced Study, em Princeton. O grupo sugere que laboratórios de IA divulguem todos os comandos enviados aos agentes e suas respectivas cadeias de raciocínio.
A matemática Melanie Wood, da Universidade de Harvard e integrante do conselho, afirmou que a publicação é o início de um processo para que o trabalho seja incorporado ao conhecimento matemático humano. Segundo o grupo, o objetivo é criar padrões que permitam a compreensão dos pesquisadores.
Muitas das demonstrações apresentadas foram verificadas por meio da linguagem computacional Lean, utilizada para confirmar a consistência lógica dos argumentos. Para dez das soluções, a OpenAI incluiu resumos detalhando como o modelo de IA alcançou os resultados, que exigiram, em média, três horas de processamento computacional cada.
Principais informações
- A OpenAI divulgou 377 soluções matemáticas geradas por um modelo de IA avançado que ainda não está disponível ao público.
- Os resultados abrangem álgebra, lógica matemática, topologia e ciência da computação teórica.
- A divulgação vem após o anúncio, no mês passado, da resolução das equações de Navier-Stokes, dos Problemas do Milênio.
- Especialistas debatem se a IA tem raciocínio criativo real ou apenas completa etapas de demonstrações iniciadas por humanos.
- Muitas demonstrações foram verificadas pela linguagem Lean, e dez soluções tiveram resumos detalhados, com média de três horas de processamento cada.
