Este idioma es traducción automática y no ha sido revisado por un humano.

Inteligencia artificial · Artículo

El lanzamiento masivo de matemática de OpenAI genera temores de carrera entre matemáticos académicos

Publicado:

An office building at 1515 Third Street in the Mission Bay neighborhood of San Francisco, California. At the time this photo was taken, this building was home to the headquarters of OpenAI. Photographed by user Coolcaesar on June 15, 2025.
Imagen: Coolcaesar · CC BY 4.0 · Wikimedia Commons

En resumen

El 6 de octubre de 2026, OpenAI publicó 722 manuscritos generados por IA organizados en 372 familias de problemas, incluyendo una afirmación controvertida sobre la pregunta del Premio del Milenio de Navier-Stokes. El medallista Fields Hugo Duminil-Copin dijo que lloró después de encontrar 16 de sus propias preguntas de investigación entre los artículos, llamándolo un "desmantelamiento" de su campo, mientras que un grupo de matemáticos instó a los colegas a dejar de trabajar con OpenAI.

Esta versión es una traducción automática del original (English). Leer el original

En la noche del 6 de octubre de 2026, OpenAI abrió un repositorio público que contenía 722 manuscritos matemáticos, agrupados en 372 familias de problemas, producidos por un modelo interno no lanzado, según el sitio de tecnología Unite.AI. La empresa dijo que había planteado al sistema aproximadamente 4.000 problemas abiertos en total y publicó solo el subconjunto que consideró valioso lanzar, abarcando álgebra, teoría de números, topología, ciencia computacional teórica y lógica matemática.

Lo que OpenAI lanzó

Unite.AI informó que el entrenamiento del modelo interno comenzó el 28 de agosto de 2026, con la ejecución de evaluación lanzada el 1 de septiembre. El modelo produjo aparentemente una demostración formalizada en Lean que aborda la cuestión de la singularidad de Navier-Stokes — uno de los siete problemas del Premio del Milenio del Instituto Clay de Matemáticas — alrededor del 5 de septiembre, con OpenAI anunciando el resultado públicamente el 8 de septiembre. La empresa dijo que no buscaría el premio asociado de 1 millón de dólares. Fortune informó que OpenAI también afirmó progreso parcial en tres otros problemas del Premio del Milenio en el lote del 6 de octubre sin resolverlos completamente.

No todos los manuscritos vinieron con verificación verificada por máquina. Unite.AI señaló que muchos, pero no todos, los documentos incluían formalizaciones en el asistente de prueba Lean, que verifica cada paso lógico automáticamente; los resultados sin formalizar conllevan un mayor riesgo de errores ocultos. Fortune informó que para el 8 de octubre, OpenAI ya había retirado al menos tres de las soluciones publicadas después de que se encontraran errores.

Un medallista Fields dice que lloró

El lanzamiento afectó personalmente a algunos investigadores. El sitio francés SenePlus informó que Hugo Duminil-Copin, quien ganó la Medalla Fields en 2022 por su trabajo en transiciones de fase en física estadística, descubrió que 16 de sus propias preguntas de investigación abiertas estaban entre los problemas que OpenAI afirmó haber abordado, diciendo que la empresa había efectivamente terminado esa línea de investigación. Dijo que lloró durante la noche del martes 6 de octubre en el 7 de octubre, hasta el punto de despertar a su hija.

Es un desmantelamiento de nuestra actividad.

— Hugo Duminil-Copin, medallista Fields 2022, citado por SenePlus

Según SenePlus, Duminil-Copin argumentó durante una videoconferencia organizada por la Sociedad Matemática Francesa el 8 de octubre que el objetivo de un investigador no es solo probar teoremas sino producir comprensión para otros humanos. Dijo que se preocupaba más por los matemáticos en etapa temprana de carrera, a quienes temía que serían los más afectados a medida que la cultura informal de circular ideas y resultados parciales entre colegas se derrumba si los matemáticos comienzan a retener trabajo por presión competitiva.

Los matemáticos se oponen

El lanzamiento generó una declaración abierta de la Asociación para la Matemática Humana (AHM), un grupo cuyo Grupo de Trabajo de Comunicaciones la publicó como una entrada de invitado en el blog del matemático Terence Tao el 7 de octubre. La declaración dijo que los matemáticos no habían solicitado este cuerpo de trabajo y que OpenAI había desatendido la guía previa del Grupo Asesor sobre Matemáticas e Inteligencia Artificial, un cuerpo independiente que asesora sobre cómo las empresas de IA deben probar y publicar afirmaciones matemáticas, según la declaración de AHM. La declaración describió el lanzamiento de más de 700 archivos a la vez como reflejo de la escala de los recursos de OpenAI en lugar de una revisión académica cuidadosa.

Fortune informó que Terence Tao, escribiendo en Mastodon, dijo que el episodio marca el fin de lo que llamó Math 1.0, argumentando que los problemas están siendo cada vez más resueltos por usuarios de IA sin interés en el campo más amplio en sí mismo y que la disciplina necesita dar más valor a la exposición y construcción de comunidad en lugar de solo resolver problemas. El matemático de la Universidad de Nueva York Tristan Buckmaster, quien había planteado anteriormente preocupaciones sobre el trabajo de Navier-Stokes, le dijo al New York Times, como cita Fortune, que sospechaba que algunos de los resultados publicados extendieron el trabajo previo de otros matemáticos hasta su conclusión sin crédito adecuado.

