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