What Landed
Simon Willison relayed OpenAI's claim that an unreleased internal model resolved the Navier–Stokes problem, using about 130B output tokens over roughly 88 agent hours plus 17 hours of Lean verification. The claim is unverified, and a dispute overshadows it. NYU's Buckmaster and Anthropic's Alpöge had a breakthrough on Aug 15 using Claude and Codex, and OpenAI says it "cannot rule out" that de-identified usage data improved its models. Separately, Ajeya Cotra told Dwarkesh Patel that frontier-lab training pipelines may face more hacking effort than all prior human hacking combined, but she said "potentially" and gave no numbers.
Why It Matters
The training-data episode is the enterprise-relevant part. "Used to improve model performance" cannot be verified, and a vendor can also be a competitor. Buyers should treat vendor training and retention assurances as unaudited until contract terms say otherwise. The Cotra discussion is a speculative threat-model claim with no timeline. It supports adding lab training-pipeline and weight security to vendor diligence, but it is not a forecast.
Worth Raising With Customers
- Ask customers with pre-publication IP or R&D on shared vendor endpoints whether their contracts include explicit zero-training, retention limits and audit rights.
- Ask whether sensitive work is split across vendors, given that a model vendor may compete with them.
- Add vendor diligence questions on training-infrastructure isolation, evaluation integrity and weight security.