陶哲轩支持！AI数学奥林匹克竞赛进步奖公布，奖金100多万美元

首页 » 陶哲轩支持！AI数学奥林匹克竞赛进步奖公布，奖金100多万美元

文章来源于互联网:陶哲轩支持！AI数学奥林匹克竞赛进步奖公布，奖金100多万美元

大模型做数学题到底如何，不妨让它参与一下这种级别的比赛。

「AI 数学奥林匹克竞赛（AIMO 进步奖）的初步成绩已公布。根据排行榜的数据，目前看来，获胜的程序在私人测试中正确回答了 29/50 道题，这一成绩比预期的要高。」刚刚，陶哲轩在个人博客中公布了这一消息。

AIMO 最初由一家搞机器学习量化交易的非银行金融机构 XTX Markets 发起，主要是让参与者使用 AI 模型解决国际数学难题，而本次进步奖的目标是创建能够解决用 LaTeX 格式编写的复杂数学问题的算法和模型。这将有助于推动人工智能模型的数学推理能力，并推动前沿知识的发展。

值得一提的是，此次进步奖是首次颁发，获奖队伍将角逐 104.8 万美元的奖金。

参赛题目包括中级高中数学竞赛的题目，但难度没有达到国际数学奥林匹克（IMO）的水平。

获奖资格要求团队公开发布其代码、方法、数据和模型参数。

根据排名，我们可以看出，获得第一名的是 Numina 的团队，CMU_MATH 位列第二，after exams 暂居第三，codeinter、Conor #2 团队分别拿到第四、第五的成绩。

根据规则，参赛小组最多 5 人，排名前五的就有两位是单人作战。

大家使用的模型也是各不相同，包括 Mixtral・8x7b、Gemma、Llama 3 等。

一直以来，IMO 国际奥林匹克数学竞赛都是由专门研究数学的爱好者们直接参与，但随着大模型能力的不断提升，其在数学中的表现受到越来越多的关注。

大家测试的重点也逐渐从类似的高考题转战到奥林匹克竞技场上，此前，来自 Google DeepMind 的 AlphaGeometry 登上 Nature，该研究解决了 30 个奥林匹克级别问题中的 25 个，接近国际数学奥林匹克竞赛金牌选手的平均表现。

在大模型爆发的当下，已经不止一家开始挑战奥赛难题，让他们之间一较高下结果会怎样呢？

去年 11 月，专门为 AI 设立的数学比赛来了，奖金为 1000 万美元，旨在激励开放式的人工智能模型开发，使其能够在国际数学奥林匹克（IMO）中表现得与顶尖人类参赛者一样出色。此次进步奖是作为 AIMO 大奖的一部分进行评选。

AIMO 顾问委员都是数学界的大牛，包括菲尔兹奖得主 Timothy Gowers 和陶哲轩（Terence Tao），与他们一同任职的还有 Po-Shen Loh、Dan Roberts 和 Geoff Smith。

^{参考链接：}

^{https://aimoprize.com/participate}

文章来源于互联网:陶哲轩支持！AI数学奥林匹克竞赛进步奖公布，奖金100多万美元

银河通用✖清华|给机器人赋能“避障天赋”，像成龙一样在你家里灵活穿梭！

1 月

2026

上交大 SciMaster 团队新作：一个「AI 物理博士」的诞生

1 月

2026

2025 年 ACM Fellow 名单公布：郑宇、梅涛、金海、陈宝权等 19 名华人学者入榜

1 月

2026

卢宗青团队新作：人类先验打底，统一动作对齐，通用机器人模型正在落地

1 月

2026

第五届OceanBase数据库大赛收官：北邮「编程高手」赛队夺冠，探索AI原生数据库

1 月

2026

人大高瓴赵鑫团队新作：先拆掉 RLVR，再重建推理模型训练

1 月

2026

Nature 正刊收录！清华 FIB 实验室揭示：AI 提升科学家个人影响力，却收缩科学整体探索空间

1 月

2026

AI 医疗还在比进度，百川已在比高度

1 月

2026

上科大何旭明团队新作：克服简单样本偏置，让多模态模型学会「难题优先」

1 月

2026

北大卢宗青团队新作：超 70% 实机成功率，支持语言指令的功能性抓取系统

1 月

2026

清华孙茂松团队 × 深言科技：以解释作为训练信号，让 8B 模型在幻觉检测上反超闭源大模型

1 月

2026

浙大彭思达团队 × 理想最新研究：直面高分辨率深度的细节缺失

1 月

2026

为什么深圳硬件圈都在谈论千问？

1 月

2026

上海AI Lab胡侠：KV Cache压缩之后，可让价格2万美金的GPU发挥出20万美金的价值 | GAIR 2025

1 月

2026

GAIR 2025 世界模型分论坛：从通用感知到视频、物理世界模型的百家争鸣

1 月

2026

全部资讯

最新提问

公众号