AI在线 AI在线

数学

苏州大学首篇数学四大刊！解决了40年未决的丢番图逼近问题

苏州大学首篇数学四大刊！解决了40年未决的丢番图逼近问题
闻乐 发自 凹非寺. 量子位 | 公众号 QbitAI中国学者又一篇数学四大刊成果出炉，还是苏州大学的首篇四大刊成果。 论文《Khintchine dichotomy for self-similar measures》已被Journal of the American Mathematical Society（《美国数学杂志》）录用。
12/15/2025 12:16:09 PM
闻乐
6小时告破30年数学难题，亚里士多德一夜成名

6小时告破30年数学难题，亚里士多德一夜成名
30年悬而未决的数学难题就这样被AI证明了？ 此时此刻，（前推特）正在刮起一股讨论之风——. 来自Harmonic的数学AI模型独立证明了Erdős问题#124，而这个问题已经被数学家无奈搁置了近30年。
12/1/2025 2:02:47 PM
一水
啊？微博7800美元训的大模型，数学能力超了DeepSeek-R1

啊？微博7800美元训的大模型，数学能力超了DeepSeek-R1
允中 发自 凹非寺. 量子位 | 公众号 QbitAI当整个AI行业陷入“参数竞赛”的狂热时，微博AI交出了一份出乎意料的答卷，为沸腾的大模型战场开辟了一条充满想象力的新路径。 近日，微博正式发布首个自研开源大模型VibeThinker，这个仅拥有15亿参数的“轻量级选手”，在国际顶级数学竞赛基准测试上击败了参数量是其数百倍的、高达6710亿的DeepSeek R1模型。
11/18/2025 2:11:05 PM
思邈
把数学变成谜题：SAT 求解器如何让机器自动写出人类做不到的证明

把数学变成谜题：SAT 求解器如何让机器自动写出人类做不到的证明
编辑丨%Marijn Heule 近十年来致力于破解数学难题，倘若将他的工作写成小说，可能更像特工代号：空六边形、舒尔数 5、凯勒猜想、七维。 事实上，这些曾是几何学和组合数学中最顽固的问题之一，困扰了人们 90 年甚至更长时间。 Heule 使用了一种名为可满足性（SAT）的计算方式将它们一一攻克。
11/17/2025 2:05:00 PM
ScienceAI
Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人，一年给AI编出8000万道数学题训练

Nature公开谷歌IMO金牌模型技术细节！核心团队仅10人，一年给AI编出8000万道数学题训练
梦晨 发自 凹非寺量子位 | 公众号 QbitAI谷歌DeepMind的IMO金牌模型，完整技术全公开了！ 延续DeepMind的命名传统，这次叫：AlphaProof。 依然是Nature刊发的形式，放出了AlphaProof的完整论文，首次详细公开了其背后的技术架构和训练方法。
11/13/2025 3:55:51 PM
梦晨
90后王虹连夺两大「菲尔兹奖」风向标！韦神都来听她讲课，陶哲轩盛赞

90后王虹连夺两大「菲尔兹奖」风向标！韦神都来听她讲课，陶哲轩盛赞
今天，34岁中国数学家王虹，拿下了2025 Salem Prize（塞勒姆奖）。 因在调和分析与几何测度论领域重大未解问题上的卓越贡献，获此殊荣。 在业界，它被誉为「菲尔兹」风向标。
10/28/2025 3:37:11 PM
前两天刚被群嘲，ChatGPT转头就解决了一个数学难题

前两天刚被群嘲，ChatGPT转头就解决了一个数学难题
前些天，OpenAI 研究员宣称 GPT-5 「发现」了 10 个悬赏数学难题的解决方法，舆论误以为是 GPT-5 给出了解题方法，结果被发现只是检索到了早已存在的文献，引发了学界大佬的群嘲以及对于 AI 领域夸大宣传和 AI 检索能力的激烈讨论。 参阅报道《OpenAI「解决」10 道数学难题？ 哈萨比斯直呼「尴尬」，LeCun 辛辣点评》。
10/23/2025 4:42:07 PM
数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始

数学界地震！GPT-5连破10道「百年悬案」，陶哲轩：AI革命才刚开始
科学研究，尤其是数学研究，真的要被AI彻底改变了。 两位数学研究人员，利用GPT-5，只用一个周末就解决了10个「百年悬案」级的埃尔德什难题。 埃尔德什难题，又名为Erdös problems，是数学家埃尔德什生前留下的大约1000多个问题，此前人类只解决了部分。
10/20/2025 8:57:00 AM
陶哲轩官宣AI数学基金首轮名单：29个项目瓜分1.3亿，数学界沸腾！

陶哲轩官宣AI数学基金首轮名单：29个项目瓜分1.3亿，数学界沸腾！
近日，陶哲轩表示，自己所担任顾问的AI数学基金，刚刚公布第一批获得资助的项目：由于收到大量高质量提案，基金已将总资助金额从900万美元翻倍至1800万美元。 预计2025年晚些时候还将再开放一轮申请。 去年12月，陶哲轩表示同意加入AI数学基金（AI for Math Fund）顾问委员会。
9/23/2025 9:15:31 AM
AI解数学题只靠最后一个token

