Presentamos AlphaProof, un nuevo sistema basado en el refuerzo-aprendizaje para el razonamiento matemático formal, y AlphaGeometry 2, una versión mejorada de nuestro sistema de resolución de geometría. Juntos, estos sistemas resolvieron cuatro de los seis problemas de la Olimpiada Matemática Internacional (IMO) de este año, alcanzando por primera vez el mismo nivel que un medallista de plata en la competición.
|
etiquetas: ia , matemáticas , razonamiento , pruebas , alphaproof , alphageometry 
Pero para temas de "humanidades", como por ejemplo filosofía, historia, política, analisis literarios, etc, por lo que voy leyendo, parece ser que suelta unas chorradas de risa.