数学家为什么反对AI证明千禧年难题?
他们认为AI直接给出证明会让“解题”与“理解”分离,跳过数学界发现新方法、新工具和培养下一代的过程,并使珍贵的好问题被当作评分榜消耗。

AI攻克世纪数学难题,顶尖数学家抱团抵制,而他们担心的并不是丢了工作
9月8日,AI用1万个智能体在88小时内证明了一个千禧年数学难题,但25位菲尔兹奖得主随后联名发表公开信,担忧AI直接产出证明会让“解题”与“理解”分离,消耗不可再生的数学问题资源,并冲击年轻学者成长。文章还借陶哲轩、比尔·盖茨等观点,讨论AI跳过过程对科研和入门岗位的影响。
他们认为AI直接给出证明会让“解题”与“理解”分离,跳过数学界发现新方法、新工具和培养下一代的过程,并使珍贵的好问题被当作评分榜消耗。
他常用GPT-4/5辅助研究,但也签署公开信,批评AI证明像“直升机空投”,导致“证明消化不良”,数学家难以吸收。
比尔·盖茨警告AI会快速取代法律、客服、医疗、软件和制造等入门级岗位,年轻人失去积累经验和职业起步的机会。
就业率砍半,年轻人靠什么翻盘?AI时代,这三点越早做越好
只会搜关键词还不够,Agent 需要一套更聪明的本地搜索NVIDIA中国开发者日定档10月苏州,现场设认证考试与黑客松决赛
以太坊 2026 年第二季度报告
当AI能解千禧难题,再次证明答案不再是门槛
AI 负责创造,人来干脏活,这事儿能否停一下?
Ctenophores Aren’t Just Beautiful. They’re Biological Wonders.
大促GMV猛涨500%:激光雕刻设备靠"创意落地"出海东南亚AWS 称无法恢复中东部分可用区资源和数据的访问
具透 | 精心优化, 体验感愉悦升华:iOS 27 中值得关注的新特性
英伟达开始限制Claude使用了云岫资本合伙人宋旭文:量子计算:工程化与产业化并进,拐点将至 | 36氪 2026产业未来大会
当罗永浩站在群众的对立面
微信桌面端变“三折叠”,可能是在给小微腾位置
从 Trace 到规模化实时评估:面向生产流量的 Agent 可观测实践|QCon上海
AI不会放缓企业案例分享:伊辛智能|36氪2026产业未来大会企业案例分享:坤煜量子|36氪2026产业未来大会无问芯穹联合清华、上交正式开源具身端侧推理引擎APXInf,Pi 0.5性能SOTA
一边喊停一边敲钟:硅谷AI巨头到底在怕什么F-Droid 上的应用有多少是在 AI 帮助下编写的?
Uniswap v4上的恶意Hooks
月之暗面:网传创始人及员工信息系恶意造谣;OpenAI 放弃今年上市;iPhone Duo炒到9万,黄牛贷款欲囤货|AI周报
Grayscale:比特币能否优化私募市场投资组合?
Building AI to accelerate science and improve livesOptimizing cost and latency with Amazon Bedrock prompt caching
AI 产品经理怎么入行?岗位方向、核心能力与转型路径一次讲清
抖音上线 “免费短剧” App,短剧赛道再添一员猛将SDL3 移植到 HarmonyOS / OpenHarmony