¡Nuestro artículo de AlphaProof está en el número de esta semana de @Nature! En 2024, los agentes de demostración de @GoogleDeepMind, AlphaProof & AlphaGeometry, lograron juntos un salto considerable en IA al alcanzar el estándar de medalla de plata en la resolución de problemas de la IMO. El artículo de Nature describe las innovaciones técnicas requeridas—en particular, el bucle RL que conecta el lenguaje natural y el rigor simbólico—que hicieron posible AlphaProof.