SAIR发布陶哲轩与邓煜对谈:AI证明不等于理解,倡导慢科研
热点事件持续更新
SAIR发布陶哲轩与邓煜对谈:AI证明不等于理解,倡导慢科研
1 篇报道1 个报道来源7 小时前更新
先了解这件事
AI 综述
SAIR 发布菲尔兹奖得主 Terence Tao 与芝加哥大学教授邓煜的对谈,回应某商业 AI 公司一次性批量发布 700 多个数学证明引发的争议。两人称,AI 能生成证明不等于人类真正理解问题,他们更关注证明能否被理解、推导过程能否验证,并呼吁数学领域“慢科研”。 对谈中还介绍了两人参与 Open Math Model 开放数学模型倡议的动机。据对谈内容,其团队尚无自己的新模型,初期将使用现有开源模型,计划先推出整合开放模型与协作功能的平台 Open Math OS。
AI 根据报道生成 · 5 小时前更新
最新进展10月21日 08:00
Terence Tao 与邓煜对谈,呼吁数学领域“慢科研”报道时间线
沿着报道,了解事件的不同侧面。
10月21日
- 36Kr Europe · EnglishTerence Tao 与邓煜对谈,呼吁数学领域“慢科研”
菲尔兹奖得主 Terence Tao 与芝加哥大学教授邓煜在 SAIR 发布的对谈中回应商业 AI 批量发布 700 多个数学证明引发的争议,核心观点是 AI 能生成证明不等于人类真正理解问题。两人更关注证明能否被理解、推导过程能否验证,并介绍了参与 Open Math Model 开放数学模型倡议的动机,其团队新模型仍在筹备中,将先推出整合开放模型与协作功能的平台 Open Math OS。
本事件热度走势
- 可比范围当前
- 8
- 可比范围峰值
- 910月21日 11:00
- 近 24 小时变化
- –
02.557.510
11:0012:0013:0014:00
趋势仅比较持续完整观测到的相同主体,范围可能小于当前热度统计。移动指针或点击图表查看每小时热度;键盘可用左右方向键切换。