Stability AI创始人谈Navier-Stokes证明
Stability AI创始人分享AI如何用88小时解决数学难题，相当于百年数学家工作量。
Stability AI创始人Emad Mostaque表示，1万个AI代理在88小时内解决了Navier-Stokes问题。这一成就相当于顶级数学家100年的工作量。Navier-Stokes是七大千禧年奖问题之一，此前人类仅解决了一个。Mostaque强调，这不可能来自训练数据。
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)
