标签：数学
当57岁“数学传奇”决定为24岁“天才少女”的AI项目打工
57岁的美国顶尖数学家小野健辞去弗吉尼亚大学终身教职，加入其24岁学生洪乐潼创办的AI数学公司Axiom Math，成为第15号员工。小野健是美国顶尖数论学家，研究...
6小时告破30年数学难题，亚里士多德一夜成名
AI独立证明了悬而未决30年的数学难题Erdős问题#124的简易版本，引发学术界广泛关注。来自Harmonic公司的Aristotle模型在6小时内完成了这一突破性证明，其解决...
首位“80后”院士，来自北大数院
刘若川当选中国科学院院士，成为首位'80后'院士。这位1980年出生的数学家现任北京大学博雅特聘教授、数学科学学院副院长，44岁的入选年龄使其成为今年新增两...
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和数学推理任务上展现了领先能力。此次发布不仅...
