Noticias IA · Ciencia y Modelos de Razonamiento
Edición: Álvaro MaureiraFecha: 2026-10-26Fuente: OpenAI Research
OpenAI publicó un informe de investigación que documenta el uso de modelos de razonamiento de frontera para generar pruebas verificables en problemas abiertos de matemáticas y física teórica, logrando avances comprobados en conjeturas de análisis armónico y cromodinámica cuántica.
Capítulo 01
La noticia en una frase
OpenAI demostró que sus modelos avanzados de razonamiento pueden colaborar con matemáticos para formular y verificar formalmente pasos intermedios en conjeturas complejas, incluyendo la conjetura de Kakeya y cálculos analíticos en cromodinámica cuántica.
El 26 de octubre de 2026, OpenAI Research difundió resultados en los que modelos de la familia de razonamiento produjeron argumentos matemáticos verificados por pares y asistentes de pruebas formales (como Lean 4). Los investigadores destacaron contribuciones en el suavizado local y el análisis espectral aplicable a física de partículas.
Capítulo 02
El alcance que cambia la lectura
A diferencia de las tareas tradicionales de código o redacción, la demostración formal exige rigor deductivo exacto: una sola alucinación o paso inválido invalida la prueba completa. El logro demuestra la utilidad de la búsqueda en tiempo de inferencia guiada por verificadores automáticos de teoremas.
Capítulo 03
