AlphaProof y AlphaGeometry son pasos hacia la construcción de sistemas que puedan razonar, lo que podría desbloquear nuevas e interesantes capacidades.
