Ethics

OpenAI Releases Proposed Navier‑Stokes Proof and Faces Credit and Data‑Use Dispute

The company published a machine‑checkable Lean formalization while mathematicians question whether its private model drew on unpublished work and independent verification remains under way.