The GPT-3 hype is way too much. It’s impressive (thanks for the nice compliments!) but it still has serious weaknesses and sometimes makes very silly mistakes. AI is going to change the world, but GPT-3 is just a very early glimpse. We have a lot still to figure out.
One thing I've updated towards thinking is that the Turing test is less interesting than it seems. A big moment for me will be when AI can prove a new mathematical theorem.
Jul 19, 2020 · 7:10 PM UTC
Aren't we making good progress on that front? arxiv.org/pdf/1904.03241.pdf
1
That might be easier than we all think. Imagine a system consisting of three parts: 1) a theorem enumerator, 2) a theorem prover, 3) a neural net trained on which theorems are beautiful. 1, 2 have been done before, all the ingredients are there.
See writings.stephenwolfram.com/…
1
5
How you interpret AI's proving of a mathematical theorem will depend on whether you believe humans "created" mathematics or we "discovered" mathematics.
1
8
Oh my, #AI has suffered from such shifting of the goal posts forever! I’m still waiting for it to solve all humanities problems in less than a second (without any data) 😀
1

















