OpenAI publishes Lean formalization of a Navier–Stokes case with external forcing created by ~10,000 agents
OpenAI published a Lean repository that formalizes a Navier–Stokes case with external forcing, reportedly produced by ~10,000 agents — examine the mechanized build and provenance.