Los matemáticos dicen que OpenAI no entiende su propia prueba de Navier-Stokes
decoder ·
Matemáticos han criticado la reciente afirmación de OpenAI de haber resuelto el problema de Navier-Stokes, argumentando que la prueba propuesta carece de profundidad sustancial a pesar de su verificación formal en Lean. Los expertos señalan que, si bien el enfoque superficialmente se asemeja al trabajo de matemáticos españoles, un análisis detallado revela divergencias significativas en la metodología. La controversia se complica aún más por las acusaciones de Tristan Buckmaster de la Universidad de Nueva York (NYU), quien alegó que OpenAI utilizó trabajo previo no publicado, una afirmación que la compañía niega. Además, OpenAI publicó aproximadamente 400 resultados adicionales en GitHub, un movimiento que frustró a muchos en la comunidad matemática por parecer trivializar los rigurosos estándares académicos. Un punto principal de disputa involucra el papel de los agentes de IA, con el investigador Noam Brown admitiendo que no está claro cuánto contribuyó realmente la enorme multitud de 10.000 instancias. Brown sugiere que menos del diez por ciento del éxito proviene de la configuración multiagente, atribuyendo la mayor parte de las ganancias a la resistencia y las capacidades de procesamiento paralelo del modelo base. En consecuencia, los críticos argumentan que OpenAI no comprende completamente la mecánica o el valor de sus propios esfuerzos computacionales. El Instituto de Matemáticas Clay continúa revisando la posible solución mientras se intensifica el debate sobre el papel de la IA en las matemáticas de alto nivel.
decoder