wait but aren't they beyond human level in at least several domains such as math?
2 1 15
Yann LeCun
@ylecun
Replying to @tomekkorbak
Being better than humans at searching and writing down the formal proof of a theorem does not equate being "beyond human level at math".
This is not all of math, any more than arithmetics, or computing integrals (symbolically or numerically) is all of math. It's one "mechanical"
This is not all of math, any more than arithmetics, or computing integrals (symbolically or numerically) is all of math. It's one "mechanical"
81 933