🔵 OpenAI y el dilema de las soluciones matemáticas: ¿resuelve realmente su IA los problemas?

OpenAI asegura que su IA ha resuelto más de 100 problemas matemáticos. Hay un problema: qué significa exactamente "resolver"

OpenAI ha anunciado que su inteligencia artificial ha logrado resolver más de 100 problemas matemáticos abiertos, incluyendo uno de los famosos Problemas del Milenio, las ecuaciones de Navier-Stokes. Este logro, obtenido en apenas unas semanas, ha sido presentado como un avance significativo en el ámbito de la inteligencia artificial y las matemáticas. Sin embargo, la afirmación de «resolver» estos problemas ha generado un debate entre los expertos.

El problema de Navier-Stokes, uno de los siete Problemas del Milenio del Clay Mathematics Institute, se centra en la existencia y suavidad de las soluciones para las ecuaciones que describen el movimiento de los fluidos. OpenAI presentó una demostración que aborda las formulaciones C y D, donde se permite la aplicación de una fuerza externa para generar una singularidad. Aunque esta aproximación está contemplada en el enunciado oficial, muchos matemáticos critican que no responde a la cuestión principal: si las ecuaciones pueden generar singularidades sin fuerzas externas.

El Clay Mathematics Institute ha reconocido que el problema parece resuelto, pero ha indicado que el proceso de evaluación es largo y complejo. OpenAI, por su parte, ha declarado que no tiene intención de reclamar el premio de un millón de dólares asociado a la resolución de estos problemas. Mientras tanto, la comunidad matemática sigue debatiendo si la solución de OpenAI realmente cumple con las expectativas científicas.

Para garantizar la validez de sus resultados, OpenAI ha formalizado su solución en Lean, una plataforma informática que permite comprobar demostraciones matemáticas. Además, ha creado el Advisory Group on Mathematics and Artificial Intelligence, compuesto por nueve matemáticos independientes, para asesorar sobre estos temas. Aunque sus recomendaciones no son vinculantes, este grupo busca cerrar la brecha entre las soluciones formales y las comprensibles por los matemáticos.

Fuente: https://www.xataka.com/robotica-e-ia/openai-asegura-que-su-ia-ha-resuelto-100-problemas-matematicos-hay-problema-que-significa-exactamente-resolver