Zartbot
@zartbotF
YLC really know the big picture of math?
Yann LeCun@ylecun · Sep 16Being 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"
Open quoted post →This is not all of math, any more than arithmetics, or computing integrals (symbolically or numerically) is all of math. It's one "mechanical"
0 2