Tristan Buckmaster was on the path toward an important proof when one of the A. I. giants used its staggering resources to get there first.
Source: [NYT Science](https://www.nytimes.com/2026/09/10/science/tristan-buckmaster-openai-math-navier-stokes.html)