数学無限好，只是近黃昏 -Al欲來風滿樓,围棋之后是数学? AI數學大军兵压境 -从人类围棋手看人类数学家的未来 十年前,一位职业AI工程师,业余6段围棋手黄士杰帮助谷歌设计出AlphaGo围棋,打遍天下无敌手, 击碎了人类圍棋的智慧光環.从那时起,围棋沦为二流运动,市场萎缩.商业贊助逐年削減，有些比賽因拉不到贊助而停辦. 不过由于围棋賽事中,双方不得使用人工智能,公平公道,所以围棋尚可偷生. 从广义上讲,围棋也是一种数学.它只是数学沧海中的一粟.AI数学比AI围棋晚10多年才出现,它正在形成强大的"AI数学生产线", 震惊数学界。 和围棋不同,整个数学不是闭卷賽事,数学家们,数学老师们(美国约有150万人)可能将面临比围棋运动员更困难复杂的处境. 加州邮报(California Post)报道，1998年菲尔兹奖得主,加州Berkeley大学数学教授博赫兹(Richard Borcherds)宣布不再聘请助教批改学生作业,因为发现学生大量使用(AI)写作业,答案几乎完美， 那么，硕士论文、博士论文,数学论文,数学教授的录用,晋升,以及四年后的菲尔兹奖的归属...也面临着同样的问题 - 问题大了. 2026年9月陶哲軒等 25 位菲爾茲獎得主發表聯名宣言表达了他们的担忧.陶哲軒悲叹道："我们正在见证数学浪漫时代、英雄时代的终结.".丘成桐教授则用“海啸”来形容这股前所未有的冲击。极度担心机器的宏大势力会让大批年轻学者感到灰心. 如果人工智能主导了数学研究与教学，那么还有多少人会选择将数学作为终身职业去学习呢？ 也有个别数学教授"识时务者为俊杰", 转型变成“AI数学生产线工程师”:如荣获2026年菲尔兹奖的雅各布·齐默曼（Jacob Tsimerman）教授加盟 OpenAI;著名的传奇数论学教授肯·奥诺（Ken Ono）加盟 Axiom Math.等. 在美國，目前專注於打造"AI數學数学生产线"的公司有10-15家,如 Axiom Math、Numina、Subspace,OpenAI、Google DeepMind、Meta等. “AI数学家"攻城掠地:
2026年秋，OpenAI 突然在代码托管平台 GitHub 上一次性倾倒了 722 篇由大模型撰写的、声称解决了包括纳维-斯托克斯方程（千禧年七大难题之一）等重大难题的数学手稿。 DeepMind 的猜想機器：Google DeepMind 與劍橋大學合作，利用 Gemini 系統成功發現了「忙碌海狸（Busy Beaver）問題」中 11 個六狀態圖靈機的新數學結構，其規律直指著名的「考拉茲猜想（Collatz Conjecture） AxiomProver 成功证明了陈- gendron 猜想,开源数学猜想（Fel's Conjecture）,系统验证了诺贝尔奖得主罗伯特·奥曼1976 年的经典经济学定理，并在验证过程中发现了此前未被审视的潜在假设漏洞。他们联合哈佛大学学者共同推出了 EconLib —— 世界上第一个公共、可由机器验证的基础经济学成果库。 数学是仍然自然科学的皇冠, 但皇冠上的光環可能不再属于人类數學家.
攻城掠地 2026年秋，OpenAI 突然在代码托管平台 GitHub 上一次性倾倒了 722 篇由大模型撰写的、声称解决了包括纳维-斯托克斯方程（千禧年七大难题之一）等重大难题的数学手稿。这一“大跃进”式的暴力产出， • 有限单群分类（CFSG，亦称“庞大定理”）： • 2026年10月，Axiom Math 宣布完成了对“有限单群分类”的首次完整计算机验证形式化——这是人类历史上最长的数学证明（涵盖500多篇论文，总计约15,000页）。 • 在24天内，由多个AI智能体组成的协作群组将该证明转化为 Lean 形式化验证语言，生成了约4310万行代码，并在此过程中发现了原已发表论证中的多处逻辑偏差或错误。 • 拉马努金方程（Ramanujan Equations）： • 数学家们（包括 Ken Ono 和黄志超）与 AxiomProver 系统合作，将数学中五个不同领域的概念相互关联，证明了无穷多个拉马努金型方程。 • 素数间距的有界性（素数间距问题）： • 2026年9月，Axiom Math 的AI智能体在人类近期研究（如 Julia Stadlmann 的相关工作）的基础上，快速迭代并刷新了关于素数间距有界性的研究纪录。 • 普特南数学竞赛（Putnam Exam）及数学猜想的突破： • Axiom 系统在普特南数学竞赛等基准数学挑战中取得了顶尖成绩，并协助研究人员攻克了多项长期悬而未决的数学猜想。 KataGo：当前开源围棋 AI 的绝对王者。在技术演进后，它的棋力已经将 AlphaGo 甩开几个数量级，目前顶尖人类棋手在面对它时甚至需要被让子。AI 的恐怖：即便在受让两子的情况下，KataGo 在过去的内部测试中对人类职业高手依然保持着压倒性的胜率。当今人类围棋第一人申真谞自己也坦言：“在平时的练习中，我下两子棋从未赢过 KataGo，下三子棋从未输过。”因此，两子棋是真正检验人类极限的平衡.在 2026 年，人类世界第一人申真谞也在正规的“让两子”公开对局中，纯靠极其强大的大局观和防御耐力，拒绝模仿 AI 的陷阱，正面击败了 KataGo。人类正在用不同的方式证明自己的智慧。
智力「光環褪去」導致商業價值縮水 在 AlphaGo 橫掃人類 之前，圍棋手被視為「人類最高智慧」的代表，企業主贊助圍棋賽事，是為了與這種頂尖的智慧和神祕感掛鉤。 經濟創傷： 當 AI 證明了幾萬元的顯示卡與演算法就能輕易碾壓人類棋王時，圍棋神聖的「智慧光環」被打破了。這導致傳統贊助商（如金融、地產企業）逐漸失去對純人類比賽的獨佔興趣，部分賽事的獎金總額被削減，甚至有些比賽因拉不到贊助而停辦
享譽國際的日裔美國數論大師小野謙（Ken Ono）教授 在美國，專注於「人工智慧數學（AI for Math）」的獨立新創公司目前數量大約在 5 到 10 家左右。雖然許多通用的 AI 巨頭（如 OpenAI、Google DeepMind、Meta）內部都設有龐大的數學推理團隊，但市場上也湧現了一批專門以「打造 AI 數學家」或「自動定理證明」為核心目標的垂直領域新創公司（例如 Axiom Math、Numina、Subspace 等）。 加州邮报(California Post)25日报道，被喻为“数学界诺贝尔奖”的 1998“菲尔兹奖”(Fields Medal)得主、柏克莱加大(University of California Berkeley)数学教授博赫兹(Richard Borcherds)发现学生大量使用ChatGPT等人工智慧(AI)写作业且答案几乎完美，觉得聘请助教批改AI代笔完成的功课已经“失去意义”，浪费时间与金钱，宣布不再批改学生作业。 博赫兹受访时表示，现在评分标准改为学生是否完成作业给分，而不是查看答案是否正确。他说，面对AI日新月异发展，现在不知道有何更佳解决办法。 博赫兹说，如今要分辨AI代笔与学生自行完成的作品，困难度越来越高。他表示：“没有简单的办法能区分人类或AI生成作品。”他表示，偶尔可以看出是AI代笔，因为出现某些AI常见错误，可是AI进步太快，如今已很少再犯明显错误。 博赫兹接受柏克莱加大学生报纸“加州人日报”(Daily Californian)专访时，对于数学的未来恐怕受到AI冲击表示担心。 他说：“如果AI 继续以目前速率提升，那么短短几年之内，人类数学家能做到的事，就没有什么是AI没办法做得更好的。” 怀抱理想希望成为数学家的年轻人是否应该继续投身数学领域，博赫兹表示无法确定。他说，五年前的时候，数学界似乎仍处于还没有受到AI严重冲击的保护圈，并未像其他产业一样受到AI科技颠覆，但如今“我完全不知道应该提供什么建议”。 他说：“我还拿这个问题去问ChatGPT，ChatGPT也说不知道未来将发生什么事。” 博赫兹指出，学术机构通常存在着抗拒改变的特质，因此大学可能无法立即适应AI带来的快速发展。他说，在AI能力迅速演进之下，数学系在未来几年还是可能像现在一样运作。 他以学术期刊举例说，尽管纸本期刊在几十年前就已经失去绝大部分的存在意义，但迄今仍继续出版实体版本。 他表示，历史上有许多技术出现突破，包括手工纺织遭到织布机淘汰，马匹被汽车淘汰，“不过，数学领域第一次发生这种事情”。 博赫兹指出，线上考试如今变成“浪费时间”，因为有些学生用AI答题。他说，无法看出哪些学生使用AI，但发现线上考试平均分数整体升高。 我的前8篇: 1.九一八！纪念国殇日95周年 -正羲审判千古罪人张学良(附视频)
https://blog.creaders.net/u/27773/202609/565430.html
節溯源 2.讀李白《春夜宴桃李園序》之遐想 -誰是世間的過客? 點擊下面
https://blog.creaders.net/u/27773/202406/489625.html
3.梅兰芳和兩位仍然在世的入室弟子舒昌玉(100岁),胡芝风(87岁)
https://blog.creaders.net/u/27773/202512/535381.html
4. 南京大屠杀88周年祭念 -对比德日, 剖析日本民族性-(附视频)
https://blog.creaders.net/u/27773/202512/534079.html
5.紀念日本投降書簽定80周年,緬懷東京審判為國立功的梅汝璈法官
https://blog.creaders.net/u/27773/202508/524626.html
6.紀念日本無條件投降80周年,八壹四空軍節"誕生86周年 (附視頻)
https://blog.creaders.net/u/27773/202508/522627.html
7.梁文峰點金成石激起千層浪-聽川普發聲和AI科技巨頭評價(視頻) https://blog.creaders.net/u/27773/202502/507215.html
8.钱锺书在上海孤岛的三位私房学生-周节之、方资敏,何灵琰 https://blog.creaders.net/u/27773/202604/548706.html
| 
