数学证明不等于数学能力，AI仍缺创造力
Being better than humans at searching and writing down the formal proof of a theorem does not equate...
Yann LeCun说AI能做定理证明，但这只是数学里可自动化的部分，不是真正的数学能力，因为数学还需要创造力和直觉。
Yann LeCun指出，AI能完成定理的正式证明，但这只是数学中可自动化的机械任务，并非超越人类水平的数学能力。数学还包括发明新概念、框架和定义等需要直觉与创造力的部分，当前AI系统尚未具备这些能力。
Being better than humans at searching and writing down the formal proof of a theorem does not equate...
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" task in the whole activity that happens to be automatable. Mathematicians invent new concepts, new frameworks, new abstractions, new definitions, and formulate conjectures. This requires intuition and creativity that current AI systems do not have (yet). 💬 15 🔄 17 ❤️ 101 👀 5372 📊 24 ⚡