菲尔兹奖得主预警：AI可能杀死数学！
Air Explorer Pro是一款跨平台多网盘管理工具，可实现一站式完成不同网盘间文件的互传、搜索和同步等操作。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
菲尔兹奖得主警告AI可能两年内全面超越人类数学证明。Gowers提出数学将死于过剩而非停滞，AI导致文献繁荣但数学家集体消失。《莱顿宣言》获国际数学联盟支持。Gowers亲测ChatGPT5.5Pro后改变态度，承认AI已能处理博士级问题。
2026年菲尔兹奖刚刚揭晓，一件令人震惊的事就发生了。
与王虹、邓煜一同获奖的多伦多大学教授Jacob Tsimerman，在获奖后不久，宣布加入OpenAI，转行研究AI安全。
他的理由直截了当：
两年之内，AI将在所有数学证明领域，彻底超越人类。
第二天，在费城ICM 2026现场，另一位菲尔兹奖得主陶哲轩也表达了类似的忧虑，他说：
我们正在进入一个动荡的时期——一个数学价值观与实践基础都面临危机的时期。
更巧合的是，菲尔兹奖得主Timothy Gowers也给出了几乎相同的判断。
他认为，大语言模型很快会在数学问题求解的所有方面超越人类，甚至可能包括提出问题、构建理论、制定定义这些环节。
他警告说，AI杀死数学的方式，可能比我们想象的要更优雅，也更残酷。
AI饿不死数学，但「撑死」了数学家
对AI这股力量感到恐惧的数学家，不止他一个。
2026年6月2日，《莱顿宣言》正式发布。
到今天，签名人数已经达到3164人。
这份宣言得到了国际数学联盟的正式背书。副主席Ulrike Tillmann明确表态：数学过去是、将来也应该永远是一项深刻的人类事业。
签名名单上，几乎全是顶级大佬。陶哲轩说这是数月社区讨论的结晶，他全心全意支持每条建议。Peter Scholze则心痛地表示，就像他不想让AI来教育自己的孩子一样，他思考数学问题时不用AI，也尽量不读AI生成的文本。
Kevin Buzzard、Jeremy A vigad、Steven Strogatz，都在名单上。
但Timothy Gowers没有签。他的眼界已经超越了“AI取代数学家”，他选择直面一个更为冰冷、宏大且无法回避的终极拷问：
当AI的证明不仅完全正确，而且不知疲倦地指数级增长时，数学，会不会变成一座无人光顾的墓地？
他担心的不是AI解题太强、抢走数学家的饭碗。恰恰相反——数学不会死于停滞，而会死于过剩。
为什么会这样？Gowers提出了一个相当引人深思的思想实验。
先设想一下：假如AI从未出现，此时一场疫情突然爆发，只夺走了所有数学家的生命，其他人则毫发无伤。全部数学文献都还完好地摆在那里，但再也没有人知道该怎么解读它们。Gowers判断，要在这样的废墟上重建一个数学传统，恐怕要耗费数十年。
请注意，这场灾难里没有任何东西被销毁，损失的信息量是0。但数学远不止是印在纸上的文献，它还活在全世界数学家的大脑里——那里蕴藏着庞大的知识体系和深厚的专业直觉。Gowers称之为“人类智慧的奇观”。如果说文献是压缩包，那么这些数学家的大脑，则是密码。
现在，再设想一个略有不同的版本。
这一次，AI存在。而且AI随时待命，可以按照我们希望的任意详略程度解释任何数学问题。这会夺走数学这门学科中很大一部分乐趣。因为AI的存在，人们不再有动力去投入漫长的岁月，苦练到今天一名普通研究型数学家的水准。
十年或二十年后，我们可能会走到这样一步：数学文献以某种形式空前繁荣，与之对应的人类专家却悄然集体消失。再没有一群人，能共享某些领域的理解。到那时，几乎全部数学都可能沦为全人类的“思维墓地”：它们躺在几十年前写下的论文里，却再无人翻阅。
在Gowers看来，这是一种我们应当竭尽全力去抵制的可能性。
虽然两个版本终局都是“数学之死”，但第一个版本中，数学死于贫瘠，而第二个版本中数学死于过盛。一个是被饿死，一个是被撑死。
正如湖泊，既能因干涸而消失，也能因富营养化而“死亡”。
富营养化，又称作优养化，是指湖泊、河流、水库等水体中，氮磷养分疯狂涌入，藻类爆炸式增殖，水面绿得发亮，生物量高得惊人；然后水下的氧气被耗光，鱼翻白肚，整个湖变成一潭死水。
ChatGPT 5.5 Pro打脸菲尔兹奖得主
Timothy Gowers对AI与数学的思考，并非一时兴起。
2024年，他获得资助，启动了一个自动定理证明项目。那时他明确站在传统人工智能一边：要深入理解人类如何找到证明，再让计算机去模仿。他写了一份54页的文件，详细解释了项目的目标和方法。
当时他认为，人类善于化繁为简、寻找有结构的证明，而机器学习在真正的理解与迁移上仍有局限。他的目标是生成“有动机的证明”，也就是过程透明、可解释、甚至能用于本科教学的证明。甚至到了2025年，他还在公开批评现有LLM的训练方式：模型大多只见过最终写出的证明，却看不见人类真实的思考过程。他提议建立“有动机证明”数据库，让AI学习真正的推理路径。
然后，2026年来了。
5月的某一天，AI彻底碘伏了他的认知。
他几乎没给出任何实质性的数学提示，只是把一个数论问题丢给了ChatGPT 5.5 Pro。AI思考了大约一个小时，然后吐出了一份清晰的、博士级别的研究成果：它把原本线性或指数的界限，直接推进到了二次甚至多项式！
亲测ChatGPT 5.5 Pro之后，高尔斯的态度彻底变了。他不再只是讨论“如何让AI更像人类”，而是开始承认：LLM已经能处理博士级问题。随后，当他得知ChatGPT解决了“单位距离问题”之后，直接彻夜难眠。
次日，得知ChatGPT给出的只是反例，而非完整上界证明，他才稍稍松了口气。即便如此，他也认为，这已经是AI在数学领域的里程碑。
“毫无疑问，解决单位距离问题在AI for Math领域具有里程碑意义：如果这篇论文是由人类撰写的，并且提交给了《数学年鉴》，我被要求快速评估，我会毫不犹豫地建议接受。之前的任何AI生成的证明都未能达到这样的水平。”
他就像面对AlphGo的李世石一样，感到无奈而心酸：一个毕生强调“理解”的数学家，最终被机器的实用能力逼到必须重新定义“什么叫研究”。
7月24日，他干脆把自己的论文喂给AI做自动形式化，相当于让AI把证明翻译成机器可验证的代码。
全程一周半，他本人只花了一两个小时提示，就完成了工作。最后，他不得不叹服：“当前的技术水平，将比未来任何时候都要落后。”
数学的挽歌
Gowers这篇文章发出的时间点，非常微妙。
就在同一天，哥伦比亚大学的Peter Woit在博客上发了一篇《一个领域的安魂曲？》。
Woit的评论很扎心：以前你和其他数学家竞争，学界有很强的规范去把想法归功于最先想到的人，而AI智能体却对“冠名游戏”毫无兴趣。这不完全像国际象棋：象棋程序超越人类后，人类之间的比赛活下来了。我们正在走向的，更像是所有人都在用的某种程序。多数星星不曾以天文学家的名字命名，但这并不妨碍星空的美丽。如果定理不再属于数学家，那只是真理回归了它在宇宙中的本来面目。
Gowers自己也付出了代价。
他说自己已经两次眼睁睁看着GPT-5.6 Pro一次性解出他非常喜欢、认真想过的问题。这两次，都是在他的同意下，更年轻的合作者使用了AI模型。那感觉非常怪异，而且不太愉快——像地毯被从脚下猛地抽走。
当机器负责科学发现，人类还负责什么？真理无限膨胀的时代，人类心智该如何自处？
答案在风中飘。
WPS Office是一款面向macOS用户的综合办公套件，将文字处理、电子表格、演示文稿、PDF工具、模板与云协作整合在同一应用中。它兼容常见Microsoft Office格式，支持Intel及Apple芯片Mac，基础功能可免费使用，
Shapr3D是一款面向工业设计、机械工程、建筑概念和三维打印工作流的CAD软件。Mac版采用Parasolid建模内核，支持草图约束、实体建模、工程图、可视化渲染及常见CAD格式交换，并可通过账户在多台设备之间同步项目。
REAPER是Cockos开发的数字音频工作站，提供多轨音频与MIDI录制、剪辑、处理、混音和母带制作工具。Mac版兼容Intel与Apple芯片，支持AU、VST、VST3、CLAP等插件格式，并提供高度可定制的工作流程。
Ableton Live 是面向音乐制作人与现场表演者的数字音频工作站，提供编曲视图、独具特色的现场视图、音频录制、MIDI创作、实时变速、乐器及效果器。Mac版原生支持Apple芯片，并可连接音频接口、MIDI控制器和第三方插件。
Adobe After Effects 是面向动态图形、影视特效与视频合成的专业创作软件。它提供关键帧动画、遮罩抠像、运动跟踪、三维空间、文字动画和表达式等工具，并可与 Premiere Pro、Photoshop、Illustrator
Adobe Audition 是面向播客、影视后期、音乐制作及内容创作者的专业音频工作站，提供波形精修、多轨录制与混音、频谱编辑、降噪修复、响度匹配和效果处理工具，并可与 Adobe Premiere 协同完成视频声音制作。
Adobe Bridge 是面向摄影师、设计师及内容团队的免费数字资产管理工具，可集中预览照片、视频和 Adobe 项目文件，并利用评级、标签、关键词、元数据、筛选与收藏集完成分类检索。它还支持批量重命名、格式导出、相机导入及 Camera
Adobe Illustrator 是 Adobe 推出的专业矢量图形设计软件，适合在 Mac 上制作标志、图标、插画、包装、信息图及印刷版面。它以路径和锚点构建可无损缩放的图形，并提供钢笔、形状、文字、图像描摹、渐变、画板及生成式功能。
Adobe InDesign 是面向印刷品与数字出版物的专业版面设计软件，可在 Mac 上制作书籍、杂志、宣传册、海报、报告及交互式文档。它提供精细的文字样式、网格、母版、长文档管理和印前输出能力。
Adobe Lightroom Classic 是面向桌面摄影工作流的照片管理与后期处理软件，可将原始照片保存在本地硬盘，通过目录、关键词、评分和收藏夹高效整理图库，并提供 RAW 冲印、蒙版、镜头校正、批量同步及多格式导出等功能。
Adobe Media Encoder 是 Adobe 推出的专业音视频编码与转码工具，可通过队列、预设和监视文件夹批量完成格式转换、代理文件创建及多平台成片输出，并与 Premiere Pro、After Effects 等软件紧密协作。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理软件，提供图层、蒙版、选区、修复、调色、文字排版、智能对象及生成式编辑等能力。Mac 版支持 Intel 与 Apple Silicon 处理器。
Adobe Photoshop 是面向摄影师、设计师和内容创作者的专业图像处理工具，可在 Windows 上完成照片修饰、选区抠图、图层合成、文字排版、绘画及生成式编辑。软件采用订阅授权，由 Creative Cloud 管理安装、更新与许
Adobe InDesign 是面向印刷与数字出版的专业页面排版工具，可制作书籍、杂志、宣传册、海报、交互式 PDF 和电子书。它提供精细的文字样式、多页面管理、印前检查及多格式输出能力，并能与 Photoshop、Illustrator
Adobe Illustrator 是用于绘制矢量图形、插画、图标、徽标和版式的专业设计工具。它以路径和锚点为核心，作品放大后仍能保持清晰，并提供画板、文字、渐变、图像描摹及精确变换等功能，适合品牌视觉、印刷物料、数字界面和商业插画创作。
Adobe Bridge 是 Adobe 推出的创意资产管理工具，可集中预览、分类和查找照片、视频、PDF及多种设计文件，并支持元数据、关键词、评级、批量重命名和格式导出。它可与 Photoshop、Illustrator 等应用衔接，
Affinity Photo 是一款面向摄影师、修图师和视觉设计人员的桌面图像编辑工具，提供 RAW 显影、多图层合成、蒙版、实时滤镜、批处理和色彩管理等功能。原独立产品已停止销售，其照片编辑能力已延续至免费的新 Affinity 应用；
Adobe Lightroom Classic 是面向 Windows 桌面摄影工作流的照片管理与无损编辑工具，可通过目录集中整理大型图库，并完成 RAW 显影、局部蒙版、批量调整、打印和多格式导出。它强调本地文件管理与精细控制，
Figma 是面向产品设计与开发团队的云端协作平台，可在 Windows 桌面客户端中完成界面绘制、组件管理、交互原型、评论评审和开发交付。文件保存在云端，多名成员能够同步编辑并共享设计系统；官方同时提供免费 Starter 方案及按席位计
Affinity Designer 是面向矢量图形、数字插画和界面设计的专业创作工具，可在矢量、像素与导出工作区之间快速切换。它提供曲线编辑、形状构建、画板、排版、图层和专业色彩管理，并支持常见设计文件的导入及多种印刷、网页格式输出。
Capture One Pro 是面向摄影师和影像团队的专业桌面照片处理工具，提供相机定制色彩配置、RAW转换、图层与蒙版、联机拍摄、目录及会话管理等功能。它适合棚拍、人像、商业产品、婚礼和风光摄影，
Adobe Acrobat Pro 是面向专业 PDF 工作的综合解决方案，可在 Windows 中创建、编辑、转换、比较、整理和保护文档，并支持表单、电子签名、扫描件文字识别及敏感信息永久遮盖。订阅还包含网页、移动服务和云端协作能力，
Adobe After Effects 是面向动态图形、动画与影视视觉特效制作的专业工具，可完成关键帧动画、图层合成、遮罩跟踪、抠像、文字动画和二维三维元素整合。Windows 版通过 Adobe Creative Cloud 安装及更新，
DaVinci Resolve是Blackmagic Design推出的一体化影视后期工具，将素材管理、非线性剪辑、专业调色、Fusion视觉特效、Fairlight音频处理和成片交付整合在统一工程中。免费版已覆盖多数个人创作需求，