OpenAI está resolviendo problemas matemáticos a una velocidad asombrosa
La Chispa te informa que OpenAI está resolviendo problemas matemáticos a una velocidad asombrosa. La compañía asegura que un modelo interno ha resuelto más de 100 problemas científicos y matemáticos abiertos en unas semanas. Es un hito impresionante para la ciencia y la tecnología, pero plantea una gran incógnita: proponer soluciones automatizadas quizás no sea suficiente para la comunidad investigadora.
¿La IA comprende la matemática avanzada?
La demostración sobre las ecuaciones de Navier-Stokes intenta responder a una de las formulaciones de un Problema del Milenio, pero deja dudas sobre el verdadero entendimiento algorítmico. Por ello, OpenAI trabajará con un grupo de asesores independientes. Surge la duda clave: ¿Cuándo una IA resuelve un problema matemático, lo comprende realmente?
El caso Navier-Stokes y los Problemas del Milenio
OpenAI indicó que, además de abordar Navier-Stokes, su modelo interno entrenado desde agosto ha resuelto 100 problemas históricos. Sin embargo, no se dieron detalles ni evaluaciones externas iniciales.
Matices técnicos en la solución de fluidos
En septiembre presentaron una demostración del problema de existencia y suavidad de Navier-Stokes en Lean, plataforma que comprueba demostraciones. El enunciado admite varias formas de resolución. OpenAI afirma haber resuelto las opciones con fuerzas suaves aplicadas (formulaciones C y D). Partieron de un fluido en reposo y aplicaron una fuerza especial hasta generar la singularidad. Esto está contemplado en el enunciado oficial, por lo que no es una trampa.
Controversia entre la comunidad matemática
Diversos expertos critican que lo relevante era saber si las ecuaciones generaban la singularidad sin fuerzas externas de diseño. Como analiza Scientific American, la polémica nace de esta discrepancia técnica. Ajustarse al enunciado aprovechando sus vacíos no es igual a resolver la cuestión física subyacente.
OpenAI está resolviendo problemas matemáticos a una velocidad asombrosa
El Clay Mathematics Institute señaló que la propuesta requiere un largo proceso de evaluación. OpenAI no reclamará el premio del millón de dólares. Para el sector tecnológico, la formalización informática en Lean garantiza la corrección del código, pero no necesariamente el aprendizaje conceptual humano.
En el blog del medallista Fields Terence Tao, analistas destacan la diferencia entre una respuesta formal algorítmica y una demostración comprensible. El nuevo grupo asesor de OpenAI intentará tender un puente entre la lógica del razonamiento automatizado y la revisión por pares tradicional.
