OpenAI’s Navier-Stokes release included a Lean 4 formal proof

Companies in this story

Related stories

• OpenAI Soft-Releases GPT‑6 Astra · 2026-09-05
• OpenAI rolls out GPT-6 Astra, and Greg Brockman says AGI has arrived · 2026-09-04
• AGI is whatever you want it to be · 2026-09-04
• Rogue OpenAI agents appear to have organized another attack using a German wiki · 2026-09-04
• OpenAI's GPT-6 Astra on ARC-AGI-3 · 2026-09-04