Supporting methodology and editorial history

Article: After OpenAI's Navier-Stokes Proof, What Can the Next AI Reuse?

Retained October 9, 2026 from the article at source c04aea4. These passages preserve the original scope, methodology and revision history behind the commercial summary. They are not new test results. Original source references remain in the article.

The distinction is between a testable error and a claim for which no adequate test is available. The latter still requires judgment or new mathematics. We have not measured the reduction in an end-to-end agent's error rate or established a production latency guarantee. Those are useful evaluation targets for this capability.