Matemáticos dudan de que OpenAI entienda su propia prueba de Navier-Stokes
A principios de septiembre, OpenAI presentó una posible solución de 166 páginas al problema de Navier-Stokes y dijo que seguía el enfoque de los matemáticos españoles Diego Córdoba y Luis Martínez-Zoroa. Varios grupos de expertos discrepan y el matemático Gonzalo Cao-Labora (EPFL) afirma que las similitudes son solo superficiales. La prueba está escrita en Lean, un lenguaje que verifica cada paso lógico pero no es legible por sí solo para humanos. El Clay Mathematics Institute la revisa desde su publicación. A principios de octubre, OpenAI publicó unos 400 resultados más en GitHub, lo que molestó a muchos matemáticos.
Qué significa
La prueba todavía no está validada por la comunidad matemática. Lo que se pueda confirmar dependerá de la revisión del Clay Mathematics Institute y del análisis de los expertos.
Fuentes originales
Resumen de Hoy en IA. Pulsa una fuente para leer la noticia completa en su idioma original.
- The DecoderLeer la noticia completa en The Decoder