RespuestasPublicado25 fuentes
Las pruebas de IA que podrían sacudir las matemáticas y la informática aún esperan verificación
El 26 de octubre de 2026, OpenAI anunció tres resultados atribuidos a sus modelos; Anthropic presentó horas después una afirmación paralela sobre la hipótesis ETH. OpenAI publicó manuscritos matemáticos y formalizaciones en Lean, pero mantuvo en reserva los materiales sobre física mientras un grupo externo preparaba...
Publicado porEditado con GPT-6 LunaImágenes generadas con GPT Image 2
Respuesta de investigación
Conclusiones clave
- El 26 de octubre de 2026, OpenAI anunció tres resultados atribuidos a sus modelos; Anthropic presentó horas después una afirmación paralela sobre la hipótesis ETH.
- OpenAI publicó manuscritos matemáticos y formalizaciones en Lean, pero mantuvo en reserva los materiales sobre física mientras un grupo externo preparaba su análisis.
- Ninguna de las afirmaciones se había confirmado de forma independiente en los reportes disponibles.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI and Anthropic claim their internal AI models achieved on October 26, 2026, and how do these unreviewed claims, their signifi. Article summary: On October 26, 2026, OpenAI claimed that its internal models had produced breakthroughs in harmonic analysis, computational complexity, and quantum field theory; Anthropic announced a competing claimed refutation of the . Topic tags: general, general web. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts with fake numbers, clic
El 26 de octubre de 2026, OpenAI afirmó que sus modelos internos habían obtenido resultados en análisis armónico, complejidad computacional y teoría cuántica de campos. Horas después, Anthropic anunció una afirmación similar sobre la hipótesis del tiempo exponencial (ETH, por sus siglas en inglés). La noticia llamó la atención porque, de confirmarse, los resultados tendrían repercusiones más allá de la inteligencia artificial. Pero los reportes disponibles indicaban que todavía no habían sido verificados de manera independiente. 2
3
7
Qué afirmó OpenAI
Una prueba sobre el suavizado local. El repositorio público de OpenAI incluye el manuscrito Local smoothing for the Euclidean wave equation y una formalización en Lean, un asistente de pruebas que permite expresar y comprobar argumentos matemáticos formales. Según la descripción del repositorio, la prueba establece la conjetura de suavizado local de Sogge para ondas en todas las dimensiones espaciales iguales o mayores que dos. También implicaría las conjeturas maximal y de dimensión de Kakeya, además de estimaciones de restricción esférica de Stein dentro del rango interior de la conjetura. 17 Otro reporte sitúa la formulación de la conjetura de Sogge en 1991.
6 El alcance descrito no equivale a decir que se haya resuelto cualquier versión de la conjetura de restricción de Stein.
Una refutación de ETH. OpenAI afirmó que su modelo refutó ETH, una conjetura sobre la dificultad computacional de los problemas de satisfacibilidad de fórmulas booleanas. La empresa señaló que esta hipótesis se usa como base de numerosos resultados condicionales en informática teórica. 13 Según los reportes, el modelo obtuvo el resultado el 16 de octubre y la prueba se formalizó en Lean al día siguiente.
32 El repositorio público de OpenAI incluye un manuscrito titulado The Exponential Time Hypothesis is False.
17
Si la refutación fuera correcta, podría cambiar el estatus de resultados que dependen de ETH. Pero un algoritmo subexponencial no es automáticamente polinómico: por ejemplo, 2^√n crece más despacio que una función exponencial en n, pero más rápido que cualquier polinomio fijo. Por eso, incluso un algoritmo válido de tiempo 2^o(n) para 3-SAT refutaría ETH sin demostrar por sí solo que P = NP. Son preguntas relacionadas, pero no equivalentes. 13
33
Un resultado de existencia en física. OpenAI también afirmó haber obtenido una prueba matemáticamente rigurosa de la existencia de ciertas teorías cuánticas de campos con interacciones en cuatro dimensiones, incluida la cromodinámica cuántica (QCD). 1 Los reportes describen la afirmación como un resultado de existencia; no demuestran que se haya resuelto el problema del milenio de Yang–Mills en su totalidad, incluida la cuestión de la brecha de masa.
1
16
La afirmación paralela de Anthropic sobre ETH
Poco después, Anthropic presentó su propia supuesta refutación de ETH. Un reporte identificó el trabajo como A 2^o(n) Time Algorithm for 3-SAT y atribuyó la prueba a Claude. También indicó que el matemático de Anthropic Levent Alpöge dijo que el algoritmo central se había encontrado el 16 de octubre «sin intervención humana» y que, posteriormente, investigadores trabajaron con Claude en la presentación del artículo. 9
33 Esos detalles describen la procedencia que la empresa atribuye al trabajo; no constituyen una verificación independiente de la prueba.
El momento resulta llamativo: según los reportes, ambos laboratorios sitúan sus resultados centrales sobre ETH el 16 de octubre. 9
32 La revisión externa que OpenAI planeaba organizar incluiría a Russell Impagliazzo, Ramamohan Paturi y Ryan Williams, de acuerdo con la información publicada sobre el grupo revisor.
20 Pero la cuestión decisiva no es quién lo anunció primero, sino si especialistas independientes pueden revisar el razonamiento y confirmar qué demuestra. Los reportes disponibles señalaban que las afirmaciones aún no habían completado ese escrutinio.
3
5
33
Publicación, acceso y dudas sobre la transparencia
OpenAI describió los manuscritos generados por IA como «datos de investigación en bruto» que académicos externos ayudarían a convertir en conocimiento científico. 2
11 La empresa publicó en un repositorio público los trabajos sobre suavizado local y ETH, junto con sus formalizaciones en Lean.
17 En cambio, los reportes indicaron que el grupo de física había reservado los materiales producidos por la IA mientras preparaba su propio análisis; David Gross figuraba entre los expertos externos vinculados a ese trabajo.
11
32
También se han planteado dudas sobre la transparencia de publicaciones anteriores de OpenAI. Un reporte resumido por AI Edge Briefing señaló que, de 719 manuscritos publicados, 10 incluían la cadena de razonamiento del modelo, y que faltaban metadatos legibles por máquina para vincular los textos en lenguaje natural con los artefactos formales. 18 Es un antecedente pertinente para evaluar las prácticas de publicación, aunque no demuestra por sí mismo todas las objeciones relacionadas con los anuncios del 26 de octubre.
La distinción clave es entre una afirmación de investigación llamativa y un resultado verificado. OpenAI hizo que dos de sus afirmaciones matemáticas pudieran examinarse mediante manuscritos públicos y artefactos de Lean, mientras que los materiales de física seguían sin publicarse según los reportes sobre la revisión. Anthropic presentó una afirmación paralela sobre ETH y un relato de la participación de su modelo. Hasta que especialistas externos puedan examinar las pruebas y confirmar qué establecen, lo prudente es no tratar los anuncios de ninguno de los dos laboratorios como descubrimientos científicos confirmados. 3
11
17
33
Studio Global AI
Continúe su investigación
Esta página incluye una respuesta respaldada por fuentes que puede continuar dentro de Studio Global.
La gente también pregunta
¿Cuál es la respuesta corta a "Las pruebas de IA que podrían sacudir las matemáticas y la informática aún esperan verificación"?
El 26 de octubre de 2026, OpenAI anunció tres resultados atribuidos a sus modelos; Anthropic presentó horas después una afirmación paralela sobre la hipótesis ETH.
¿Cuáles son los puntos clave a validar primero?
El 26 de octubre de 2026, OpenAI anunció tres resultados atribuidos a sus modelos; Anthropic presentó horas después una afirmación paralela sobre la hipótesis ETH. OpenAI publicó manuscritos matemáticos y formalizaciones en Lean, pero mantuvo en reserva los materiales sobre física mientras un grupo externo preparaba su análisis.
¿Qué debo hacer a continuación en la práctica?
Ninguna de las afirmaciones se había confirmado de forma independiente en los reportes disponibles.