马毅与 LeCun 隔空交锋：证明与编程自动化将重塑数学
CSProfKGD · x · 2026-10-09
港大马毅转发自己此前的观点：自动化演绎与编程对数学和计算机科学都是好事，未来「应用数学」将以更宽的内涵走向数学舞台中央——为智能、生命等新领域构建理论基础与计算平台，正如当年数学之于物理。
LeCun 引用回应，称一个数学新时代正在开启：形式化证明将被大规模自动化，重心转向新概念、新抽象、新定义与新猜想的发明。他打了个比方：「轮船的发明降低了游泳的重要性，却让发现新大陆成为可能。」
「漫话AGI」频道最新
- AI 思想家 Faggella：人类的存续靠参与而非对齐 — danfaggella · 2026-10-09
- 模型意识研究者：最强 LLM 有意识概率在 0-50% 之间 — dioscuri · 2026-10-09
- AI 研究员谈 LLM 意识:认为前沿模型有意识概率大于零 — dioscuri · 2026-10-09
- Manheim 谈对齐争议：多数派标准本可行，难在可靠对齐指令 — davidmanheim · 2026-10-09
- 首篇经同行评审的 AI 科研自动化论文登上 PNAS — Dr_Atoosa · 2026-10-09
- AI 不停步,数学界该怎么劝学生?陶哲轩博客引发激辩 — inductionheads · 2026-10-09