On September 8, OpenAI published a mathematical paper and a Lean formalization. It says an internal AI system found an example of singularity formation in equations describing viscous fluid flow.

The repository specifies smooth initial data with smooth external forcing. It does not claim that every flow breaks down. At our check, the Clay Mathematics Institute still listed the problem as unsolved; we have not independently rebuilt the proof.

We see potential mainly in mathematical research: an argument accompanied by checkable code can help specialists find errors and further connections. It does not itself provide better weather forecasts or a finished engineering design.

The key task is to verify the proof and whether its formal assumptions match the problem statement. Available source code is useful evidence, but cannot replace that expert scrutiny.

Optimistic editorial outlook: initial detailed analyses could arrive over weeks to months. Neither the timing of expert consensus nor eventual practical applications can yet be estimated reliably.