OpenAI apresenta soluções para 377 problemas matemáticos e gera debate entre especialistas
Empresa divulgou resultados em áreas como álgebra e topologia, levantando dúvidas sobre o real raciocínio criativo dos modelos de IA.
Por Redação Diário Local
A OpenAI apresentou, nesta terça-feira (6), centenas de novos resultados matemáticos que abrangem diversas áreas, incluindo álgebra, lógica matemática, topologia e ciência da computação teórica. Ao todo, foram divulgadas 377 soluções produzidas por um modelo de inteligência artificial avançado que ainda não está disponível para o público.
A divulgação ocorre após a empresa ter anunciado, no mês passado, a resolução das equações de Navier-Stokes, que faz parte dos Problemas do Milênio — desafios matemáticos de altíssima complexidade que oferecem recompensa de US$ 1 milhão por solução.
O debate sobre o raciocínio da IA
A velocidade dos avanços gerou dúvidas entre os cientistas sobre a natureza das soluções. O debate central é se os sistemas da OpenAI estão desenvolvendo raciocínio criativo real ou se apenas completam etapas de demonstrações matemáticas 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 levá-lo à conclusão.
Além disso, o volume de resultados divulgados simultaneamente levanta preocupações sobre o tempo necessário para uma análise profunda de cada trabalho pela comunidade acadêmica.
Orientações e verificação técnica
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 os 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 desses resultados é 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.