# OpenAI publica casi 400 resultados matemáticos generados por IA, según The Verge

- Publicada: 2026-10-09T19:09:44.000Z
- Actualizada: 2026-10-11T15:33:49.194Z
- Sección: Modelos
- Temas: Investigación
- Página: https://aidailyjournal.com/es/n/2026/10/09/openai-releases-nearly-400-ai-generated-mathematical-results-the-verge-says/
- Fuentes: [The Verge](https://theverge.com/ai-artificial-intelligence/1008726/openai-mathematics-solutions-chaos)

## Resumen

OpenAI publicó casi 400 resultados matemáticos generados por IA en más de 700 manuscritos sobre áreas como geometría, teoría de números, topología y física matemática. Más de tres docenas de matemáticos dijeron a The Verge que el volumen no tenía precedentes y que comprender el material podría tomar años.

La colección incluye formalizaciones en Lean, que permite verificar pruebas por computadora, pero OpenAI dijo que solo 300 de los 719 resultados principales habían sido formalizados, cerca del 42%. La empresa dijo que los manuscritos estaban en distintas etapas de verificación y que añadiría más formalizaciones. Investigadores dijeron a The Verge que la calidad era inconsistente y que incluso las pruebas formalizadas deben examinarse para confirmar si corresponden con las afirmaciones de los manuscritos.

## Por qué importa (interpretación editorial)

El volumen podría ampliar el material disponible para la investigación matemática, pero también crea un cuello de botella de evaluación: investigadores dijeron a The Verge que incluso las pruebas formalizadas deben examinarse para comprobar si corresponden a las afirmaciones de los manuscritos. La formalización parcial subraya que la verificabilidad aún no cubre toda la colección.

_Resumen escrito por AI Daily Journal con palabras propias, a partir de las fuentes anteriores. Para más detalles, lee los artículos originales._