标签：数学
OpenAI拿下IMO金牌，职业数学家崩溃：我终于明白李世石为何会落泪
Dave White，一位自诩为专业数学家的量化交易员，在得知OpenAI的AI系统在国际数学奥林匹克竞赛（IMO）上获得金牌后，感到了一种深刻的身份危机。他形容这种感...
全球首个IMO金牌AI诞生！谷歌Gemini碾碎奥数神话，拿下35分震惊裁判
谷歌DeepMind凭借其最新模型Gemini Deep Think在国际数学奥林匹克竞赛（IMO）中取得了历史性突破，成功摘得金牌。这一成就标志着AI在数学推理领域的重大进展...
先别急着给OpenAI加冕！陶哲轩：这种「金牌」，含金量取决于「赛制」
OpenAI 最近宣布其推理模型在国际数学奥林匹克（IMO）竞赛中取得了金牌水平的成绩，这一消息引发了广泛关注。该模型在严格遵循人类选手比赛规则的条件下，成...
陶哲轩回应OpenAI新模型IMO夺金！GPT-5测试版也曝光了
OpenAI最新模型在国际数学奥林匹克竞赛（IMO）中取得了金牌水平的成绩，这一突破引发了广泛关注。IMO是全球最顶尖的数学竞赛，每年仅有不到8%的参赛者能够获...
中国队重夺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年代，是调和分析、偏微分方程和几何...
