OpenAI lançou achados sobre 377 problemas matemáticos que abrangem álgebra, teoria dos números, ciência da computação teórica, lógica matemática e topologia, após sua afirmação anterior de resolver a equação de Navier-Stokes, um Problema do Milênio com um prêmio de 1 milhão de dólares. Os resultados usaram um modelo de IA avançado não lançado e foram revisados usando o sistema de verificação Lean, com tempo médio de cálculo de cerca de três horas por solução. OpenAI disse que incorporou feedback de um conselho consultivo independente sediado no Institute for Advanced Study em Princeton, N.
J., que inclui o matemático Harvard Melanie Wood. O conselho instou à transparência, chamando o lançamento de prompts e cadeias de pensamento de IA, e criticou empresas de IA por testar modelos proprietários em problemas não resolvidos. Apesar disso, OpenAI continua testes internos, com a pesquisadora responsável Dan Roberts afirmando que ajuda a construir melhores ferramentas.
O matemático da NYU, Tristan Buckmaster, avisou que a IA pode estar completando provas usando o trabalho anterior de matemáticos, levantando preocupações sobre crédito e originalidade na descoberta assistida por IA.
Fonte: New York Times Top Stories · Resumido por HeadlinesBriefing