EN
xmrzyx.com

撸撸社30位数学家出题也差点没难倒AI,但这似乎还不意味着它“懂数学”

据知名科普杂志《科学美国人》的报道,今年五月中旬,一场由非营利组织 Epoch AI 主办的 FrontierMath 研讨会在加州伯克利秘密举行。三十位被称为“全球最负盛名的数学家”齐聚一堂,他们的任务只有一个:设计出人类专家能够解决、但最先进的 AI 却会束手无策的数学难题。 这场对决的主角,是来自 OpenAI 的推理大语言模型 o4-mini。与早期版本的 ChatGPT 相比,o4-mini 在专门的数据集上进行训练,得到了更强的人类反馈强化,能够进行更加复杂和深入的数学推理。 报道提到,Ken Ono 在会议中遇到了一个令他十分难忘的时刻。他设计了一个在他所在领域(数论)被认为是“开放性问题”的博士级别难题,并将其交给了 o4-mini。在接下来的十分钟里,Ono 和其他与会者在惊愕中见证了 AI 实时展开解题过程。模型首先花了大约两分钟,迅速检索并“掌握”了该领域的相关文献。紧接着,它提出先解决一个简化的“玩具版本”问题以进行学习。几分钟后,它宣布已准备好应对真正的挑战。最终,在总共不到十分钟的时间里,o4-mini 不仅给出了正确答案,其输出的文字甚至带有一种俏皮的自信,结尾写道:“无需引用,因为这个神秘数字是由我计算出来的!” 这一幕给 Ono 带来相当大的冲击,他坦言:“我从未在模型中见过那种推理方式。那是科学家的工作方式。这太吓人了。”他甚至在周日清晨就迫不及待地通过加密通讯软件 Signal 提醒其他与会者,他感觉自己面对的不再是一个程序,而是一个“强大的合作者”。 类似的震撼场面在会议期间反复上演。其他数学家发现,即使是涉及最近研究成果的问题,AI 也表现出惊人的文献检索和应用能力。它能够迅速找到、引用并应用相关的研究结果,这种速度和准确性远超人类专家的预期。伦敦数学科学研究所的 Yang-Hui He 也给出了极高的评价,认为 AI 的表现“比一个非常非常优秀的博士生做得还要多”。 在这场挑战中,o4-mini 在处理需要深度几何直觉和拓扑理解的问题时表现尤其出色,而且其速度远超人类,能在几分钟内完成人类专家需要数周甚至数月才能完成的工作。尽管最终与会者们还是成功找到了 10 个能够难住 AI 的问题,但这个结果本身还是给数学家们带来极大冲击——相比于传统语言模型在类似基准测试中不到 2% 的成功率,o4-mini 展现出的数学推理能力已经达到了前所未有的水平。 不过在这篇文章引发热烈讨论后,一位参与了此次研讨会的数学家、Hyperbolic 创始人 Jasper Zhang 提出了一些异议,他表示,虽然 AI 的进步确实惊人,但原始报道在某些方面“有些夸张,需要澄清”。 Jasper 首先指出了一个被报道淡化,却对整个挑战性质有决定性影响的关键约束:“每个问题都需要一个数值答案”。他解释说,这与高等数学的核心有显著区别。现代数学研究的中心通常是推理与证明,而非纯粹的计算。一个问题可以有复杂的逻辑结构和深刻的理论内涵,但最终被要求输出一个具体的数字,这本身就改变了问题的性质,使得它更偏向于一个可以被计算工具优化的任务。 Jasper 所在的几何与拓扑小组,最初的策略是设计一些需要深刻几何直觉和关键定理理解的博士级别问题。他们相信,这是当前 AI 模型的弱点。但令他们惊讶的是,o4-mini 模型成功解决了他们提出的大部分问题。但这里的“解决”需要打上引号。Jasper 特别提到:“尽管其推理过程有时是错误的,但它仍然设法得出了正确的数值答案。” 这就说明,AI 可能并非通过类似人类的、严谨的逻辑推演来“理解”问题,而是利用其强大的模式匹配和计算能力,找到了一条通往正确数字的路径,哪怕这条路径在数学逻辑上并不完美。 基于这一发现,Jasper 和他的同事调整了策略。他从一篇数学论文中提取了几个中间定理,然后设计了一个新问题,要求将这些定理综合起来,形成一种计算方法。这一次,AI“正如预期地陷入了困境”。Jasper 写道:“它无法将中间步骤联系起来,也无法有效地进行逻辑链条的推理。”这次失败,恰恰揭示了当前 LLM 的深层局限:在需要从零开始进行多步骤、跨概念的逻辑综合与创造时,它仍然力不从心。 除了个别非常吸引眼球的案例,这次会议还揭示了 AI 数学能力的其他重要特征。参与者们发现,o4-mini 在处理涉及最新研究成果的问题时表现出色,能够有效地搜索、理解并应用最新的学术文献。这种能力在某种程度上弥补了人类专家在信息处理速度上的不足。 同时,会议也暴露出 AI 系统的一个潜在风险:过度自信的表达方式。Ono 和 He 都表达了对 o4-mini 结果可能被过度信任的担忧。“有归纳证明、反证法,然后还有恐吓证明,”He 说,“如果你用足够的权威说某件事,人们就会感到害怕。我认为 o4-mini 已经掌握了恐吓证明;它说每件事都充满自信。” 从那 10 个成功“难倒”AI 的问题来看,它们往往需要复杂的多步骤推理和创新性的概念综合,而这也说明,当前 AI 系统的局限还是主要体现在原创性思维和深度逻辑综合能力上。 最后,我们可以用 Jasper 的几点核心看法作为总结:AI 在过去两年确实取得了巨大进步,但目前的 LLM 在很大程度上仍然依赖于模式匹配,其深度推理能力有限。它们尚不具备生成全新数学成果的能力,但极其擅长收集相关文献和起草初步解决方案。人类的监督,尤其是在验证和综合方面,仍然是不可或缺的。 他的预测也更为温和:在未来一到两年内,AI 将主要作为数学家的“助手”,帮助发现新理论和解决开放问题,就像陶哲轩与 DeepMind 的合作那样。之后,AI 才会开始作为“合作者”,并最终独立地推动数学前沿。

