7 ms·
>It also needs to be differentiated from ASI with godlike powers many times greater than human. Wasn't there a thread the other day about how very few humans o
by andai 3mo ago
>It also needs to be differentiated from ASI with godlike powers many times greater than human.
Wasn't there a thread the other day about how very few humans on earth can understand the new math proofs?
Although "with sufficient study" vs "not even with unlimited study" are probably worth distinguishing there.
- ilaksh 3mo agoWhich brings up another point in that we should have a term that distinguished between super intelligence in some capacity and godlike super intelligence.
- Alifatisk 3mo ago> Wasn't there a thread the other day about how very few humans on earth can understand the new math proofs? Do you perhaps have a link to it? Tried to search around but couldn’t find it. Would love to read it
- andai 3mo ago> "Already, there are very few mathematicians qualified to verify OpenAI’s new results. As progress continues, that number will approach zero." https://news.ycombinator.com/item?id=49165570 https://news.ycombinator.com/item?id=49165570 > When OpenAI posted about their 10 breakthroughs, I saw lots of career research mathematicians say things mostly along the lines of “I don’t understand any of this it’s way over my head”. https://news.ycombinator.com/item?id=49182779 https://news.ycombinator.com/item?id=49182779 > They're publishing machine checkable proofs because that's the only way they, themselves, can check them. > They don't understand the math either. https://news.ycombinator.com/item?id=49183817 https://news.ycombinator.com/item?id=49183817
- Alifatisk 3mo agoThank you!