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.
Para este tipo de temas muy técnicos sí está claro que la IA trabaja bien y vale la pena.
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.
Comentarios
Para este tipo de temas muy técnicos sí está claro que la IA trabaja bien y vale la pena.
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.