Google DeepMind marcó un nuevo hito en el desarrollo de la inteligencia artificial con la presentación de AlphaProof , un sistema capaz de razonar matemáticamente y alcanzar un rendimiento comparable al de los mejores estudiantes del mundo.

De acuerdo con un artículo publicado en la revista Nature , esta IA habría obtenido una medalla de plata en la Olimpiada Internacional de Matemáticas (IMO) 2024 si hubiera participado oficialmente, al resolver tres de los cinco ejercicios propuestos en la competencia.

El logro representa un avance sin precedentes, pues por primera vez, una máquina ha demostrado la capacidad de realizar pruebas matemáticas formales y verificables , superando la frontera que hasta ahora separaba el pensamiento lógico humano del cálculo computacional. La IMO e

See Full Page