Home News Radar OpenAIs Navier-Stokes-Release enthielt einen Lean 4 Formal Proof 10-09-2026 Hacker News 🇺🇸 USA OpenAIs Navier-Stokes-Release enthielt einen Lean 4 Formal Proof OpenAIs Navier-Stokes-Release enthielt einen Lean 4 Formal Proof Originalartikel lesen bei Hacker News → #ki #forschung Slack kann nun interaktive Diagramme und Reports in Chats erstellen Nach oben OpenAI pausiert Pro-Abos wegen Astra-Nachfrage