StatementMeta · Yann LeCun
LeCun: formal proofs are not superhuman math
- Published
- 2026-09-16
- Type
- Statement
- Organization
- Meta
- Source
- Yann LeCun
Why it matters
Yann LeCun 称：AI 在搜索并写下定理形式化证明上超过人类，并不等于「数学已超人类水平」。这只是可自动化的机械环节；数学家发明新概念、框架、抽象与猜想，仍依赖当前系统尚未具备的直觉与创造力。
Related developments
Aggregated by AGI Pulse. Titles and links only; no full text is republished.