Modelos de inteligência artificial não conseguem superar os matemáticos em testes de pesquisa complexos

Como parte do projeto First Proof, a inteligência artificial foi submetida a um dos testes matemáticos mais desafiantes até à data, com quatro sistemas de IA solicitados a resolver dez problemas de investigação complexos.