国际数学奥林匹克(IMO)比赛中,陶哲轩教授亲自为AI团队Numina颁奖,他们在AI数学奥林匹克(AIMO)竞赛中展示了出色的表现。Numina团队的7B模型成功解决了29道未公开的难题,获得首个进步奖。不同于常规,比赛限制了算力、模型和时间,强调创新而非资源投入。团队开源了模型、数据和训练过程,模型能通过Python验证解题思路。非营利组织Numina的目标是推动AI4Math的开放研究,他们希望创建AI数学的ImageNet,以促进数学问题解决的模型发展。团队背后的故事和取得的成就,预示着AI在数学领域的新篇章。
原文链接
本文链接:https://kx.umi6.com/article/3710.html
转载请注明文章出处
相关推荐
换一换
半世纪难题48小时破解!陶哲轩组队把AI数学玩成打怪游戏了
2025-12-13 23:13:03
24岁,Axiom女创始人融资4亿
2025-10-05 23:26:31
形式化证明与大模型:共创可验证的AI数学未来|量子位直播
2025-05-27 12:29:36
工信部:推进汽车人工智能技术应用、平台架构及车用大模型能力评价等国家标准化指导性技术文件审查报批
2026-05-26 17:44:04
谁是手机里最值得留的AI?DeepSeek排第一 豆包第二
2026-05-26 23:57:37
卡帕西Anthropic最新头衔:技术员工(MTS)
2026-05-26 16:35:48
雷鸟双品齐发:GT 系列、V4 同台亮相,次世代 AI 眼镜雷鸟 iO 提前预告
2026-05-28 18:32:51
北京将制定人工智能产业发展条例 计划11月对条例草案进行一审
2026-05-28 15:30:15
上海:实施“人工智能(AI)+”行动 加快AI+工业软件研发
2026-05-27 12:27:04
工信部发布2026年汽车标准化工作要点:推动自动驾驶系统强制性国家标准、自动驾驶仿真试验方法标准发布实施
2026-05-26 17:42:58
前纽约联储行长:当前降息理由很弱 中性利率可能高于美联储假设
2026-05-27 03:04:01
黄仁勋痛批以AI为理由裁员:装聪明 AI才刚兴起怎可能导致失业
2026-05-26 12:27:15
独家|许鹏出任连尚集团首席执行官 加速AI战略纵深突破
2026-05-28 12:20:26
719 文章
699963 浏览
24小时热文
更多
-
2026-05-28 21:38:24 -
2026-05-28 19:37:02 -
2026-05-28 18:32:51