陶哲轩、邓煜等菲奖得主联合抗议 AI 公司数学军备竞赛,AI 是否在毁掉数学?
陶哲轩、邓煜等25位菲尔兹奖得主于2026年9月11日联合发表公开信,批评OpenAI等AI公司将解决著名数学难题作为模型能力基准的做法,认为这会对数学科学及共同体造成伤害。此次争议由OpenAI宣布在88小时内解决千禧年大奖难题之一的纳维-斯托克斯方程引发,引发了数学界对AI公司解题方式及学术生态影响的集体表态。
热搜汇
共 179 条相关内容
陶哲轩、邓煜等25位菲尔兹奖得主于2026年9月11日联合发表公开信,批评OpenAI等AI公司将解决著名数学难题作为模型能力基准的做法,认为这会对数学科学及共同体造成伤害。此次争议由OpenAI宣布在88小时内解决千禧年大奖难题之一的纳维-斯托克斯方程引发,引发了数学界对AI公司解题方式及学术生态影响的集体表态。
9月11日,陶哲轩、邓煜等25位菲尔兹奖得主发表联合声明《人工智能在数学中的严重错位》,警告AI公司将数学问题视为基准测试的做法对数学科学及共同体有害。声明认为AI虽有加速研究的潜力,但目前的公布方式缺乏论文打磨、方法提炼及对前人工作的引用。此次警告背景涉及OpenAI在证明千禧年难题时引发的质疑。
前Anthropic研究员Jacob Coxon宣布离开AI行业,并指责OpenAI与Anthropic在开发具备自我改进能力的AI模型竞赛中“拿我们的生命下注”。Coxon认为这两家公司均未采取负责任的行为,并称从事AI构建的人员认真地相信,AI可能会在十年结束前导致全人类死亡。
OpenAI声称其推理AI已生成关于纳维-斯托克斯(Navier-Stokes)方程的证明,该问题是克雷数学研究所设立的千禧年大奖难题之一。与此同时,纽约大学数学家Tristan Buckmaster与Anthropic研究员Levent Alpöge在AI辅助下取得了相关突破。目前,双方就研究成果的归属及OpenAI在发布过程中的压力指控产生争议。
9月8日,DeepSeek开启V4.1 Flash中间版本的有限内测。该版本采用全新的模型结构,实现了原生多模态支持,可统一处理文本、图像和音频输入。官方称其能力更强、速度更快且成本更低。此次内测为短期测试,模型将于9月10日下线。目前,DeepSeek官方文档尚未记录该版本的正式发布。
第五届全球数字贸易博览会将于9月23日至27日在浙江杭州举办。本届数贸会以“在数贸会遇见AI未来”为主题,重点呈现人工智能全链条创新生态,人工智能参展企业占比超三分之一。展会将设置八大展区,首创词元(Token)主题AI未来展区。此外,展会将凸显开放合作,吸引来自121个国家和地区的代表出席,并落地多项国际合作载体。
由芒果TV出品的AI长剧《后西游记》于8月31日起在湖南卫视黄金档及芒果TV播出,该剧人物、场景等均由AI生成。受此影响,芒果超媒股价在8月31日和9月1日连续两个交易日涨停,截至9月4日收盘,近5个交易日累计上涨50.18%,市值大涨约132.84亿元。尽管资本市场反应热烈,但该剧在社交媒体上的观众口碑呈现割裂状态。
字节跳动近期获得约29.6亿美元的银团贷款,该笔融资规模由最初目标的200亿美元上调,成为2026年亚洲第二大美元计价贷款。此次融资由花旗集团和摩根大通协调,资金将用于一般公司用途及人工智能(AI)基础设施投资。据报道,字节跳动2026年的AI资本支出可能高达700亿美元。
当地时间9月3日,OpenAI发布新一代旗舰模型GPT-6 Astra。该公司将其定位为全球最强的计算机操控模型,并将其视为构建通用人工智能(AGI)进程中的关键里程碑。OpenAI总裁格雷格·布罗克曼表示,现在可能正身处AGI时代。该模型将分批向付费用户及企业用户开放,并配备网络安全防护栏。
腾讯 WorkBuddy 开放平台于9月2日正式上线,旨在面向智能硬件、行业应用及开发者全面开放底层 Agent 基座能力。目前已有超百家共创伙伴入驻,涵盖金融、医疗等20多个领域。该平台提供一站式工作台,支持企业与个人认证,并首发了9款联名智能硬件。腾讯方面希望将 WorkBuddy 打造为面向 Agent 时代的操作系统。