5百万美元大奖激励AI斩获IMO金牌！

罗教授昨天一进办公室，就给大家带来了一个充满财富和智慧香气的big news——“嘿朋友们，赢得500万美金的机会来了。”

罗博深教授第一时间转推了XTX的CEO，Alex Gerko的推文

来自英国伦敦的算法交易金融科技新贵，XTX Markets，正在启动一个新的价值1000万美金的挑战基金，即AI-MO，人工智能数学奥林匹克奖。该基金旨在促进人工智能模型在数学分析和推理方面的发展，而最终的理想，是希望能够创建一个能在国际数学奥林匹克（IMO）竞赛中获得金牌的公开共享的 AI 模型。

XTX Markets的办公室

🏆XTX Markets也提到，首个在 AI-MO 比赛中达到 IMO 金牌标准的开源 AI 模型，将赢得500万美元的大奖💥。

同样的，即使你的AI模型没有走到最后，只要获得了关键里程碑式的进展，也有机会获得不同的progress prizes，总价值同样高达500万美元。

AI-MO奖的设立，旨在加速发展能够逻辑推理并解决问题的人工智能模型。这是知识和科学发现的新领域，XTX也认为，“AI-MO奖可能代表一个新的图灵测试。”

👉编者注：图灵测试是英国计算机科学家艾伦·图灵于1950年提出的思想实验，目的是测试机器能否表现出与人一样的智力水准。测试时测试者透过计算机键盘输入文本并透过屏幕输出文本）

IMO（国际数学奥林匹克竞赛）本身这是一项面向全球高中生的数学竞赛，每年，各国派出六名学生组成的队伍参加角逐。学生们需要在两天时间里各显神通，以考试形式独立尝试解决六个高难度数学问题。而最终提交的答案由IMO的专家小组进行评分，并根据得分情况颁发奖牌。根据这些规则，AI-MO奖提出了三个初步设计原则：

• 人工智能模型必须以与人类参赛者相同的格式处理问题，答案必须是人类可读的，并能够由专家小组使用标准奥林匹克评判规则进行评分
• 大奖将授予在AI-MO认可的比赛中表现出与 IMO 金牌相当的水平的 AI 模型
• 要获得奖项，参与者必须在奖项颁发时遵守 AI-MO 的开源分享协议

这些奖项将由人工智能咨询委员会设计，该委员会包括数学家、深度学习（Deep Learning）专家，和具有丰富经验的奥林匹克问题解决者。目前，XTX也正在面向全社会招募专家，加入委员会。

AI-MO 奖运作独立，它并非正式的IMO的一部分。第一届AI-MO比赛将于2024年初向参赛者开放。同时，XTX也将于2024年7月在英国巴斯举行的第65届国金奥林匹克数学赛上介绍项目进展。而XTX也将在未来几周内，发布更多关于奖项、竞赛和资格标准的进一步细节。

2024年IMO将在英国，巴斯举行

可以看到XTX Markets也是这届比赛的冠名支持

我们都知道，在 IMO 中获得金牌是卓越数学成就的标志，很多人也把 IMO 金牌看做未来成功的强有力预测指标。在 XTX 的官网上提到，“IMO 金牌获得者获得菲尔兹奖的可能性，是剑桥大学博士毕业生的50倍。事实上，在所有菲尔兹奖得主中，有一半在年轻时参加过 IMO。”

如果真的有这样一个 AI 模型出现，会有更多人感到威胁吗？同时，短时间内真的会有这样的模型出现吗？各位大佬们也给出了自己的看法：

| 现任 IMO 主席，Gregor Dolinar

“将困难的数学问题作为衡量人工智能是否能匹敌人类最高认知功能（highest cognitive functions of human beings）的基准，这是一个绝妙的想法。

每年，我们用六个极其困难的国际数学奥林匹克（IMO）问题考验来自110多个国家的600多名最优秀的学生，通常只有一到两名学生能在规定的九小时内解决所有六个问题。这些问题考验了他们阐释概念（formulate concepts）和进行长链推理（ long chains of reasoning）的能力。我相信，许多人将会怀着极大的兴奋关注AI-MO奖，以见证未来人工智能何时能与世界上最聪明的年轻人才相匹敌。”

| 前任 IMO 主席，AI-MO奖项顾问委员会成员，Geoff Smith

“现代人工智能系统在进行书面交流，创造出人类复制品（facsimile of a human）的方面具有惊人的能力。然而，只有当人们已经在互联网上提供了大量相关材料时，这种复制能力才能发挥最好效果。模仿一位富有创造力的数学家进行抽象推理，将是一项艰巨得多的任务。IMO 将很高兴参与支持这项竞赛，因为我们也希望看到人工智能系统与最优秀的年轻数学家一较高下。”

| UCLA 数学教授，2006菲尔兹奖获得者， 陶哲轩 Terrence Tao

“尽管最近取得了进展，但使用人工智能来解决或至少协助解决高级数学问题仍然是一项极其复杂和多方面的挑战。尝试多种方法来实现这一目标，并对每种方法的性能进行基准测试（benchmark the performance），这一点非常重要。AI-MO 奖使实现这样一种判断基准成为可能，这将有助于用一种大众更容易接触和了解的方式，在技术层面上，实现比较不同的人工智能在问题解决策略上的性能高低。”

| AWSAutomated Reasoning Group高级首席应用科学家Leonardo de Moura

“大型语言模型（LLM）的进步简直令人瞩目，它们在众多领域展现了强大而多样的功能。然而，数学推理仍然是独特且重大的挑战，这些模型仍在努力克服这一挑战。国际数学奥林匹克（IMO）是世界上最受赞誉的智力竞赛之一，以其复杂性和严谨性而受到尊重。它被视为人工智能的终极大挑战，推动了AI在高级数学问题解决方面的界限。

人工智能模型在IMO中赢得金牌的前景不仅是一个到达即止的里程碑；它的出现意味着强大AI驱动的数学推理的重大飞跃。这样的成就将标志着向人工通用智能迈进的历史性时刻，超越现有局限并在数学领域开辟新的视野。”

如同华尔街一直聚集着许多IMO奖牌获得者，金融科技公司一直仰赖着数学和金融大佬们开发更多有意义的模型，设置这样的奖项，XTX Markets也一定有自己的商业考量。

不过正像罗教授说的，如果有人真的开发出这样的AI模型，赢得国际奥数金牌（“我当年可没有获得金牌呢 😄”），这些人毋庸置疑将能够从开发出的相关产品里获得更高的商业价值。

500万美金对这些智慧的头脑来说一定只是一小步，相信这些明亮而聪慧的人们会给世界创造更多有价值有意义的事物和发展。