Un modelo de inteligencia artificial logró formular una solución a la ecuación de Navier-Stokes, uno de los siete problemas no resueltos del Instituto Clay, tras entrenar durante más de 50 horas con más de 1,000 agentes computacionales. La ecuación describe el comportamiento de fluidos como agua y aire, y ha permanecido sin solución formal durante aproximadamente 200 años. El hallazgo fue formalizado usando Lean, un lenguaje especializado en verificación de pruebas matemáticas, y requirió una capacidad computacional significativamente mayor a la utilizada en investigaciones previas.
La validez del descubrimiento enfrenta cuestionamientos sustanciales de la comunidad académica. El matemático Tristan Buckmaster expresó dudas sobre la solución y alegó que la institución responsable se apresuró a anunciar el resultado tras enterarse de avances paralelos realizados por él y su colega Levent Alpöge. Buckmaster documentó que recibió múltiples "propuestas" que incluían escenarios donde el problema sería anunciado como resuelto sin mencionar su contribución. Este conflicto plantea interrogantes sobre los protocolos de colaboración científica cuando laboratorios privados de IA interactúan con investigadores académicos independientes.
La controversia trasciende la disputa de atribución. Buckmaster y Alpöge publicaron documentos demostrando avances significativos en áreas relacionadas con Navier-Stokes utilizando múltiples modelos de IA, incluyendo herramientas de código abierto. Los ejecutivos del laboratorio negaron haber accedido a datos de investigaciones previas no publicadas, aclarando que sus esfuerzos comenzaron tras enterarse de rumores sobre progresos competitivos. Sin embargo, la secuencia temporal y las comunicaciones documentadas generan dudas sobre la independencia del trabajo.
Este caso expone dinámicas críticas en la investigación científica contemporánea: la velocidad de innovación en sistemas de IA, los incentivos competitivos entre instituciones, y la necesidad de marcos claros para atribución de crédito cuando múltiples actores contribuyen simultáneamente. La ecuación de Navier-Stokes forma parte de los Problemas del Milenio del Instituto Clay, cada uno valuado en un millón de dólares, lo que añade dimensiones de incentivo económico a la disputa. Para organizaciones que invierten en investigación de IA o colaboran con laboratorios privados, este precedente subraya la importancia de establecer acuerdos explícitos sobre propiedad intelectual, cronología de descubrimientos y protocolos de comunicación antes de que surjan conflictos.
