OpenAI says around 10,000 AI agents worked for 88 hours on Navier Stokes.
A mathematics problem people had been fighting with for roughly 90 years.
The agents exchanged 2.7 million messages.
Produced around 130 billion output tokens.
And reached a proposed solution.
Reasonable effort for a weekend.
But the part I like came next.
Another model spent 17 more hours formalising the proof in Lean.
Lean checks mathematical arguments line by line.
The 88 hours created the answer.
The next 17 tried to make it inspectable.
That distinction matters.
Because AI can now produce work faster than humans can comfortably review it.
Contracts.
Investigations.
Regulatory analysis.
Policies.
Due diligence.
The bottleneck is moving.
From production to trust.
Then came another uncomfortable question.
An NYU mathematician asked whether his private Codex work on a related problem could have influenced the system.
OpenAI says its investigation found it could not.
Still, the question is exactly the right one:
Is the output correct?
And:
Where did it come from?
At Ambar, senior legal AI specialists help teams build model answers, red flags, evals, provenance rules and error analysis for the AI they already use.
So the GC does not receive more fluent drafts.
The GC receives work the team knows how to test, challenge and rely on.
Speed creates output.
Verification creates an asset.
Before you go: how Ambar can help
We help GCs access senior independent legal talent when their teams need more range, more speed or more specialist judgment.
1) Fractional counsel for capacity gaps
When a key lawyer moves role, goes on leave, or gets pulled into a strategic project, we help cover the gap without adding permanent structure.
2) Specialist expertise for new areas
Privacy, AI, technology contracts, payments, cybersecurity, energy, regulatory or new jurisdictions — senior lawyers who bring knowledge into the team, not just hours.
3) The layer between in-house and traditional firms
For work that is too senior for junior execution, too close to the business for a law firm machine, and too temporary for a permanent hire.
4) Legal AI that learns your standard
We help legal teams turn senior judgment into playbooks, model answers, red flags, evals and error-analysis frameworks for the AI tools their teams already use.
Not generic AI. Your legal standard.
If this email made you nod, laugh, or think “damn, that’s good”, send it to a friend. If this was forwarded to you, subscribe here. It's free and makes you look smarter in front of your boss. If this email annoys you more than your outside counsel invoices… unsubscribe below. |
Stay cool,
Dr. No