研究显示：AI数学解题能力显著提升
案例详情：一份新的数学愿望清单 今年六月的一天，来自全球各地的数学小组齐聚六座城市——伦敦、多伦多、洛杉矶、纽约、伯克利与坎布里奇，共同编制一份全新的"五十大高难度开放问题"清单。这项活动由专门评估AI进展的Epoch AI发起，唯一的硬性要求是：每个问题都必须能用计算机自动验证解答。伦敦数学科学研究所的杨辉何带着放暑假的儿子参会，在蛋糕与咖啡的环绕下，与同行提交了三个横跨纽结理论、代数、拓扑与数论的问题。对他而言，求解公开猜想是数学文化的核心，"许多人正是因解决公开猜想而摘得菲尔兹奖，这意义非凡。" 截至九月底，清单上已有少数问题被攻克，其中包括一些地标性难题。OpenAI更宣布其尚未发布的内部模型已解出逾百道开放题。AI解题能力的跃升，正是这份清单出炉的直接背景：各家公司的模型正快速撕开数学最宏大挑战的口子，例如本月初OpenAI宣称解决了千禧年难题之一的纳维-斯托克斯问题。 ......阅读全文
研究显示：AI数学解题能力显著提升
案例详情：一份新的数学愿望清单 今年六月的一天，来自全球各地的数学小组齐聚六座城市——伦敦、多伦多、洛杉矶、纽约、伯克利与坎布里奇，共同编制一份全新的"五十大高难度开放问题"清单。这项活动由专门评估AI进展的Epoch AI发起，唯一的硬性要求是：每个问题都必须能用计算机自动
为何AI破解数学猜想引发关注？
上周，OpenAI震动数学界：它披露旗下一个内部人工智能模型，找到了传奇匈牙利数学家保罗·埃尔德什（Paul Erdős）1946年提出著名猜想的反例。这个“平面单位距离问题”（埃尔德什第90号问题）困扰数学家数十年。加拿大数学家丹尼尔·利特（Daniel Litt）称其为“第一个由AI自主产出、
OpenAI宣布攻克千禧年难题：AI证明纳维斯托克斯方程存缺陷
OpenAI宣称在数学领域取得一项“重磅突破”：其自研内部模型证明了用于描述流体运动的纳维-斯托克斯方程（Navier-Stokes）存在“致命缺陷”。若属实，这将是人类历史上第二次有人攻克七大“千禧年大奖难题”之一——而首次的解决者是人，这一次却是一家AI公司。“千禧年大奖难题”由克莱数学研究所于
OpenAI称破解数学“千禧年难题”
开放人工智能研究中心（OpenAI）宣称，一个真正重量级的数学公开难题首次由计算机攻克。该机构公布了“千禧年难题”中与流体运动相关问题的解答方案。据《自然》报道，这家坐落于美国旧金山的人工智能（AI）公司于9月8日对外宣布，研究人员得出了流体最常用模型——纳维-斯托克斯方程的求解结果，证明该方程会出
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
人工智能是否真的破解了千禧年数学难题
流体运动看似简单，背后的方程却是数学界最著名的悬案之一。这道谜题如今似乎被人工智能解开，尽管这一成果本身也引发了激烈争议。九月八日，OpenAI 宣布在纳维-斯托克斯存在性与光滑性问题上取得突破——该问题分量极重，以至于有人为它的解答悬赏一百万美元，被视作指引整个流体力学方向的指南针之一。就在前一天
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
AI求解数学难题正成为新风口
人工智能公司Anthropic用大语言模型生成了一份渗流理论核心猜想的证明，仅在其预言者发文数日后便宣告成功。 渗流理论研究随机网络中连通性的出现，一个长期圣杯问题便是刻画网络从有限簇到无限簇的相变阈值。 具体而言，数学家长期寻求理解一个阈值：高于它，某网络由无限开放连接构成的概率高；低于它，该概率
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
AI数学证明可信性难题终于有解了
本周二，聊天机器人制造商开放人工智能发布数百篇新论文，声称包含各类数学问题的证明，这正值其人工智能智能体求解纳维-斯托克斯方程的方式引发巨大争议之后。这一发布的处理方式，如同纳维-斯托克斯事件一样，惹恼了该领域的专家，他们对该公司模型可能使用其成果感到恼火，也反感隐含的期望——即他们应去从事拆解并
AI接连推翻数学猜想，人类还能守住菲尔兹奖吗？
“本届菲尔兹奖，将是人类最后一次拿下这项数学最高荣誉？”这个论断你相信吗？在王虹、邓煜历史性拿下菲尔兹奖的时候，大会还深入探讨了一个非常关键的问题：迅猛发展的AI究竟会不会取代数学家？国际数学家大会现场，继丘成桐后第二位获菲尔兹奖的华裔数学家陶哲轩当众敲响百年警钟：AI正在引爆数学界前所未有的“
OpenAI数学突破争议将改变整个科研行业
本周二，OpenAI 宣布借助一支由先进 AI 智能体组成的大军，找到了一个著名未解数学问题的解法。但这场发布会迅速演变为一场爆炸性丑闻：数学家们指控该公司“窃取”了他们的研究成果，学术界对此普遍感到震惊与愤慨。 核心数据：十亿次算力冲击 Navier-Stokes OpenAI 声称破解的是纳维-
AI介入科研不能没有规则
近日，因AI公司宣布其模型解决了一个数学界经典难题，陶哲轩、邓煜等25位菲尔茨奖获得者随后联名发布公开信提出警示，引发舆论哗然，热度绵延至今。人工智能驱动的科学研究已势不可挡，科学家该如何与AI做好配合？近一个世纪未解的数学难题88小时就被AI“攻克”，其他学科的堡垒会不会被“攻克”？……各种衍
为何工作记忆训练提升数学解题能力引发关注？
为什么改善工作记忆，就能帮助有数学困难的学生更好地解答应用题？堪萨斯大学的一项研究把目光投向了这个长期被忽视的认知环节，并给出了有说服力的答案。研究由堪萨斯大学教育与人类科学学院教育心理学副教授 Michael Orosco 等学者完成，对象为207名三年级学生，其中包括有数学困难与无数学困难两类儿
数学证明难题终于有解了
闸门已经打开。就在OpenAI的新大语言模型取得二十年来最大数学突破一个月之后，这家公司又放出了一批成果：据称多达三百七十二项结果，每一项都解决或实质性推进了数学或理论计算机科学中的某个重大公开问题。这些结果于美国东部时间傍晚六点发布在一个公开代码仓库中，数学界需要数月才能逐一消化、理解，以判断
OpenAI一次性发布700篇数学论文
10月6日，美国开放人工智能研究中心（OpenAI）一次性公开了完全由人工智能（AI）生成的700余篇数学预印本论文，整个科研界为之哗然。作为ChatGPT的开发方，OpenAI将这批论文上传至代码托管平台GitHub。 据《自然》报道，一部分数学家为诸多悬而未决的难题得到解答而感到振奋，但也
为何菲尔兹奖得主齐默尔曼对人工智能的忧虑引发关注？
38岁的雅各布·齐默尔曼（Jacob Tsimerman）近日被列为2026年菲尔兹奖四位得主之一，表彰他以跨界方法攻克了历时数十年的安德烈-奥尔特（André-Oort）猜想。然而，这位以"抢先解题"为乐的数学家却公开预言：两年内人工智能将在做数学方面超越人类数学家，并因此停止招收研究生、将研究方
量子计算正成为破译数学猜想的新风口
一个悬赏百万美元的数学谜题，或许有一天会在物理实验室里被解开。一项新研究让这一愿景又近了一步。 核心结论：量子系统映照黎曼ζ函数 黎曼猜想认为，质数在无限数轴上的数字位置，都遵循一个优美却晦涩的公式。然而在德国数学家伯恩哈德·黎曼提出这一猜测167年之后，尽管有百万美元奖金悬赏，数学家们仍不知道
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
AI首次创建高效准确数学算法
英国《自然》杂志封面以“矩阵游戏”为题，发表了人工智能（AI）公司“深度思维”团队的最新发现：AI可解决矩阵乘法问题。这是第一个可为矩阵乘法等基本任务发现新颖、高效且正确算法的AI系统。换句话说，这个名为“AlphaTensor”的AI能自行发现新算法，从而解决了50年来数学领域一个悬而未决的问
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
量子计算机解开“绳结”数学难题
量子计算机在解决拓扑学难题上展现出巨大潜力。据英国《自然》网站日前报道，总部位于英国剑桥的Quantinuum公司研究人员在arXiv网站发布预印本论文称，他们可利用量子计算机H2-2根据拓扑特性区分不同类型的绳结，且速度可能超越经典计算机。 研究团队利用量子算法计算绳结的“琼斯不变量”（描述
美国数学协会悬赏100万美元求解决比尔猜想
据美媒体6月5日报道，为了能解开自上世纪80年代来一直困扰数学家的一道数学难题，美国得克萨斯州一名银行家将悬赏金额提至100万美元。 4日，总部位于美国罗德岛的宣布，任何人只要能给出比尔猜想（）数字理论的解决方案，提出这一猜想的得州银行家D·安德鲁·比尔就会奖励给这个人100万美元。
数学院等在Demailly强开性猜想研究中取得进展
近日，中国科学院数学与系统科学研究院研究员、中国科学院院士周向宇与北京大学数学科学学院副教授关启安合作的论文《Demailly强开性猜想的一个证明》（A proof of Demailly’s strong openness conjecture）被国际数学期刊Ann. of Math.接受发表
研究显示：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
人工智能破解埃尔德什数学难题取得重大进展
2026年5月20日，OpenAI宣布其内部AI模型给出了单位距离猜想的反例——这是1946年由匈牙利数学奇才保罗·埃尔德什（Paul Erdős）提出的著名难题。随后8月1日，名为Astra的未发布模型又取得10项数学进展，其中包括另外3道埃尔德什问题。许多数学家将其称为AI数学能力的"相变"，曾
AI－疑似破解千禧年难题纳维斯托克斯，争议也随之而来
OpenAI 近日宣布，在由智能体辅助下「解决」了纳维-斯托克斯方程的存在性与光滑性难题，这是数学界最著名的未解之谜之一。纳维-斯托克斯方程描述流体如何随压力、密度与速度随时间演化，是科学与工程的一块基石。天气预报、洋流研究、飞机与涡轮设计，都离不开这组方程，其重要性怎么强调都不为过。尽管方程可追溯