新闻资讯7
o4 - mini击败6组数学家团队
新智元
AI 摘要
Epoch AI团队竞赛中，o4 - mini - medium与数学家团队对决，击败6组，虽未全超人类，但表现亮眼。Epoch AI预测2025年底AI或超30% - 50%人类基准，AI成功机制待探索。
阅读原文 · 新智元
o4-mini暴击六大数学天团，攻破陶哲轩难题！4.5h激战人类阵地失守
Epoch AI团队举办竞赛，约40位数学精英分成8组与o4 - mini - medium在FrontierMath基准上对决。o4 - mini击败6组团队，虽未完全超越人类，但Epoch AI预测到2025年底AI可能超30% - 50%人类基准。
关注公众号
扫码关注
第一时间收到每日精选
相关文章
新闻资讯8
Claude扫清2000阶以下哈达玛矩阵难题
Anthropic研究员携手Claude做出668阶哈达玛矩阵，解决该问题。此问题曾难倒人类数学家30年，被收录进FrontierMath基准测试。此次还扫清2000阶以下所有悬而未决的哈达玛矩阵阶数。
量子位
算法论文8
清华微软STAR - PólyaMath超GPT - 5.5 13.5%
清华大学与微软亚洲研究院团队提出推理多智能体系统 STAR - PólyaMath，构建探索 - 推理 - 验证框架，解决大模型长程数学推理瓶颈，在八大数学竞赛基准获最优成绩，还可泛化到其他推理场景。
机器之心
新闻资讯8
谷歌Gemini：AI攻入科研，刷爆数学难题
谷歌DeepMind放出多篇重磅论文，Gemini Deep Think成「科研合伙人」，攻克多领域难题。谷歌打造基于Gemini的「AI数学家」Aletheia，在博士级难题获科研里程碑，首批6篇论文成果斐然。
新智元
新闻资讯7
57岁数学家投奔24岁学生，造「AI数学家」
57岁杰出数学家Ken Ono辞去终身教职，加入24岁学生Carina Hong创办的Axiom Math。Carina履历逆天，想打造「AI数学家」。Ken受研讨会冲击，看好AI数学潜力，将助力模型发展。
新智元