← 返回 AIRadar 首页

Yann LeCun 断言：形式化证明开启数学新纪元

LeCun 回应同行时指出，AI 驱动的形式化证明正为数学开辟全新时代，暗示 AI 将从辅助工具升级为数学发现的核心引擎，推动推理能力质变。