AI解数学题只靠最后一个token
henry 发自 凹非寺. 量子位 | 公众号 QbitAI大语言模型在解心算题时，只依赖最后一个token？ 最近，来自加州大学圣克鲁兹分校、乔治·梅森大学和Datadog的研究人员发现：在心算任务中，几乎所有实际的数学计算都集中在序列的最后一个token上完成，而不是分散在所有token中。
9/14/2025 1:37:10 PM
henry
北大南开数学家解决著名“十杯马天尼”问题：更统一、更优雅的证明

北大南开数学家解决著名“十杯马天尼”问题：更统一、更优雅的证明
困扰数学和量子力学交叉领域长达半个世纪的难题，因为北大、南开数学家的参与，终于是有了较为完美的答案。 这个难题有个非常有趣的名字，叫做“十杯马天尼”（The Ten Martini Problem）。 之所以叫这个名字，是因为数学家马克·卡茨（Mark Kac）在1981年表示，谁能解决这个问题，就请对方喝十杯马天尼。
8/27/2025 4:47:59 PM
十三
诺贝尔物理学成果48年后终获数学证明！中科大少年班尹骏又出现了

诺贝尔物理学成果48年后终获数学证明！中科大少年班尹骏又出现了
诺奖得主都没找到的证明方法，现在被两位华人学者突破了。 凝聚态物理奠基人菲利普·安德森（Philip Warren Anderson）提出的Anderson模型，因解释了半导体材料中电子为何突然不再流动而闻名。 这一成果也助力他获得诺奖。
8/25/2025 8:51:00 AM
和图灵机相关的这个数字，已经大到整个宇宙原子都容不下了

和图灵机相关的这个数字，已经大到整个宇宙原子都容不下了
闻乐 发自 凹非寺. 量子位 | 公众号 QbitAI衡量图灵机最大运行步数的海狸数（busy beaver number）纪录，被刷新了！ 一位神秘人突破了第六个海狸数的新下限，而且数值大到超乎想象——.
8/24/2025 2:23:20 PM
闻乐
78年后，中国数学家刷新世界记录！陶哲轩伯乐的外星人难题新突破

78年后，中国数学家刷新世界记录！陶哲轩伯乐的外星人难题新突破
1947年，陶哲轩的伯乐Erdős提出了组合数学中Ramsey数下界。 10岁的陶哲轩和Erdős最近，国内的马杰等三位研究人员联手带来了首次指数级改进。 他们公布了一篇arxiv新论文展示了这一领域的惊人进展：论文链接：、计算机科学家Gil Kalai表示改进令人惊叹！
8/11/2025 9:27:00 AM
内幕曝光：OpenAI模型坦承不会第六题，三人俩月拿下IMO金牌！

内幕曝光：OpenAI模型坦承不会第六题，三人俩月拿下IMO金牌！
OpenAI的ChatGPT真能拿到国际奥数IMO金牌？ 还是OpenAI的自嗨？ 背后到底有何隐情？
8/11/2025 8:57:00 AM
清华陈麟九人天团，攻克几何朗兰兹猜想！30年千页证明，冲刺菲尔兹大奖？

清华陈麟九人天团，攻克几何朗兰兹猜想！30年千页证明，冲刺菲尔兹大奖？
耗时30年，近1000页论文，终于攻克了「几何朗兰兹猜想」！ 朗兰兹纲领，又被称为「大一统理论」，困扰了数学家多半个世纪，至今仍是一个未解之谜。 如今，来自普朗克数学研究所Dennis Gaitsgory和耶鲁大学Sam Raskin领衔九人团队，在五篇论文中，完成了证明其中一个分支的壮举。
7/18/2025 10:15:36 AM
数学家跨界找到百年难题最优解，能给无线通信领域带来新思路

数学家跨界找到百年难题最优解，能给无线通信领域带来新思路
闻乐 发自 凹非寺. 量子位 | 公众号 QbitAI一位“门外汉”闲来无事学了几个月的新理论，居然找到了百年难题的最优解。 用的还是已经被淘汰的老方法。
7/9/2025 2:14:21 PM
闻乐
有道推出“子曰3”模型，轻松破解数学难题，助力教育公平！

有道推出“子曰3”模型，轻松破解数学难题，助力教育公平！
6月23日，网易有道正式推出并开源其最新的 “子曰3” 系列大模型，英文名为 Confucius3-Math。 这一专注于数学教育的推理模型，能够在普通的消费级 GPU 上高效运行，成为国内首个如此低成本高性能的 AI 教育工具。 在一系列数学推理任务中，“子曰3” 展现出了超越许多大规模通用模型的出色性能。
6/23/2025 6:00:39 PM
AI在线