撸撸社
撸撸社对比之下,在去年的 WWDC24 中,John Giannandrea 公开亮相并接受了媒体采访。而在今年WWDC25 中,不仅Giannandrea 本人未露面,乃至苹果公司本身在AI方面的表态也极为“谨慎”,苹果公司软件主管Craig Federighi在演讲中仅简短提及,“Apple智能还需要更多打磨时间”,整场发布会则更多聚焦在iOS 26引入的全新 Liquid Glass视觉风格等系统层面更新。但他们没有,原因在于将杨融入大多数具备竞争力的阵容会相当复杂。他的价值全部来自于他的自主进攻创造能力,因此他需要始终掌控球权。这会剥夺班凯罗和瓦格纳的球权,进而降低他们的价值,因为他们两人都不是强力的射手。这对贝恩来说不是问题。他是一名精英级别的射手。上赛季,奥兰多全队在大空位三分球上的命中率仅为35.1%。这是联盟最差的表现。贝恩在任何一个完整赛季中,三分球总命中率从未低于38.1%,而且上赛季他在大空位情况下的三分命中率高达46.9%。他还能提供一些二次进攻组织能力,这正是魔术队所需的,但他不会垄断进攻。撸撸社ysl水蜜桃86满十八岁还能用吗这份采购订单不再是一张纸或PDF,而是一段代码。其中的支付条款被设定为:“当且仅当AI智能体验证员确认此批货物在全程温度合规的情况下,完好运抵目的地仓库时,立即将合同总额的90%以USDC自动支付给供应商。”据报道,库珀希望在接受镜头前采访的时候能够得到报酬,对此记者说道:“看起来埃斯-贝利在过去一年里得到了一些糟糕的建议,这让他得罪了不少人。”
20250819 🖤 撸撸社目前台媒称福原爱长期在我们国内发展,在某平台一直在发自己的动态,所以青森大学考虑与她不再续约其实也符合常理,属于情理之中的事情。无人区一区二区区别是什么呢埃因霍温总监斯图尔特表示:“这对我们来说是重要的一笔签约。最重要的是,蒂尔的能力与我们主教练博斯倡导的打法非常契合。此外,蒂尔性格开朗、斗志昂扬且经验丰富,在场外对埃因霍温也极具价值。一旦阵容中有像蒂尔这样的球员,你肯定不愿放走他。我们对成功续约感到无比高兴。”
撸撸社
📸 刘虎涛记者 臧春影 摄
20250819 🧼 撸撸社陶哲轩: 是的,从更广的范围看,我只是在寻找更多的工具,更多的方法来表明事物是随机的。你如何证明一个阴谋不会发生?对。51cao.gov.cn据报道,库珀希望在接受镜头前采访的时候能够得到报酬,对此记者说道:“看起来埃斯-贝利在过去一年里得到了一些糟糕的建议,这让他得罪了不少人。”
撸撸社
📸 陈秋宏记者 黄金明 摄
🥵 《华夏时报》记者注意到,雒明池的受贿事实共有28宗,受贿主要来自药企、民营医院、亲属及12名下属。他还安排儿子在企业挂职“吃空饷”,以此获利上百万元。wow亚洲服有永久60级么
扫一扫在手机打开当前页