Una startup afirma que una IA ayudó a demostrar una conjetura cuántica de 2008

La startup Physical Superintelligence (PSI) anunció que un sistema basado en inteligencia artificial produjo una demostración de la conjetura de Aaronson-Ambainis, vinculada con los fundamentos matemáticos de la computación cuántica.

La empresa publicó un artículo y una formalización en Lean 4, un asistente que permite representar y comprobar demostraciones matemáticas. El repositorio abierto contiene código, definiciones y registros de verificaciones efectuadas con varios comprobadores.

PSI presenta cuatro teoremas finales verificados por el sistema. Sin embargo, es importante distinguir sus alcances: tres se plantean sin la hipótesis adicional indicada en el cuarto, mientras que el cuarto demuestra una implicación que depende de un resultado externo, denominado FbsDegreeBound, no formalizado en ese repositorio. Esa condición no constituye una prueba independiente del resultado que se toma como premisa.

La organización sostiene que las comprobaciones registradas no utilizan huecos en las demostraciones ni axiomas nuevos del proyecto. También aclara que las verificaciones técnicas realizadas por sus propios sistemas no sustituyen la evaluación independiente de investigadores externos.

Aún corresponde examinar si las formulaciones matemáticas formalizadas expresan exactamente la conjetura original y revisar la correspondencia entre el artículo y el código.

Así, el hecho comprobable es la publicación de una demostración propuesta y de materiales de verificación. Su aceptación científica definitiva no debe darse por concluida.

Referencias

• Contexto
• Contexto