On the Navier–Stokes Millennium Prize Problem
OpenAI says an unreleased model resolved Navier-Stokes after rumors of another team’s breakthrough reached the company.
Simon Willison’s note centers on the priority dispute around Tristan Buckmaster and Levent Alpöge, who had spent nearly a year working on related results with Claude and Codex. OpenAI says its agents began on Sept. 1 and reached a resolution Sept. 5, later adding Lean verification. Willison’s concern is the unresolved boundary between user work that improves models and later model output that may help someone else get there first. Simon Willison's note
Simon Willison’s note centers on the priority dispute around Tristan Buckmaster and Levent Alpöge, who had spent nearly a year working on related results with Claude and Codex. OpenAI says its agents began on Sept. 1 and reached a resolution Sept. 5, later adding Lean verification. Willison’s concern is the unresolved boundary between user work that improves models and later model output that may help someone else get there first. Simon Willison's note
score 10