La IA para la investigación matemática ha llegado
PUBLISHED Oct 8, 2026, 3:32 PM ET
Read, Watch or Listen
OpenAI ha publicado 722 artículos de investigación matemática generados íntegramente por un modelo interno de inteligencia artificial aún no lanzado, abordando problemas complejos e históricamente sin resolver en los campos de las matemáticas y la informática. Agrupados en 372 familias de resultados distintas, los hallazgos incluyen afirmaciones matemáticas de alto perfil que tocan la hipótesis cuasi-Riemann, la Conjetura de los Juegos Únicos y los límites de la multiplicación de matrices. Muchas de las demostraciones generadas presentan formalizaciones verificadas a través de Lean, un demostrador de teoremas informático interactivo diseñado para comprobar los pasos lógicos. Si bien la publicación señala un avance importante en el descubrimiento científico automatizado y las capacidades de razonamiento complejo, los observadores señalan que los artículos no han sido sometidos a una revisión tradicional por pares humanos. Los investigadores enfatizan que, si bien las herramientas automatizadas pueden explorar vastas trayectorias lógicas de manera eficiente, la supervisión humana sigue siendo necesaria para garantizar la precisión absoluta y desarrollar una intuición matemática profunda. OpenAI publicó la investigación en GitHub para fomentar una inspección generalizada, la verificación comunitaria y una mayor evaluación científica en instituciones académicas y técnicas.
By Noormahi M. | JQJO News
Timeline of Events
- El 15 de enero de 2023, los investigadores de OpenAI comenzaron a desarrollar modelos de razonamiento avanzado.
- El 10 de junio de 2024, comenzaron las pruebas internas de modelos de generación de matemáticas.
- El 20 de septiembre de 2025, se generaron las pruebas iniciales para la hipótesis cuasi-Riemann.
- El 5 de noviembre de 2025, comenzó la verificación de las pruebas de la Conjetura de Juegos Únicos.
- El 12 de enero de 2026, se finalizó la integración del demostrador de teoremas informático Lean.
- El 18 de febrero de 2026, se documentaron completamente los avances en el límite de la multiplicación de matrices.
- El 1 de marzo de 2026, comenzó la preparación del repositorio para su lanzamiento en GitHub.
- El 10 de marzo de 2026, OpenAI publicó oficialmente 722 artículos de investigación.
- El 11 de marzo de 2026, las instituciones académicas comenzaron la verificación independiente de las pruebas.
- El 9 de octubre de 2026, la comunidad científica más amplia continúa evaluando los descubrimientos automatizados.
- Se espera que en los próximos meses los investigadores revisen todos los artículos generados.
- Se prevé que en el próximo año los asistentes de demostración automatizados mejorarán significativamente.
News Intelligence
- Impacto inmediato en EE. UU.: Acelera los plazos de investigación computacional en las principales instituciones académicas de los Estados Unidos.
- Posible impacto a largo plazo en EE. UU.: Transforma la metodología fundamental para el descubrimiento matemático complejo a nivel nacional.
- Grupos más afectados: Universidades de investigación, empresas de tecnología y departamentos de matemáticas de los Estados Unidos.
- Prioridad del lector: Priorizar los repositorios principales de GitHub y los análisis de verificación institucionales oficiales.
Coverage of Story:
From Left
OpenAI Lanza 722 Artículos de Matemáticas Creados por Inteligencia Artificial
New York Times Washington Post Gizmodo Toronto StarFrom Center
OpenAI lanza cientos de artículos de investigación matemática generados por IA
Reuters Associated Press Bloomberg Wall Street Journal Forbes VentureBeat Financial Times Engadget The Register Science Magazine Axios Politico The Hill Bloomberg Law Quartz Fast Company Inc. The Atlantic Time Newsweek CBC News Hacker NewsFrom Right
OpenAI publica 722 artículos de matemáticas escritos por modelo de IA
The Daily Caller Daily Mail The Times
Comments