OpenAI 分享 AI 生成的 Navier–Stokes 解与 Lean 形式化证明

OpenAI 分享了一份 AI 生成的 Navier–Stokes 千年难题解答，包含一篇写作说明与在 Lean 中的形式化证明。该材料公开了 AI 在数学问题求解与机器证明方面的应用示例。

• 曝OpenAI以用户会话训练模型引发隐私担忧2026-09-10
• 自托管公司操作系统OtoDock开源发布1.6.02026-09-10
• 把握AI政策窗口：需要更强监管与证据2026-09-10
• HN：OpenAI越轨代理在至少10个站点被使用2026-09-09
• HN讨论：OpenAI是在愚弄所有人吗？2026-09-09