Skip to content
, home

#10AI and sciencePublished

Prove.

Is an AI answer worth a proof?

ThenewB drawing #10, “Prove”. Ninety years of Navier–Stokes, 10,000 AI agents, an analytical proof, formal verification with Lean, then a verifiable result.

In ten seconds

On 8 September 2026, OpenAI announced a solution to the Navier–Stokes equations, produced by 10,000 AI agents in 88 hours, then submitted to formal verification with Lean. Verification is ongoing and the Clay prize has not been awarded.

Signal

On 8 September 2026, OpenAI announced a solution to the Navier–Stokes equations, produced by 10,000 AI agents in 88 hours, then submitted to formal verification with Lean. Verification is ongoing and the Clay prize has not been awarded.

Paradox

The performance is impressive. The value lies in what follows: a result that can be checked.

Implication

The same standard applies to a finance function: a figure produced by AI must be traceable and verifiable before it is used.

Sources

  • OpenAI, 8 September 2026

Domains concerned

Related analyses

All perspectives

Ready to think differently?

Talk to us