标签：数学
杨植麟被梁文锋叫醒了！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参与数学研究的三个...
突破125年世纪难题！北大校友联手科大少年班才子破解希尔伯特第六问题
1900年，数学大师希尔伯特提出了23个数学难题，其中第六个问题——“物理学的公理化”，被称为数学物理的终极挑战。125年后，北大校友邓煜、中科大少年班马骁与陶...
我让10个大模型又参加了完整版数学高考，第一名居然是它。。。
在最近的一次测试中，多个大模型参与了数学高考的模拟考试，旨在评估它们在复杂数学问题上的表现。测试涵盖了单选题、填空题和解答题，特别关注了AI在处理高...
