build1 publisher
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.
Publishers:theneuron.ai
Reality
- Evidence58
- Adoption20
- Hype gap+30
- Incentives78
- Confidence48