El matemático de la Universidad de Columbia Peter Woit, escribiendo en su blog Not Even Wrong, describió el lanzamiento como desorganizado y dijo que OpenAI había ignorado las recomendaciones del grupo asesor antes de desviar la responsabilidad de clasificar los resultados a la comunidad matemática misma. Woit identificó el sistema detrás de los artículos como un modelo al que se refirió como 'Astra'. Los comentaristas en su artículo dijeron que muchas de las demostraciones generadas por IA eran técnicamente densas pero ofrecían poca intuición matemática o comprensión teórica nueva, incluso cuando eran correctas.

No es una batalla nueva

La fricción entre OpenAI y los matemáticos es anterior al lanzamiento de octubre. TechCrunch informó que en octubre de 2025, el vicepresidente de OpenAI Kevin Weil publicó — y posteriormente eliminó — una afirmación de que GPT-5 había encontrado soluciones a 10 problemas de Erdős previamente sin resolver e hizo progreso en 11 otros. Thomas Bloom, quien mantiene la base de datos pública de Problemas de Erdős, dijo que el marco era muy engañoso, explicando que los problemas marcados como 'abiertos' en su sitio simplemente significaban que no era consciente de una solución publicada, no que ninguna existiera; dijo que GPT-5 había localizado referencias existentes que había perdido. El investigador de OpenAI Sebastien Bubeck posteriormente reconoció que el modelo había simplemente localizado soluciones existentes en la literatura publicada en lugar de descubrir nuevas, aunque dijo que esto todavía tenía valor.

Los partidarios dicen que el campo puede adaptarse

No todos los matemáticos trataron el lanzamiento como una crisis. Fortune citó al matemático de la Universidad de Toronto Dan Litt diciendo que consideraba el desarrollo positivo en general para las matemáticas, mientras advertía que la sociedad necesita seguir financiando matemáticos humanos para que el campo no pierda apoyo institucional como resultado. Litt también señaló que OpenAI no emplea suficientes matemáticos para escribir todos sus resultados como artículos convencionales, lo que dijo ayudaba a explicar, sin disculpar, la escala y velocidad del lanzamiento.

Cronología de la disputa OpenAI-matemáticas
FechaEventoFuente
Oct 19, 2025La publicación de Erdős de Kevin Weil es cuestionada por Thomas BloomTechCrunch
Aug 28–Sep 1, 2026Modelo interno entrenado y evaluado en problemas abiertosUnite.AI
Sep 5, 2026Resultado de Navier-Stokes aparentemente producido internamenteUnite.AI
Sep 8, 2026Afirmación del Premio del Milenio de Navier-Stokes anunciada públicamenteUnite.AI
Oct 6, 2026722 manuscritos / 372 familias de problemas lanzadas públicamenteUnite.AI, Woit
Oct 7, 2026Declaración de la Asociación para la Matemática Humana publicadaBlog de Terence Tao
Oct 8, 2026Tres resultados retirados; observaciones de Duminil-Copin en sesión de la Sociedad Matemática FrancesaFortune, SenePlus

Preguntas

¿Qué exactamente lanzó OpenAI el 6 de octubre de 2026?
Un repositorio público de 722 manuscritos de matemáticas generados por IA, organizados en 372 familias de problemas, producidos por un modelo interno no lanzado y que abarca campos desde el álgebra hasta la lógica matemática, según Unite.AI.
¿OpenAI realmente resolvió el problema del Premio del Milenio de Navier-Stokes?
El modelo interno de OpenAI aparentemente produjo un resultado sobre la cuestión de la singularidad de Navier-Stokes, uno de los siete problemas del Premio del Milenio del Instituto Clay de Matemáticas, alrededor del 5 de septiembre de 2026, con la empresa anunciándolo públicamente el 8 de septiembre y diciendo que no buscaría el premio de 1 millón de dólares; Fortune informó que la empresa también afirmó solo progreso parcial en tres otros problemas del Premio del Milenio en el lanzamiento de octubre.
¿Por qué Hugo Duminil-Copin dijo que lloró?
Según SenePlus, el medallista Fields descubrió que 16 de sus propias preguntas de investigación abiertas estaban entre los problemas que abordó el modelo de OpenAI, que describió como efectivamente terminando esa línea de investigación y, en sus palabras, 'un desmantelamiento de nuestra actividad'.
¿Todas las demostraciones matemáticas publicadas de OpenAI están verificadas como correctas?
No. Unite.AI informó que muchos pero no todos los manuscritos incluyen demostraciones formalizadas en Lean (verificadas por máquina), y Fortune informó que OpenAI ya había retirado al menos tres resultados publicados antes del 8 de octubre de 2026 después de que se descubrieran errores.
¿Está la comunidad matemática unida en oposición al lanzamiento?
No. La Asociación para la Matemática Humana instó a los matemáticos a dejar de trabajar con OpenAI, y figuras como Terence Tao y Peter Woit criticaron el lanzamiento, pero el matemático de la Universidad de Toronto Dan Litt le dijo a Fortune que veía el desarrollo como positivo para el campo en general.

Cómo lo cuenta el mundo

Fuentes

  1. Unite.AI — OpenAI Releases 722 Math Manuscripts From an Unreleased AI Model
  2. Fortune — OpenAI publishes solutions to more than 370 outstanding math challenges. Math may never be the same
  3. SenePlus — Quand l'IA résout les problèmes, que reste-t-il aux mathématiciens ?
  4. Terence Tao's blog — AHM Statement on OpenAI's October 6 Release of Mathematical Documents
  5. Not Even Wrong (Peter Woit) — Slopocalypse
  6. TechCrunch — OpenAI's embarrassing math

Este texto se preparó con inteligencia artificial y pasó una verificación automática de fuentes antes de publicarse. Si ves un error, pide una corrección. Pedir una corrección o réplica · Cómo lo hacemos

Relacionados