跳到正文
原文
rohanpaul_ai· @rohanpaul_ai · X·· 6 小时前AI 评分62

Stability AI 创始人 Emad Mostaque 谈 AI 解决 Navier-Stokes 证明

AI 导读

Rohan Paul 转发 Emad Mostaque(Stability AI 创始人)关于 AI 解决 Navier-Stokes 证明的言论:10,000 个 AI 智能体用 88 小时解决了这一问题,相当于 100 年顶级数学家的工作量。

正文 · AI 翻译

Emad Mostaque(Stability AI 创始人)谈 AI 证明纳维-斯托克斯方程。

"你真的认为有什么认知工作是这个 AI 做不到的吗?

10,000 个 AI 智能体用 88 小时解决了它,这相当于顶级数学家 100 年的工作量。想想看。

在这周之前,你还可以辩称:"啊,它只是个随机鹦鹉,只能从它的分布中学习。" 然后你就有了一个真正的千禧年大奖难题。

千禧年难题总共只有 7 个。人类解决了其中一个,而 10,000 个 AI 组成的群体用 88 小时就解决了它。

你不能说"这在训练数据里"

---

(完整视频在 'Risk Takers' YouTube 频道,链接在评论区)

来源:rohanpaul_ai · x.com