La inteligencia artificial ante uno de los grandes problemas de la matemática

Physical Superintelligence (PSI) anunció el 7 de noviembre de 2026 que su sistema interno de investigación encontró una prueba para la conjetura de Aaronson-Ambainis, un problema abierto desde 2008. Según la compañía, la demostración se completó en el tercer día de trabajo del sistema. Para lograrlo, utilizó instancias de un modelo de inteligencia artificial desarrollado por Anthropic que todavía no se ha presentado al público. El resultado pasó también por Lean, un programa que verifica demostraciones matemáticas paso a paso. La noticia destaca que, por primera vez, un sistema basado en IA participa de manera central en la resolución de una conjetura relevante para la teoría de la computación cuántica.