国际数学奥林匹克(IMO)比赛中,陶哲轩教授亲自为AI团队Numina颁奖,他们在AI数学奥林匹克(AIMO)竞赛中展示了出色的表现。Numina团队的7B模型成功解决了29道未公开的难题,获得首个进步奖。不同于常规,比赛限制了算力、模型和时间,强调创新而非资源投入。团队开源了模型、数据和训练过程,模型能通过Python验证解题思路。非营利组织Numina的目标是推动AI4Math的开放研究,他们希望创建AI数学的ImageNet,以促进数学问题解决的模型发展。团队背后的故事和取得的成就,预示着AI在数学领域的新篇章。
原文链接
本文链接:https://kx.umi6.com/article/3710.html
转载请注明文章出处
相关推荐
换一换
24岁,Axiom女创始人融资4亿
2025-10-05 23:26:31
半世纪难题48小时破解!陶哲轩组队把AI数学玩成打怪游戏了
2025-12-13 23:13:03
形式化证明与大模型:共创可验证的AI数学未来|量子位直播
2025-05-27 12:29:36
紫荆智康发布“紫荆AI医院”线上虚拟诊室
2026-04-10 20:27:03
国家网信办等五部门联合公布《人工智能拟人化互动服务管理暂行办法》
2026-04-10 18:28:11
AI产业扩张催生办公需求 深圳写字楼空置率连降两个季度
2026-04-10 17:24:03
AI设计蛋白质能识别特定化合物
2026-04-13 07:46:36
36.4万超声图文对!中国团队构建首个大规模超声专属数据集,让AI真正读懂临床诊断语义丨CVPR’26
2026-04-12 16:06:44
今年最火的AI产品,不止龙虾|榜单申报中
2026-04-13 19:12:23
AI换脸速度已达毫秒级!瞬间克隆分身:摇头眨眼都难辨真假
2026-04-13 20:17:42
奥特曼痛失三员大将 Meta千亿挖角挖到星门根上
2026-04-13 17:11:25
击败PI!星动纪元登顶具身奥林匹克,狂揽三项全球冠军
2026-04-10 19:25:39
河南首个“AI+OPC”生态联盟启动
2026-04-13 07:45:31
691 文章
590338 浏览
24小时热文
更多
-
2026-04-13 20:18:52 -
2026-04-13 20:17:42 -
2026-04-13 19:14:29