热点事件持续更新
陶哲轩等数学家担忧AI数学证明可靠性
1 篇报道1 个报道来源11 小时前更新
先了解这件事
AI 综述
2026年10月11日，腾讯科技报道称，菲尔兹奖得主陶哲轩转发了数学家托马斯·黑尔斯的专栏文章《数学家应该了解的Lean定理证明器：可靠性与人工智能问题》。报道称，陶哲轩的态度已从力挺用AI做数学研究，转向联署由25位菲尔兹奖得主发起的《人工智能在数学中的严重错位》宣言，并牵头“人类数学协会”呼吁停止与OpenAI合作。报道将这一转变与AI批量生产数学证明及Lean定理证明器的可靠性隐忧相关联。事件目前进展为：陶哲轩转发黑尔斯文章并参与联署宣言、牵头协会呼吁停止合作。
AI 根据报道生成 · 3 小时前更新
最新进展10月11日 08:26
陶哲轩转发黑尔斯专栏文章，联署宣言并牵头呼吁停止与OpenAI合作。报道时间线
沿着报道，了解事件的不同侧面。
10月11日
- 腾讯科技陶哲轩在害怕什么：AI批量生产数学证明与Lean的可靠性隐忧
腾讯科技报道，菲尔兹奖得主陶哲轩转发了托马斯·黑尔斯的专栏文章《数学家应该了解的Lean定理证明器：可靠性与人工智能问题》，其态度从力挺用AI做数学研究转向联署25位菲尔兹奖得主发起的《人工智能在数学中的严重错位》宣言，并牵头“人类数学协会”呼吁停止与OpenAI合作。
本事件热度走势
当前热度 7·可比范围峰值 8（10月11日 17:00）·近 24 小时可比范围变化 –
趋势仅比较持续完整观测到的相同主体，范围可能小于当前热度统计。移动指针或点击图表查看每小时热度；键盘可用左右方向键切换。