¡Nuestro artículo sobre AlphaProof está en la edición de esta semana de @Nature! En 2024, los agentes de prueba de @GoogleDeepMind, AlphaProof y AlphaGeometry, lograron un avance sustancial en IA al alcanzar el estándar de medalla de plata en la resolución de problemas del IMO. El artículo de Nature describe las innovaciones técnicas necesarias, en particular, el bucle de RL que conecta el lenguaje natural y el rigor simbólico, que hicieron posible AlphaProof.