Los modelos de inteligencia artificial no logran superar a los matemáticos en pruebas de investigación complejas

Como parte del proyecto First Proof, la inteligencia artificial se sometió a una de las pruebas matemáticas más desafiantes hasta la fecha, en la que se pidió a cuatro sistemas de IA que resolvieran diez problemas de investigación complejos.