Yann LeCun：会写形式化证明不等于数学已超人类

这件事意味着什么

Yann LeCun 称：AI 在搜索并写下定理形式化证明上超过人类，并不等于「数学已超人类水平」。这只是可自动化的机械环节；数学家发明新概念、框架、抽象与猜想，仍依赖当前系统尚未具备的直觉与创造力。