Rohan Paul
@rohanpaul_ai
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)
