OpenAI dice romper la física; nadie lo verificó
Escuchar el artículo · 2:35
Tres supuestos hitos en mates, computación y física llegan sin validación externa: el anuncio va por delante de la prueba.
En este artículo (4)▼
Tres revoluciones científicas en un comunicado de empresa, cero verificaciones independientes: el anuncio va por delante de la prueba.
Lo que OpenAI dice haber logrado
El 26 de octubre OpenAI publicó tres resultados atribuidos a sus modelos: una prueba de la conjetura de suavizado local de Sogge en toda dimensión, que arrastraría los problemas de Kakeya y la restricción de Stein; un algoritmo determinista subexponencial para contar asignaciones en fórmulas booleanas de ancho fijo, que en el caso 3-SAT refutaría la Hipótesis del Tiempo Exponencial; y una prueba de existencia de teorías cuánticas de campos interactivas en cuatro dimensiones, incluida la cromodinámica cuántica. Los dos primeros llegan con formalización en Lean fechada el 17 y 19 de octubre; el tercero, supervisado por el grupo del Nobel David Gross, se anuncia sin materiales porque el propio grupo decidió redactarlo a su manera. Todo llega con precedente: 722 manuscritos matemáticos soltados el 6 de octubre.
Compilado en Lean no significa demostrado
Que una prueba compile en un asistente formal dice que la lógica interna cuadra, no que el resultado convenza a la comunidad ni que las definiciones formalizadas capturen el problema original. En computación hay cientos de cotas condicionales construidas sobre la ETH que quedarían tocadas si cae, y por eso el escrutinio importa más que el anuncio. El grupo externo para la ETH lo lideran Russell Impagliazzo y Ramamohan Paturi, los propios proponentes de la hipótesis, más Ryan Williams del MIT. Ninguno ha dado veredicto todavía. Hasta que hablen, lo único verificado es que OpenAI sabe redactar comunicados.
OpenAI externaliza la credibilidad
El formato es la noticia tanto como el contenido: OpenAI llama pastores a los académicos, les entrega los materiales sin acuerdos de confidencialidad, renuncia al crédito y deja que cada grupo elija cómo publicar. Matemáticas libera el output directamente, computación pasa por el grupo externo con el output público, física queda retenida por decisión del grupo. Presentado como transparencia radical, funciona también como gestión de titulares: el prestigio de Impagliazzo o Gross amortigua el escepticismo mientras el anuncio circula solo. Si los grupos confirman, OpenAI inaugura una vía nueva entre la IA y la ciencia. Si corrigen, el coste reputacional lo pagan los pastores.
La física se publica sin papeles
De los tres anuncios, el más gordo es el único imposible de evaluar: no hay artefactos, ni borrador, ni fecha de publicación, solo la palabra de que un grupo con un Nobel al frente lo está redactando. Pedir fe ciega justo en la afirmación que unificaría el Modelo Estándar invierte el orden de la ciencia: primero el titular, después la prueba, quizá. Hasta que Gross enseñe las cuentas, el mayor descubrimiento de la semana es un anuncio sobre un descubrimiento.
Fuente: openai.com, theverge.com, thenextweb.com
