
The proof no one has read: OpenAI, Navier–Stokes and the limits of verification
OpenAI says an internal system proved that a three-dimensional fluid can blow up in finite time, and Lean agrees. The theorem is narrower than the headlines, the credit is contested, and the deeper question is what mathematics loses when a result is certified but unread.
John Searle







.jpg?width=500)






.jpg%3Fwidth%3D1600&w=3840&q=75)

