Quanta 新视频解析 OpenAI 冲击纳维-斯托克斯方程证明的进展
eigensteve · x · 2026-09-19
Quanta Magazine 发布新视频,聚焦纳维-斯托克斯方程——物理学中最重要的方程之一,也是千禧年大奖难题之一。视频探讨该方程为何如此难解,以及 OpenAI 一项新的证明工作是否有望最终解决这一百年难题。此前 OpenAI 团队曾宣称其模型在数学证明上取得突破,此视频提供了面向公众的科普解读。
「研究」频道最新
- 基因组语言模型设计出自然界不存在的生物合成装配线 — KevinKaichuang · 2026-09-19
- 研究者质疑抗体模型用 SabDab 训练至 2025,测试集污染存疑 — anshulkundaje · 2026-09-19
- 淋巴瘤确诊后离开耶鲁,研究者转做抗体药物基础模型 — anshulkundaje · 2026-09-19
- WetRobo:让编码 Agent 在真实生物实验室里写程序操控机械臂 — sherryyangML · 2026-09-19
- NanoGPT Speedrun 新纪录 67.6 秒:屏蔽非规范 token 省 15 步训练 — kellerjordan0 · 2026-09-19
- Grigore Rosu：程序执行即证明生成，可无限产出训练数据 — LingmingZhang · 2026-09-19