国际数学奥林匹克（IMO）比赛中，陶哲轩教授亲自为AI团队Numina颁奖，他们在AI数学奥林匹克（AIMO）竞赛中展示了出色的表现。Numina团队的7B模型成功解决了29道未公开的难题，获得首个进步奖。不同于常规，比赛限制了算力、模型和时间，强调创新而非资源投入。团队开源了模型、数据和训练过程，模型能通过Python验证解题思路。非营利组织Numina的目标是推动AI4Math的开放研究，他们希望创建AI数学的ImageNet，以促进数学问题解决的模型发展。团队背后的故事和取得的成就，预示着AI在数学领域的新篇章。

4月启动的首届AI奥数竞赛近日落幕，由Numina模型夺得冠军，答对29/50题，震惊数学大师陶哲轩。CMU华人博士Zhiqing Sun以22题成绩位居第二。比赛旨在提升AI数学推理能力，题目难度介于AMC 12和AIME之间。奖金总额1000万美元，优胜者将获得高额奖励，部分奖金受Gemma 7B基准测试影响。总冠军团队由4人组成，其中Jia Li和Lewis Tunstall来自Numina，其他成员背景各异，包括Hugging Face研究员。比赛吸引了全球1401个参与者，展示了AI在数学难题上的突破。