量子位· 文婷·· 4 天前精选AI 评分67
陶哲轩宣布数学2.0时代已至,呼吁数学界从追求证明转向重视理解
陶哲轩:数学2.0时代已至!
AI 导读
菲尔兹奖得主陶哲轩宣布数学2.0时代已至,认为AI正让数学证明从稀缺走向泛滥,数学1.0时代以“谁最先解决问题”为核心的评价体系即将落幕。他指出OpenAI一次性发布722篇论文等事件冲击了数学界,提醒AI厂商只展示成功案例存在幸存者偏差,呼吁把失败结果和算力成本纳入透明评估机制,并主张减少对抢先生成证明的强调、转向重视解释、评审与知识整理。他还透露SAIR基金会的开放数学模型计划即将发布。
推荐理由
陶哲轩把数学研究的矛盾从证明稀缺转向理解稀缺,指出AI加速生成答案后,验证、解释与知识整理仍需人类介入。
来源:量子位 · qbitai.com