OpenAI diz que seu modelo interno resolveu mais de 100 problemas matemáticos após apenas um mês de treinamento
decoder ·
A OpenAI anunciou que seu novo modelo interno resolveu mais de 100 problemas matemáticos de longa data, incluindo a conjectura de Hodge e um segundo Prêmio do Milênio, após apenas um mês de treinamento. Essa rápida conquista gerou debate na comunidade científica, especialmente sobre se as soluções geradas por IA comprometem a compreensão conceitual central para a matemática. Em resposta às críticas de matemáticos, a OpenAI estabeleceu um grupo consultivo independente no Institute for Advanced Study para orientar como os resultados serão compartilhados com pesquisadores e o público. No entanto, a empresa afirmou explicitamente que este grupo não terá autoridade sobre o ritmo de seus avanços em pesquisa interna. O Fields Medalist Timothy Gowers integrou o conselho consultivo, mas recusou-se a assinar uma carta aberta criticando o impacto da IA na área. Gowers argumentou que, embora a resolução de problemas seja valiosa, o risco principal reside no possível colapso das estruturas sociais que sustentam os matemáticos humanos e suas carreiras. Ele expressou preocupação de que formuladores de políticas possam considerar os especialistas humanos redundantes se a IA puder resolver teoremas com eficiência. O anúncio destaca a tensão entre as capacidades computacionais da IA e os objetivos tradicionais da investigação matemática.
decoder