研究者感慨:AI 本可联手形式化解决 Navier-Stokes,但世界还没准备好
birchlse · x · 2026-09-08
转发的原帖是一段带有感慨的观点:我们本可能一觉醒来看到「OpenAI 与 Anthropic 联手,把 Navier-Stokes 方程干净利落地完全形式化解决,还附带 Terence Tao 的精彩解释和数学协作路径」这样的新闻——但现实世界还没有运转到那一步。这是对前沿 AI 实验室合作潜力与数学形式化进展的期待式评论,也暗含对当前行业竞争格局未能聚焦此类协作的失望。
「漫话AGI」频道最新
- 吐槽 SF AI 实验室年轻高薪工程师：「以为自己是新贵阶级、永生上傳意识」 — ludwigABAP · 2026-09-08
- 「AI 已解决自然科学，哲学生的春天要来了」：就业冲击的半开玩笑讨论 — felpix_ · 2026-09-08
- 一句话点破 AI 设计本质：「用 AI 做出好设计」≠「AI 做出好设计」 — oykun · 2026-09-08
- OpenAI 前安全研究员：众多善意员工对领导层屡次不坦诚视而不见 — JMannhart · 2026-09-08
- 从 IMO 金牌到冲击千禧年难题，AI 进展引发 2027 之问 — imadade · 2026-09-08
- Linus Ekenstam:教孩子用 AI 独立思考,别再追「抗自动化」职业 — LinusEkenstam · 2026-09-08