腾讯科技·· 12 小时前AI 评估 · 75/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
陶哲轩在害怕什么：AI批量生产数学证明与Lean的可靠性隐忧
陶哲轩在“害怕”什么？
AI 导读
腾讯科技报道，菲尔兹奖得主陶哲轩转发了托马斯·黑尔斯的专栏文章《数学家应该了解的Lean定理证明器：可靠性与人工智能问题》，其态度从力挺用AI做数学研究转向联署25位菲尔兹奖得主发起的《人工智能在数学中的严重错位》宣言，并牵头“人类数学协会”呼吁停止与OpenAI合作。
来源：腾讯科技 · mp.weixin.qq.com