中国数学家丘成桐等人在北京发起“丘成桐数学与人工智能实验室联盟”,联合八家机构,计划构建逾千名研究者的网络,推动AI深度介入数学研究,并警告中国在该领域落后于美国。与此同时,西方数学界普遍持怀疑态度,包括陶哲轩、彼得·舒尔茨在内的二十五位菲尔兹奖得主担忧AI生成的证明会侵蚀数学理解,使研究者依赖无法跟进的工具,部分人甚至呼吁抵制AI证明。文章揭示了东西方在AI与数学融合上的路径分歧:中国着力建设专用模型、可机器验证的证明与透明的AI推理,而西方则在效率与理解之间陷入争论。即便在使用AI的专家中,AI能否产生真正的数学洞见也尚无共识。
OpenAI宣布其AI系统在3小时内生成372个数学证明,引发25位菲尔兹奖得主联名警告,担忧AI对数学研究范式的冲击;与此同时,丘成桐牵头成立逾千名科学家组成的联盟,推动AI进入数学研究。
📱 每天一份 AI 前沿日报
关注公众号,每天 09:00 推送 · 不错过任何重磅