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.