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

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

AI 导读

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

正文 · 原文

Emad Mostaque (founder of Stability AI) on Navier-Stokes proof by AI.

"Do you really think there's anything you can do cognitively that this AI can't do?

88 hours with 10,000 AI agents solved it, thats 100 years of top level mathematician work. Think about that.

Before this week, you could say, "Ah, it's a stochastic parrot. It can only learn from its distribution." And then you have literally a millennium prize problem.

There's only 7 of them. Humans have figured out one. and a swarm of 10,000 AIS over 88 hours solves it.

You can't say that's in the training data"

---

(Full video on 'Risk Takers' Youtube channel, linke in comment)

来源:rohanpaul_ai · x.com