Cientistas descobrem que a IA falhou em construir provas matemáticas nos problemas da Olimpíada USAMO de 2025
Um novo estudo da ETH Zurich e do INSAIT mostrou que os modelos atuais de IA que simulam o raciocínio e resolvem de forma confiável problemas matemáticos padrão são quase incapazes de formular provas completas no nível da Olimpíada de Matemática dos Estados Unidos (USAMO) de 2025. Esses resultados questionam a possibilidade de raciocínio matemático … Ler mais