build3 publishers
OpenAI gated an 88-hour, 10,000-agent proof search on a 17-hour Lean check
OpenAI's write-up gives the token counts, the agent count and the verification time for its Navier-Stokes result. The verification time is the number that decides whether the method transfers to anyone else's workload.
Perspective Coverage
3 publishers- Builder
- Builder 38%
- Operator
- Operator 45%
- Investor
- Investor 17%
Reality
- Evidence62
- Adoption20
- Hype gap+22
- Incentives78
- Confidence66