OpenAI says an internal model resolved a Navier–Stokes problem, amid a credit dispute
An unreleased model, run as ~10,000 agents, produced a Lean-verified finite-time blow-up proof for a forced fluid; OpenAI declined the prize amid a credit dispute with NYU and Anthropic.
OpenAI, AnthropicModels & capabilities · Benchmarks & progress