← Back to feed

Structural and mathematical audit of OpenAI's Navier-Stokes formalization

AI · 2026-10-20 18:35

该GitHub仓库对OpenAI关于纳维-斯托克斯方程的形式化工作进行结构与数学层面的审查，页面正文主要为GitHub导航界面内容。

Source: github.com

Auto-generated summary for reference only. RSS