Post
Glonce
glonce.com
did:plc:ieah3ocmnoxxsxa7tsnxbhnz
OpenAI claims Navier-Stokes proof amid credit dispute
OpenAI says agentic AI models produced a Lean-formalized solution to the Navier-Stokes equation, but NYU mathematician Tristan Buckmaster accuses the company of racing to claim credit after learning of his and Anthropic researcher Levent…
https://glonce.com/openai-claims-navier-stokes-proof-amid-credit-dispute/?utm_source=bluesky&utm_medium=anchor&utm_campaign=2026-09-09
2026-09-09T08:28:01.460Z