RespuestasPublicado25 fuentes
OpenAI afirma haber resuelto más de 100 problemas matemáticos: qué se ha mostrado y qué falta por verificar
El 21 de septiembre de 2026, OpenAI afirmó que un modelo interno cuyo entrenamiento comenzó el 28 de agosto había resuelto más de 100 problemas matemáticos abiertos de larga data. Para Navier Stokes, OpenAI divulgó una prueba analítica y una formalización en Lean; para el conjunto de más de 100 problemas no publicó...
Publicado porEditado con GPT-5.6 TerraImágenes generadas con GPT Image 2
Respuesta de investigación
Conclusiones clave
- El 21 de septiembre de 2026, OpenAI afirmó que un modelo interno cuyo entrenamiento comenzó el 28 de agosto había resuelto más de 100 problemas matemáticos abiertos de larga data.
- Para Navier Stokes, OpenAI divulgó una prueba analítica y una formalización en Lean; para el conjunto de más de 100 problemas no publicó un inventario verificable, prueba por prueba, con su estado de revisión.
- No hay evidencia pública suficiente para considerar resuelta la conjetura de Hodge.
Prompt de IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What did OpenAI claim on September 21, 2026, about an unnamed internally trained AI model solving more than 100 long-standing open mathemati. Article summary: OpenAI’s September 21 statement was a claim, not a community-accepted mathematical result: it said an unnamed internal model, trained beginning August 28, had resolved more than 100 long-standing open problems across mat. Topic tags: general, news, general web, education, academic. 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, cha
La afirmación de OpenAI del 21 de septiembre es extraordinaria, pero no equivale todavía a un resultado matemático aceptado. La empresa dijo que un modelo interno no identificado, cuyo entrenamiento comenzó el 28 de agosto, había resuelto más de 100 problemas abiertos de larga data en la mayoría de las áreas de las matemáticas. El anuncio coincidió con la creación de un grupo asesor independiente alojado en el Institute for Advanced Study (IAS), en Princeton. 5
15
La distinción central es sencilla: que una empresa afirme haber resuelto un problema no es lo mismo que disponer de una demostración revisada de forma independiente y aceptada por la comunidad matemática. La información pública disponible respalda lo primero; no establece aún lo segundo para el conjunto de más de 100 problemas.
Qué dijo OpenAI que consiguió
El anuncio llegó después de que OpenAI afirmara, el 8 de septiembre, que cerca de 10.000 agentes de IA, apoyados en un modelo interno no publicado, habían hallado en 88 horas una singularidad en tiempo finito para las ecuaciones de Navier-Stokes tridimensionales forzadas. La empresa lo presentó como una solución al problema de existencia y suavidad de Navier-Stokes y dijo haber producido tanto una prueba analítica como una formalización en Lean. 1
13
El 21 de septiembre amplió el alcance: además de Navier-Stokes, sostuvo que el mismo modelo interno había resuelto más de 100 problemas abiertos de larga trayectoria. 5
15
El verbo importa. Que un problema esté «resuelto» es, por ahora, la caracterización de OpenAI; no implica que cada resultado haya sido publicado, examinado por especialistas externos o aceptado por la comunidad matemática.
Qué pruebas se hicieron públicas y cuáles no
En el caso de Navier-Stokes, OpenAI describió una prueba analítica y una formalización en Lean, un asistente para la verificación formal de demostraciones. Una prueba comprobada por Lean es evidencia relevante: permite establecer que un teorema expresado con precisión se sigue de las definiciones, axiomas y bibliotecas formales codificadas. 13
Sin embargo, el registro público sobre la afirmación de «más de 100» es mucho más limitado. El anuncio del 21 de septiembre no incluyó un catálogo público y detallado de los problemas, sus enunciados exactos, las pruebas, su estado de formalización, la procedencia de las ideas o el estado de una revisión independiente. Sin esa información, terceros no pueden auditar la cifra titular problema por problema. 7
11
Tampoco la información disponible establecía que la prueba de Navier-Stokes hubiera completado una revisión humana independiente ni que contara con aceptación general en matemáticas. Esos estándares son distintos de publicar un artefacto de prueba o lograr que un código compile. 1
46
¿Está resuelta la conjetura de Hodge?
No. El material aportado no permite tratar la conjetura de Hodge como un problema resuelto.
La conjetura de Hodge es uno de los Problemas del Milenio del Clay Mathematics Institute, una serie de siete grandes desafíos matemáticos con un premio asignado a cada uno. 37 Algunas informaciones señalaron que OpenAI reconoció avances sustanciales en un segundo problema del Milenio no identificado, pero la empresa no lo identificó públicamente como la conjetura de Hodge ni divulgó una prueba.
14
Un rumor, un informe sobre avances o una declaración de la empresa no sustituyen una demostración publicada que la comunidad investigadora pueda examinar. Hasta que se hagan públicos un enunciado preciso y el trabajo que lo sustenta, y este sea evaluado de manera independiente, no está establecido que OpenAI haya resuelto la conjetura de Hodge.
Por qué una prueba en Lean puede ser válida y, aun así, difícil de evaluar
La verificación formal y la comprensión matemática humana resuelven problemas relacionados, pero diferentes.
Una formalización en Lean puede ofrecer una garantía sólida de que el teorema codificado no tiene un salto lógico respecto de su configuración formal. Pero los guiones de prueba suelen volver explícitos muchos pasos rutinarios: definiciones, lemas, dependencias de bibliotecas, reescrituras y detalles técnicos. Por eso, incluso una prueba que compile puede resultar difícil de leer como argumento conceptual.
No significa que «compila» no tenga valor. Significa que, por sí solo, no responde a todas las preguntas que necesitan resolver los matemáticos:
- ¿El enunciado formal coincide exactamente con el problema del Milenio que se pretende resolver?
- ¿Cuál es la idea esencial de la construcción o del mecanismo que produce la singularidad?
- ¿Qué estimaciones y argumentos hacen el trabajo intelectual decisivo?
- ¿El resultado es robusto, novedoso y está expuesto de un modo que otros investigadores puedan aprovechar?
- ¿Cómo se atribuye el crédito por ideas previas relacionadas?
La comprobación formal puede ser una parte fundamental de la verificación. Pero no crea automáticamente una explicación humana concisa, no resuelve las cuestiones de procedencia y crédito, ni genera consenso académico.
Críticas por crédito, prioridad y normas de investigación
El anuncio provocó críticas que van más allá del mérito técnico de la prueba. Veinticinco ganadores de la Medalla Fields firmaron una carta abierta titulada A Severe Misalignment of AI in Mathematics, en la que cuestionaron la carrera de los laboratorios de IA por usar problemas matemáticos célebres como demostraciones de capacidad. Según las informaciones sobre la carta, los firmantes advirtieron que esos incentivos podían perjudicar la investigación, su cultura y la formación de nuevos matemáticos. 19
21
También surgió una disputa de prioridad relacionada con los matemáticos Tristan Buckmaster y Levent Alpöge. En una declaración contemporánea, Buckmaster afirmó que le habían comunicado que un sistema interno de OpenAI tenía una prueba de explosión en tiempo finito para las ecuaciones de Navier-Stokes forzadas. Añadió que él y Alpöge sintieron presión para publicar trabajo relacionado antes de terminar la verificación y la exposición; su declaración precisa que no divulgaron un resultado separado sobre Navier-Stokes hipodisipativas porque la verificación en Lean aún no había concluido. 17
El relato de Buckmaster es evidencia importante de un conflicto sobre tiempos, reconocimiento y presión para publicar. Por sí mismo, no demuestra que OpenAI haya copiado el trabajo de nadie. OpenAI dijo que comenzó su investigación tras conocer el rumor de un avance de ambos matemáticos y que les propuso una publicación simultánea que reconociera su prioridad. 32
La cuestión pendiente, por tanto, no es solo si un sistema de IA puede producir una demostración, sino si los descubrimientos asistidos por IA pueden difundirse de una forma que permita atribución cuidadosa, revisión independiente e intercambio académico normal.
Qué puede hacer —y qué no— el grupo asesor del IAS
OpenAI anunció un Grupo Asesor sobre Matemáticas e Inteligencia Artificial, independiente, no remunerado y compuesto por nueve miembros, alojado en el Institute for Advanced Study de Princeton. Entre los integrantes identificados por la prensa figuran Timothy Gowers y Martin Hairer. 4
5
Su función declarada es dar a los matemáticos un papel en la evaluación y comunicación de trabajos generados con IA, incluido el asesoramiento sobre revisión y prácticas de publicación. 5
15
Pero se trata de un órgano asesor, no regulador. Según la información disponible, no puede obligar a OpenAI a divulgar las pruebas subyacentes, imponer el calendario de investigación de la empresa, vetar anuncios ni decidir de forma concluyente la autoría. 7
Esa limitación es decisiva: el asesoramiento de expertos puede mejorar la transparencia y la comunicación, pero no convierte por sí mismo una afirmación interna de una compañía en un teorema aceptado por la comunidad.
Por qué aún no hay Premio del Milenio
Las reglas del Clay Mathematics Institute son explícitas. Antes de considerar una solución propuesta para un Premio del Milenio, esta debe publicarse en un medio que cumpla los requisitos, deben pasar al menos dos años desde esa publicación y el trabajo debe recibir aceptación general en la comunidad matemática mundial. 46
Una entrada de blog corporativa, un preprint, un repositorio de código o una evaluación de un grupo asesor no cumplen automáticamente esas condiciones. Tras el anuncio sobre Navier-Stokes, el propio Clay Mathematics Institute recordó que sus reglas regulan tanto la evaluación de los resultados como la asignación de crédito. 42
Así que, incluso si la prueba de Navier-Stokes de OpenAI —o cualquier resultado posterior— acabara siendo correcta, los anuncios de septiembre no los hicieron elegibles de inmediato para el premio. El trabajo tendría que pasar por el proceso establecido de publicación, escrutinio y aceptación.
En síntesis
OpenAI afirmó que un modelo interno resolvió más de 100 problemas abiertos de matemáticas, después de su anuncio previo sobre una solución formalizada en Lean para Navier-Stokes. El trabajo sobre Navier-Stokes cuenta con materiales públicos; la cartera más amplia no dispone aún de un registro público, detallado y verificable problema por problema. 13
11
Por ahora, la conclusión responsable no es ni el rechazo automático ni la aceptación: son afirmaciones potencialmente muy relevantes que requieren pruebas transparentes, revisión experta, atribución cuidadosa y tiempo. Eso es especialmente importante ante cualquier insinuación de que otro Problema del Milenio, como la conjetura de Hodge, haya sido resuelto.
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 "OpenAI afirma haber resuelto más de 100 problemas matemáticos: qué se ha mostrado y qué falta por verificar"?
El 21 de septiembre de 2026, OpenAI afirmó que un modelo interno cuyo entrenamiento comenzó el 28 de agosto había resuelto más de 100 problemas matemáticos abiertos de larga data.
¿Cuáles son los puntos clave a validar primero?
El 21 de septiembre de 2026, OpenAI afirmó que un modelo interno cuyo entrenamiento comenzó el 28 de agosto había resuelto más de 100 problemas matemáticos abiertos de larga data. Para Navier Stokes, OpenAI divulgó una prueba analítica y una formalización en Lean; para el conjunto de más de 100 problemas no publicó un inventario verificable, prueba por prueba, con su estado de revisión.
¿Qué debo hacer a continuación en la práctica?
No hay evidencia pública suficiente para considerar resuelta la conjetura de Hodge.