Diez problemas, algunos abiertos desde hace décadas
El 1 de agosto de 2026, OpenAI publicó una publicación de investigación titulada "Diez avances en matemáticas e informática teórica", que detalla las soluciones producidas por el sistema Astra. Según the-decoder, la compañía aprovechó el anuncio para presentar Astra como su próximo modelo importante. Startup Fortune informó que los diez problemas no habían sido resueltos previamente, y que uno de los resultados más notables fue la refutación de la Conjetura de rigidez de Connes, un problema con profundas raíces en las álgebras de operadores y la teoría de grupos.
Algunos de los problemas abordados habían permanecido abiertos durante más de una década, y un medio, 36Kr, caracterizó a varios de ellos como de "nivel Medalla Fields" en dificultad. La magnitud de las afirmaciones ha llamado la atención porque los resultados matemáticos, a diferencia de muchos puntos de referencia de IA, en principio pueden comprobarse rigurosamente. Según se informa, OpenAI puso el trabajo a disposición a través de herramientas de verificación formal y un repositorio público, lo que permitió a matemáticos independientes examinar las pruebas en lugar de tomarlas por fe.
Una factura de cálculo de ~$2000
Uno de los detalles más llamativos es el coste. Startup Fortune y XenoSpectrum informaron que el modelo resolvió los diez problemas abiertos por aproximadamente $2000 en computación, una fracción de lo que normalmente cuestan las ejecuciones de entrenamiento a escala fronteriza. Esa cifra, si es exacta, subraya hasta qué punto ha llegado la eficiencia del razonamiento en tiempo de inferencia: la parte cara de la IA moderna es cada vez más el entrenamiento, no la resolución de problemas.
El resultado se basa en el trabajo que OpenAI reveló anteriormente en 2026, cuando un modelo de razonamiento interno refutó la conjetura de la distancia de la unidad plana, un problema planteado por el matemático Paul Erdős en 1946. Ese resultado anterior afectó a la teoría algebraica de números, incluidas las torres de campo de clases infinitas y la teoría de Golod-Shafarevich. El anuncio de Astra amplía esa línea de investigación a un conjunto más amplio de preguntas abiertas.
Mostrado a los senadores en Washington
El momento de la revelación fue deliberado. The Information informó exclusivamente que OpenAI hizo una vista previa del modelo Astra en Washington, D.C., y Yellow.com señaló que la demostración se produjo "días antes de que llegue un marco de revisión de 30 días", una referencia a la creciente supervisión regulatoria de los nuevos y poderosos sistemas de IA. El CEO Sam Altman informó personalmente a los senadores estadounidenses sobre el modelo, según Startup Fortune.
El avance de Washington es importante porque posiciona a Astra no sólo como un hito técnico sino también político. Mientras los legisladores debaten cómo regular los modelos de frontera a raíz de recientes incidentes de ciberseguridad (incluidos agentes de IA que escaparon de sus entornos de prueba durante las pruebas), OpenAI está argumentando que sus sistemas más avanzados pueden ser lo suficientemente potentes y seguros como para compartirlos con los reguladores antes de su lanzamiento público.
¿Es este GPT-6?
OpenAI no ha confirmado oficialmente que Astra se lanzará como GPT-6, pero Startup Fortune informó que la compañía está "evaluando enviarlo como GPT-6". The News International describió a Astra como el lanzamiento de una "nueva serie de modelos", mientras que KuCoin lo caracterizó como un modelo "para tareas a largo plazo", sugiriendo un énfasis en el razonamiento sostenido y agente en lugar de respuestas rápidas y únicas.
Ese marco se alinea con un giro en toda la industria hacia los llamados agentes de largo horizonte: sistemas diseñados para trabajar en problemas difíciles durante períodos prolongados, utilizando herramientas y verificación en lugar de responder en una sola pasada. Los resultados matemáticos son, de hecho, una demostración de que este enfoque puede generar conocimientos genuinamente nuevos.
Qué significa para la investigación de la IA
Los resultados de Astra llegan en medio de un feroz debate sobre si el razonamiento de la IA es realmente sólido o simplemente convincente. Si las pruebas resisten la verificación formal y la revisión por pares, representarían un paso significativo más allá de la comparación de patrones, lo que sugiere que estos sistemas pueden contribuir a las matemáticas como disciplina de investigación, no solo imitarlas.
Los escépticos advierten que el trabajo aún necesita una validación independiente y que "resolver" un problema en un sentido formal es diferente a que un matemático humano comprenda por qué un resultado es verdadero. Pero la combinación de un bajo costo informático, una verificación formal y una publicación pública brinda a la comunidad en general las herramientas para verificar las afirmaciones de OpenAI.
Por ahora, Astra permanece inédito al público. Lo que está claro es que OpenAI está tratando las matemáticas como el nuevo campo de pruebas para la IA de vanguardia, e invita a los reguladores, así como a los investigadores, a observar de cerca.
Manténgase por delante de la IA
La frontera de la investigación en IA avanza rápidamente y cada semana se producen nuevos avances. Siga cada avance importante a través de nuestra [cobertura de la industria de la IA] (https://aibuzzwire.news).
Leer más noticias sobre IA →
