智能AI None 陶哲轩在“害怕”什么？ 本文来自微信公众号： 腾讯科技 ，作者：苏扬，编辑：徐青阳，题图来自：视觉中国 当AI开始批量生产数学证明，人类凭什么确信这些证明是可靠的？ 美国当地时间10月9日，著名数学家、菲尔兹奖得主陶哲轩在其博客转发了托马斯·黑尔斯的专栏文章“《数 Math 终极裁判 bugs 2026-10-13 虎嗅
智能AI None 陶哲轩最新演讲：数学2.0来了，证明稀缺时代正在终结 机器之心编辑部 就在今天，陶哲轩公开了其在加州理工学院举行的最新演讲《Math 2.0》（数学 2.0）。 他介绍道，这场演讲早在一年多前就已经开始筹划，最初的标题是《机器辅助证明》（Machine Assisted Proof），原计划于 Math Proof 证明稀缺 2026-10-12 机器之心
智能AI None 5篇AI生成的数学论文被接收！00后创始人洪乐潼融资14个亿 5篇AI生成的数学论文被接收。00后创始人洪乐潼融资14个亿 梦晨 2026-05-28 16:11:40 来源： 量子位 8篇由同一个系统生成或形式化证明的数学论文 梦晨 发自 凹非寺 量子位 | 公众号 QbitAI 数学论文预印本里， Axiom 亿美元 Math 2026-05-28 梦晨