OpenAI anunció el martes que sus agentes probaron que las ecuaciones de Navier-Stokes pueden romperse. Unas 10.000 copias de un modelo inédito corrieron 88 horas y un software verificó la prueba. Un matemático de Nueva York acusa a OpenAI de adelantarlo y de exigirle borrar a un coautor. (Corrección: el 6 de octubre tres matemáticos mostraron que la prueba Lean verificada no coincide con la escrita.)