近日，全球首届AI数学奥林匹克竞赛（AIMO）的获奖名单揭晓，令人瞩目的是，所有四支获奖队伍均选择了国产模型DeepSeekMath作为其参赛工具。这一竞赛自启动以来，便在全球范围内引发了广泛的关注与讨论，特别是当官方公布获奖名单，却未透露背后具体模型信息时，更激起了科技与数学界的好奇心与期待。
在经过激烈角逐后，最终成绩尘埃落定，获奖的五支团队分别为Numina的团队、CMU_MATH、after exams、codeinter以及Conor #2，他们分别获得了第一名至第五名的成绩。其中，最引人注目的莫过于夺得冠军的队伍，他们所使用的模型是DeepSeekMath的微调版本——NuminaMath 7B TIR，这无疑为国产AI技术在国际舞台上的表现增添了浓墨重彩的一笔。
获得第二名的团队则采取了创新策略，他们在两个DeepSeek-Math-7B-RL模型上进行了微调，一个用于生成解决方案，另一个则作为奖励模型，对加权多数投票的解决方案进行评分，这一策略展现出AI在数学问题解决上的高效与灵活。
第三名的队伍同样使用了DeepSeekMath模型，这不仅彰显了该模型在AI数学领域的卓越性能，也预示着未来国产AI技术在数学奥林匹克竞赛乃至更广泛的科学领域中将发挥更加重要的角色。
此次竞赛的成功举办，不仅为全球的AI数学研究者提供了展示才华的平台，也极大地推动了AI技术在解决复杂数学问题上的应用。DeepSeekMath的优异表现，更是向世界展示了中国AI技术的创新实力与国际竞争力。随着科技的不断进步，我们有理由期待更多像DeepSeekMath这样的国产AI模型在未来取得更加辉煌的成就。
英语如下：
### The国产AI Model DeepSeekMath Shines at the Global First AI Math Olympiad
In a recent revelation, the winners of the inaugural AI Math Olympiad (AIMO) were announced, drawing significant attention as all four winning teams opted for the Chinese-made AI model, DeepSeekMath, as their tool of choice. The AI Math Olympiad, which garnered global interest and discussion since its inception, particularly piqued curiosity and anticipation when the official list of winners was released without specifying the underlying models.
Following intense competition, the final results were sealed, with five teams—Numina’s team, CMU_MATH, after exams, codeinter, and Conor #2—claiming the top five spots, respectively. Among them, the most notable achievement was the championship won by the team utilizing the fine-tuned version of DeepSeekMath, NuminaMath 7B TIR, which added a vibrant chapter to the international portrayal of Chinese AI technology.
The second-place team innovated by fine-tuning two DeepSeek-Math-7B-RL models, one for generating solutions and the other serving as a reward model to evaluate solutions through a weighted majority voting system, demonstrating AI’s efficiency and flexibility in tackling mathematical problems.
The third-place team also relied on the DeepSeekMath model, highlighting the model’s exceptional performance in AI math and signaling the potential for future Chinese AI technologies to play a more significant role in math Olympiads and broader scientific fields.
The successful organization of this competition provided a platform for global AI math researchers to showcase their talents and significantly propelled the application of AI in solving complex mathematical problems. The outstanding performance of DeepSeekMath, in particular, showcased the innovative strength and international competitiveness of Chinese AI technology. As technology continues to advance, there is reason to anticipate even greater achievements from AI models like DeepSeekMath in the future.
【来源】https://www.jiqizhixin.com/articles/2024-07-11-4
Views: 2