However, the push by AI companies to solve mathematical problems as a benchmark is detrimental to the science of mathematics, and to the mathematical community.
According to my memory from last night and the wayback machine, OpenAI updated the Navier-Stokes pdf at Tue, 08 Sep 2026 19:09:35 GMT. The original version was one page shorter and did not contain any citations to Diego Córdoba and Luis Martínez-Zoroa:https://t.co/w3JRyWQsUM