Una inteligencia artificial de Anthropic habría resuelto un problema cuántico abierto desde 2008

Un sistema de investigación basado en inteligencia artificial habría logrado demostrar una conjetura matemática que permanecía abierta desde 2008 y que está relacionada con los límites de la computación cuántica. El anuncio fue realizado por Physical Superintelligence (PSI), una startup que aseguró haber utilizado un modelo no público de Anthropic para desarrollar la demostración.

El problema se conoce como conjetura de Aaronson-Ambainis y busca establecer bajo qué condiciones las computadoras cuánticas pueden conseguir ventajas exponenciales frente a las computadoras tradicionales. Según PSI, su sistema encontró una demostración durante el tercer día de trabajo y el resultado fue aceptado por Lean, una herramienta informática especializada en comprobar demostraciones matemáticas.

📲 Sumate al canal de WhatsApp de Opinando San Nicolás para recibir todas las noticias de la ciudad y la región, además de las ofertas de trabajo.

👉 Ingresar al canal de WhatsApp

Qué problema matemático logró abordar la IA

La conjetura fue formulada por los investigadores Scott Aaronson y Andris Ambainis y está vinculada con una pregunta central de la computación cuántica: si estas máquinas pueden obtener ventajas exponenciales frente a las tradicionales incluso cuando trabajan con datos que no presentan patrones especiales.

Las computadoras cuánticas pueden ofrecer grandes mejoras en determinados problemas. Uno de los ejemplos conocidos es el algoritmo de Shor, que permite factorizar números grandes aprovechando estructuras matemáticas que pueden resultar difíciles de detectar mediante métodos clásicos.

La investigación de Aaronson y Ambainis apuntaba a determinar si esas ventajas extraordinarias también podían aparecer cuando los datos de entrada son aleatorios, sin una estructura particular que una computadora cuántica pueda aprovechar.

La demostración anunciada por PSI sostiene que, para una clase determinada de problemas y bajo ciertas condiciones matemáticas, las computadoras clásicas pueden aproximar el comportamiento de las cuánticas sin necesitar una cantidad exponencial de consultas a los datos.

Esto no significa que las computadoras cuánticas hayan perdido su utilidad. El resultado se refiere a un escenario matemático específico y no descarta sus ventajas en problemas estructurados u otras aplicaciones.

Cómo trabajó el sistema de inteligencia artificial

Según la explicación publicada por PSI, la investigación fue desarrollada con un sistema propio que funcionó sobre la infraestructura de la compañía y utilizó instancias de un modelo de Anthropic que todavía no fue presentado públicamente.

La empresa señaló que la demostración completa estuvo disponible durante el tercer día de ejecución. Posteriormente, el sistema trabajó sobre problemas relacionados y produjo dos mejoras adicionales del resultado.

Uno de los elementos centrales fue la utilización de Lean, un asistente de demostración matemática que permite verificar formalmente cada paso de un razonamiento.

A diferencia de una respuesta generada por un chatbot convencional, una demostración formal debe cumplir una estructura matemática precisa para que el verificador pueda aceptarla. En este caso, el repositorio público de PSI contiene el trabajo, la formalización en Lean 4 y los resultados de las comprobaciones informáticas.

La empresa identificó a David Turturean, integrante de su equipo técnico, como responsable del desarrollo del sistema de investigación y de la revisión del trabajo presentado.

Qué falta para validar el descubrimiento

Aunque la comprobación informática representa un elemento relevante, todavía hay una diferencia entre que un verificador acepte una demostración formal y que toda la comunidad científica haya validado sus alcances.

La propia documentación del proyecto permite consultar el artículo matemático, el código y las declaraciones formalizadas. Sin embargo, la revisión académica independiente y la evaluación de la correspondencia entre la formulación original de la conjetura y la prueba formal siguen siendo pasos importantes.

Investigadores de la Universidad de Stanford que habían trabajado sobre un caso particular del problema comenzaron a examinar la demostración y, según informó PSI, enviaron comentarios y preparan una exposición más breve para especialistas.

Un análisis independiente publicado por State of Proof también advirtió que su examen del resultado todavía no había comenzado. Entre los controles pendientes señaló la necesidad de comparar la formulación matemática original con la versión formalizada y reproducir las verificaciones en un entorno independiente.

Por lo tanto, el anuncio constituye un avance relevante en la investigación asistida por inteligencia artificial, pero sus implicancias deben interpretarse con cautela hasta que avance la revisión externa.

Un nuevo paso en el uso de IA para la investigación científica

El caso se suma a una serie de experiencias en las que los modelos de inteligencia artificial participan en tareas de investigación matemática y científica que antes demandaban largos períodos de trabajo especializado.

La novedad no reside solamente en la capacidad de generar cálculos o responder preguntas, sino en la posibilidad de colaborar en la construcción de demostraciones formales que pueden ser sometidas a verificaciones automatizadas.

Si el resultado supera las revisiones independientes, podría convertirse en un antecedente importante sobre el papel que pueden desempeñar estos sistemas en la investigación matemática y en el estudio de los límites de la computación cuántica.

Lectura rápida

¿Qué problema habría resuelto la inteligencia artificial?

La conjetura de Aaronson-Ambainis, una cuestión matemática abierta desde 2008 relacionada con las ventajas de las computadoras cuánticas.

¿Qué empresa anunció el resultado?

Physical Superintelligence (PSI), una startup dedicada a la investigación científica mediante inteligencia artificial.

¿Qué modelo utilizó?

Un modelo no publicado de Anthropic. La empresa no reveló públicamente cuál fue su versión.

¿Cómo se verificó la demostración?

PSI informó que la prueba fue aceptada por Lean, un asistente informático que comprueba formalmente demostraciones matemáticas.

¿Esto significa que las computadoras cuánticas ya no tienen ventajas?

No. El resultado se refiere a una clase específica de problemas y no elimina las ventajas cuánticas en otras aplicaciones.

¿La comunidad científica ya validó el descubrimiento?

Todavía no existe una revisión académica independiente completa. Investigadores comenzaron a examinar el trabajo y hay verificaciones externas pendientes.

LEER: Don Osvaldo lanzó “La Indiferencia”, el primer adelanto de su próximo disco