36Kr Europe · English·· 10 小时前
Terence Tao 与邓煜对谈，呼吁数学领域“慢科研”
Terence Tao and Yu Deng's latest dialogue calls for "slow scientific research" in the field of mathematics.
研究任务与主要进展
菲尔兹奖得主 Terence Tao 与芝加哥大学教授邓煜在 SAIR 发布的对谈中回应商业 AI 批量发布 700 多个数学证明引发的争议，核心观点是 AI 能生成证明不等于人类真正理解问题。两人更关注证明能否被理解、推导过程能否验证，并介绍了参与 Open Math Model 开放数学模型倡议的动机，其团队新模型仍在筹备中，将先推出整合开放模型与协作功能的平台 Open Math OS。
阶段、条件与复现 · 深读核对
- 新能力对应什么具体任务与最小输入输出？
- 代码、模型、数据、许可与可用入口是否明确？
- 效果、总成本、失效条件与实际工作流如何验证？
这些是阅读核对问题；材料未说明的条件保留未知。请阅读原文核验。
来源：36Kr Europe · English · eu.36kr.com