为何AI数学证明引发关注？
一场不像研讨会的盛会 纽约大学沃伦韦弗大厅一〇九室从未准备好迎接那天的冲击。下午三点半特别研讨开始前半小时，渴望占座的听众已挤满门外走廊，开门后人们蜂拥而入，有人翻越椅背抢占好位置，过道与每一寸地面都站满了人，迟到者一直排到出口之外。有人感叹这大概是这间大厅见过的最多人，另一人说这不是普通研讨，而是一场摇滚音乐会。 主讲人是纽约大学数学家特里斯坦·巴克斯特，这是他在九月八日之后首次公开演讲。那天，OpenAI宣称解决了数学七大千禧年难题之一的纳维-斯托克斯方程问题，而此前巴克斯特曾公开指责该公司似乎窃取了自己的成果。这场围绕数十年来最大数学突破的公开分歧，为动荡的一夏画上句点，也令人类最古老的学术学科永久改变。 在巴克斯特调试设备时，作者瞥见前排打开的笔记本电脑，每屏都是一个大语言模型的聊天窗口，或是Anthropic的Claude Code，或是OpenAI的ChatGPT Codex。提问者正让模型协助构造数学证明，或重写正......阅读全文
OpenAI宣布攻克千禧年难题：AI证明纳维斯托克斯方程存缺陷
OpenAI宣称在数学领域取得一项“重磅突破”：其自研内部模型证明了用于描述流体运动的纳维-斯托克斯方程（Navier-Stokes）存在“致命缺陷”。若属实，这将是人类历史上第二次有人攻克七大“千禧年大奖难题”之一——而首次的解决者是人，这一次却是一家AI公司。“千禧年大奖难题”由克莱数学研究所于
为何OpenAI的AI“证明”纳维斯托克斯难题，数学家却看不懂？
本月初，OpenAI宣布它找到了数学界最棘手的未解难题之一——纳维-斯托克斯方程的解法，引发巨大轰动。该公司调动一万个强大的AI代理，连续八十八小时不间断地攻坚这个困扰学界已久的谜题，声势颇为浩大。然而这次宣布从一开始就充满争议，因为不少数学家指责这家公司实质上窃取了他们多年积累的原创研究成果。争议
OpenAI称破解数学“千禧年难题”
开放人工智能研究中心（OpenAI）宣称，一个真正重量级的数学公开难题首次由计算机攻克。该机构公布了“千禧年难题”中与流体运动相关问题的解答方案。据《自然》报道，这家坐落于美国旧金山的人工智能（AI）公司于9月8日对外宣布，研究人员得出了流体最常用模型——纳维-斯托克斯方程的求解结果，证明该方程会出
AI－疑似破解千禧年难题纳维斯托克斯，争议也随之而来
OpenAI 近日宣布，在由智能体辅助下「解决」了纳维-斯托克斯方程的存在性与光滑性难题，这是数学界最著名的未解之谜之一。纳维-斯托克斯方程描述流体如何随压力、密度与速度随时间演化，是科学与工程的一块基石。天气预报、洋流研究、飞机与涡轮设计，都离不开这组方程，其重要性怎么强调都不为过。尽管方程可追溯
为何AI数学证明引发关注？
一场不像研讨会的盛会 纽约大学沃伦韦弗大厅一〇九室从未准备好迎接那天的冲击。下午三点半特别研讨开始前半小时，渴望占座的听众已挤满门外走廊，开门后人们蜂拥而入，有人翻越椅背抢占好位置，过道与每一寸地面都站满了人，迟到者一直排到出口之外。有人感叹这大概是这间大厅见过的最多人，另一人说这不是普通研讨，而是
AI破解六维球面数学谜题正成新风口
一个六维球面能否用复数（包含看似不可能的负一平方根）完整描述？这个由德国数学家海因茨·霍普夫（Heinz Hopf）在1947年提出的问题，悬置了近80年。如今，Anthropic公司的数学家莱文特·阿尔珀格（Levent Alpöge）借助人工智能，似乎给出了肯定答案——尽管结果尚未被完全验证。这
人工智能是否真的破解了千禧年数学难题
流体运动看似简单，背后的方程却是数学界最著名的悬案之一。这道谜题如今似乎被人工智能解开，尽管这一成果本身也引发了激烈争议。九月八日，OpenAI 宣布在纳维-斯托克斯存在性与光滑性问题上取得突破——该问题分量极重，以至于有人为它的解答悬赏一百万美元，被视作指引整个流体力学方向的指南针之一。就在前一天
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
为何纳维斯托克斯方程的非物理解引发关注？
近两个世纪，研究流体运动的研究者都依赖纳维-斯托克斯方程（Navier-Stokes equations），但数学家仍对其是否贴合现实存疑。一篇将发表于《数学年刊》（Annals of Mathematics）的论文取得新突破：由普林斯顿高等研究院的达拉斯·阿尔布里顿（Dallas Albritt
研究显示：AI数学解题能力显著提升
案例详情：一份新的数学愿望清单 今年六月的一天，来自全球各地的数学小组齐聚六座城市——伦敦、多伦多、洛杉矶、纽约、伯克利与坎布里奇，共同编制一份全新的"五十大高难度开放问题"清单。这项活动由专门评估AI进展的Epoch AI发起，唯一的硬性要求是：每个问题都必须能用计算机自动
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
为何AI能破椭圆曲线复杂度纪录？
为什么人工智能能够打破数学家保持了多年的最复杂曲线纪录，这引发了学界的广泛关注。 数论领域迄今最复杂的成果看起来却异常简单：它本质上就是一条曲线和一条直线。 更专业地说，这是一个秩至少为三十一的椭圆曲线，意味着它具有至少三十一个独立的起始点。 秩越高，曲线上的规律就越复杂，也决定了某些点沿曲线分布的
真解还是取巧：OpenAI－解的是正确的方程吗？
两周前，OpenAI 宣称解决了数学中最大的悬而未决问题之一——纳维-斯托克斯问题。这项成就对应克雷数学研究所提供的100万美元悬赏。该证明随即引发轩然大波，争议焦点在于人工智能公司正在争相颠覆这个学科。但尘埃远未落定之际，另一个争议浮出水面：OpenAI 解的到底是不是「对」的那个纳维-斯托克斯问
数学证明难题终于有解了
闸门已经打开。就在OpenAI的新大语言模型取得二十年来最大数学突破一个月之后，这家公司又放出了一批成果：据称多达三百七十二项结果，每一项都解决或实质性推进了数学或理论计算机科学中的某个重大公开问题。这些结果于美国东部时间傍晚六点发布在一个公开代码仓库中，数学界需要数月才能逐一消化、理解，以判断
研究显示：大语言模型数学证明效果提升显著
核心数据：一份离奇的里程碑证明 数学界数十年来最重大的事件正逐渐清晰，而它比任何人设想的都更加离奇。九月初，OpenAI发布了一份令人费解的166页纳维-斯托克斯问题解答，这是数学界著名的百万美元难题之一。 该公司动用了约一万个副本的智能体群，也就是其新近擅长数学的大语言模型，耗费约88小时计算时
OpenAI数学突破争议将改变整个科研行业
本周二，OpenAI 宣布借助一支由先进 AI 智能体组成的大军，找到了一个著名未解数学问题的解法。但这场发布会迅速演变为一场爆炸性丑闻：数学家们指控该公司“窃取”了他们的研究成果，学术界对此普遍感到震惊与愤慨。 核心数据：十亿次算力冲击 Navier-Stokes OpenAI 声称破解的是纳维-
AI数学证明可信性难题终于有解了
本周二，聊天机器人制造商开放人工智能发布数百篇新论文，声称包含各类数学问题的证明，这正值其人工智能智能体求解纳维-斯托克斯方程的方式引发巨大争议之后。这一发布的处理方式，如同纳维-斯托克斯事件一样，惹恼了该领域的专家，他们对该公司模型可能使用其成果感到恼火，也反感隐含的期望——即他们应去从事拆解并
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
我科学家首次用中国大模型攻克世界级数学难题
近日，困扰数学界30余年的世界级难题——三维Ghys猜想取得突破。大湾区大学理学院教授许地生团队依托上海人工智能实验室书生科学多模态大模型S2（以下简称书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。相关论文已在预印本平台arXiv发布，形式化代码已在GitHub
国内学者使用国产大模型攻克世界级数学难题
近日，上海人工智能实验室（上海AI实验室）访问学者、大湾区大学教授许地生宣布，其团队依托书生科学多模态大模型S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维Ghys猜想证明。中国科学院院士刘若川、北京大学教授董彬团队利用其开发的SHEAF框架对本次证明完成形式化验证，验证了这一工
数学突破－vs－工程现实：OpenAI－的方程证明意味着什么？
OpenAI可能声称解决了一个对许多现代技术而言至关重要、价值百万美元的数学问题，但不要指望事情会立刻发生变化——至少不会马上。本月早些时候，OpenAI声称其内部模型之一证明了纳维-斯托克斯方程在某些情形下会失效并给出无意义的答案。这些方程用于模拟流体的运动。专攻湍流问题的工程公司ReynKo首席
我国团队完成三维粘性挂谷猜想形式化验证
近日，南开大学讲席教授郭少明带领团队与字节跳动Seed合作完成三维粘性挂谷猜想的形式化验证工作，并在开源代码托管平台GitHub上发布。 据悉，这一成果实现了对现代数学领域三维挂谷猜想的一次机器形式化验证，也为未来利用计算机处理更大规模、更复杂的数学证明任务提供了重要实践。 形式化验证，简单
“深度思维”AI系统探索科研级数学问题
人工智能（AI）正从解决数学竞赛题迈向探索科研级数学问题。谷歌旗下“深度思维”公司团队开发并测试了一种名为AlphaProof Nexus的AI框架，其能自主搜索数学证明，并利用计算机程序验证推理过程。在测试中，该系统解决了9个此前未解决的厄多斯问题，其中两个已悬而未决超过50年。此外，该系统还解决
校企联合完成三维粘性挂谷猜想形式化验证
近日，南开大学讲席教授郭少明带领团队与字节跳动Seed合作完成三维粘性挂谷猜想的形式化验证工作，并在开源代码托管平台GitHub上发布。这一成果实现了对现代数学领域重要成果的一次机器形式化验证，也为未来利用计算机处理更大规模、更复杂的数学证明任务提供了重要实践。三维挂谷猜想是现代数学中的著名难题之一
站在前人的肩膀上，新一代数学家正在崛起
在中国科学院数学与系统科学研究院（以下简称“数学院”），各个研究方向的新一代数学家站在前人的肩膀上正在崛起。他们活跃在国际最前沿，正在完成从跟随者到引领者的转变。“璀璨团队” “偏微分方程卓越创新国际团队”璀璨闪耀，这里集聚了该领域最优秀的青年人才，他们共同攻关流体力学方程（纳维—斯托克斯方
研究显示：AI数学证明效果提升显著
问题提出：当两套研究同时借助 AI 攻克同一道难题 上周四，麻省理工学院（MIT）研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校（UCSB）博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
为何2026年菲尔兹奖引发全球数学界关注？
问题提出：流体如何做到宏观连续、微观却混沌？一根在空中旋转的铅笔怎样扫过最小空间？打结的绳子怎样被严谨区分？这些看似朴素、却困扰数学界数十年的难题，正是 2026 年菲尔兹奖破解的核心对象，也重新点燃了公众对纯粹数学的好奇。 在费城召开的国际数学家大会上，有"数学界诺贝尔奖"之称的菲尔兹奖揭晓，四
周伯文：科学研究是下一个编程
“科学探索的罗盘，始终应该由人类的心智、好奇心与价值判断来掌握。”9月12日，上海人工智能实验室主任、首席科学家周伯文受邀参加2026浦江创新论主论坛并发表主旨演讲，分享人工智能（AI）赋能科学研究的新进展与前沿思考，并以“书生·端砚”科学发现平台为例，分享了上海人工智能实验室最新的探索实践。