LeCun:AI 能形式化证明定理不等于数学超越人类,数学更需直觉与创造力

RT @ylecun:在寻找并写下定理的形式化证明方面比人类更强,并不等同于在数学上"超越人类水平"。

这并非数学的全部,就像算术,或(符号化或数值化)计算积分并非数学的全部一样。这只是整个活动中恰好可被自动化的一个"机械式"任务。

数学家创造新概念、新框架、新抽象、新定义,并提出猜想。这需要当前 AI 系统(尚)不具备的直觉与创造力。