La startup Physical Superintelligence (PSI) afirmó que un sistema suyo, con instancias de un modelo de Anthropic no identificado, produjo una prueba de la conjetura cuántica de Aaronson-Ambainis, abierta desde 2008.
Según PSI, la prueba fue aceptada por el asistente de demostraciones Lean «al tercer día de ejecución». La empresa habla de cuatro teoremas verificados en Lean, con dos implementaciones independientes.
El anuncio se difundió el 6 de noviembre en un hilo de la empresa en X y fue replicado por Infobae y Runtimewire. Ambos dependen de la misma fuente.
El propio repositorio de PSI reconoce límites, según Infobae: una persona debe confirmar que el enunciado en Lean equivale a la conjetura publicada, el artículo no fue verificado por máquina y un teorema depende de un resultado ajeno no formalizado.
No hay revisión por pares, ni comentarios de Anthropic ni de los autores de la conjetura en lo consultado. Las citas de investigadores de Stanford las difunde la propia PSI.
De confirmarse, sería un hito de la IA en matemática vinculada a la computación cuántica. Hoy es una afirmación de la empresa.
Fuente: Infobae, Runtimewire / Redacción TE
