OpenAI Reports Navier-Stokes Lean 4 Formalization Amid Academic Data Provenance Dispute
Beyond mathematical discovery, the dispute reveals severe corporate IP risks regarding whether proprietary code and research inputs sent to vendor APIs inadvertently leak into frontier models.