标签：数学
中国队重夺IMO奥数冠军，6金双满分碾压全场，AI连铜牌都拿不到
在国际数学奥林匹克竞赛（IMO）中，中国队以六金、双满分的优异成绩重夺冠军，总分达到231分。中国队在本次比赛中表现尤为突出，前五道题目全部获得满分，第...
大语言模型离“数学证明高手”还有多远？斯坦福、伯克利、MIT 团队提出 IneqMath 评测标准
大语言模型（LLM）在生成看似正确的结论时，往往缺乏严谨的推理过程，尤其是在数学证明领域。不等式问题因其结构简单、逻辑清晰，成为检验模型推理能力的理想...
杨植麟被梁文锋叫醒了！Kimi新模型发布即开源，1T参数全线SOTA
Kimi在172天后发布了全新的Kimi K2基础大模型，采用MoE架构，总参数达到1T，激活参数为32B，尤其在代码、Agent和数学推理任务上展现了领先能力。此次发布不仅...
腾讯AI Lab 提出解耦推理新框架，破解IMO 数学难题
近年来，大语言模型（LLM）在数学推理领域取得了显著进展，但在形式化数学证明方面却遇到了瓶颈。尽管LLM能够以超过80%的准确率生成非形式化的解题思路，但在...
他47岁转方向，一举解决了球体堆积领域内最大的未解问题
球体填充问题是一个长期困扰数学家的经典难题，旨在寻找将球体尽可能高效地塞入高维空间的最佳方式。自17世纪开普勒提出三维球体的最优排列方式以来，数学家...
17岁少女推翻40年前数学猜想，师从北大校友张瑞祥，即将攻读博士学位
17岁的汉娜·凯罗在完成导师张瑞祥布置的家庭作业时，意外推翻了40年前的Mizohata-Takeuchi猜想。这一猜想诞生于上世纪80年代，是调和分析、偏微分方程和几何...
建筑生破解60年数学悬案，制成「永远同一面朝上」的单稳四面体
1966年，数学家约翰·康威和查德·盖伊提出了“均匀单稳态四面体”的构想，试图利用均匀材料制作一个无论如何放置都会翻到稳定一面的四面体。然而，经过多年研究...
华人学者助力「数学大一统理论」新突破！4位数学家花费近10年完成证明
四位数学家经过近十年的研究，将“数学大一统理论”——朗兰兹纲领向前推进了关键一步。他们的工作将模性理论从椭圆曲线扩展到了更复杂的阿贝尔曲面，证明了普通...
微软分享三大王炸算法：突破大模型推理瓶颈，性能大涨
微软近日分享了其自研的三大创新算法——rStar-Math、LIPS和CPL，旨在增强大语言模型的推理能力，特别是在数学推理和思考链方面的表现。这些算法不仅适用于小参...
刚刚！陶哲轩3小时对话流出：AI抢攻菲尔兹奖倒计时
陶哲轩近期公开预言人工智能将在数学领域实现突破性进展，甚至可能冲击菲尔兹奖级别的成就。这位菲尔兹奖得主在长达3小时的访谈中勾勒出AI参与数学研究的三个...
