Yann LeCun：形式化定理证明超越人类不等于「数学超越人类」

Yann LeCun 指出，AI 在搜索并写下定理形式化证明上超过人类，不等于「数学达到超越人类水平」。他认为这只是整个数学活动中一项可自动化的「机械性」任务，就像算术或符号/数值积分并不等于全部数学。数学家的核心工作是发明新概念、新框架、新抽象与新定义并提出猜想，这依赖当前 AI 系统尚不具备的直觉与创造力。