此前的文章《真的要来了？5百万美元大奖激励AI斩获IMO金牌》里我们介绍过一个重磅消息：
“来自英国伦敦的算法交易金融科技新贵XTX Markets，正在启动一个新的价值1000万美金的挑战基金，即AIMO，人工智能数学奥林匹克奖。”同时，“XTX Markets也提到，首个在 AIMO 比赛中达到 IMO 金牌标准的开源 AI 模型，将赢得500万美元的大奖💥。”
讨论爆炸性新闻之前还是应该先讨论下爆炸性新闻的创造者——XTX Markets 。作为全球金融市场上领先的非银行金融机构，XTX起初以在不同资产类别中提供流动性而闻名（包括外汇、股票、大宗商品和衍生品）。关于它的成长历程，似乎每一步都是一条劲爆新闻。
比如，XTX 从2015年成立，花了4年的时间便成为了全球最大的外汇现货流动性提供商。再比如，它的创始人 Alex Gerko仅2023年一年就缴纳了 4.87亿英镑的税款，名列英国纳税人榜首。而就在不久前，XTX又提出 AIMO 的“大胆设想”，很多人看到后的第一反应都是：“别闹了这怎么可能？？？？！”我们这篇文章，就要来探讨这个话题。
看字面不难理解。AIMO，也就是Artificial Intelligence（人工智能）和Mathematical Olympiad（数学奥林匹克）的结合。顾名思义就是创建具备数学分析和推理能力的AI模型，致力于实现在国际数学奥林匹克IMO竞赛中获得金牌的最终目标。而就在今天，这个极具划时代意义的项目任命了五位顾问，其中甚至包含了两位菲尔兹奖得主。
AIMO官网页面
“菲尔兹奖得主Timothy Gowers和Terence Tao被任命为AIMO顾问委员会成员。
此外，还有三位成员，分别是Po-Shen Loh、Dan Roberts和Geoff Smith”
AIMO官网上已经正式公布了这个消息。你了解AIMO任命的五位大佬都是谁吗？除了咱们罗博深教授和大家都非常熟悉的陶哲轩教授，其他几位又有什么样的背景？来跟我们一探究竟——
Timothy Gowers
威廉·蒂莫西·高尔斯爵士，英国数学家、作家，皇家科学学会院士，1998年菲尔兹奖得主。
●1981 年获得 IMO 金牌后，Timothy于剑桥三一学院攻读数学专业，并在那里获得博士学位，然后担任研究员。
●在伦敦大学学院学习一段时间后，他回到三一学院，首先担任讲师，然后担任 Rouse Ball 数学教授。
●2009 年至 2020 年，担任英国皇家学会研究教授，自 2020 年 10 月起担任法兰西公学院组合学教授。
●发现了 Szemerédi 定理的第一个数量化证明方法，随后从事加法组合学研究，并因此于 1998 年获得菲尔兹奖。
●近年来致力于自动定理证明，目前领导该领域的一个研究组，专注于符号方法研究。
Po-ShenLoh（罗博深）
罗博深，美国华裔数学家、教育家，前美国奥数队总教练，执教期间美国队首次连续两年蝉联世界冠军。
●卡内基梅隆大学数学教授，社会企业家。利用组合学和博弈论发明了从教育到流行病控制等各种解决方案。
●青少年时期曾获国际数学奥林匹克（IMO）银牌，后担任IMO美国队教练长达十年之久，期间美国队四次获世界冠军。
●其演讲和活动遍布世界各地，每年参与人数超过 10,000 人，其在 YouTube 视频观看量达数百万。
●美国总统科学家和工程师早期职业奖得主，赫兹研究员。
DanRoberts
丹·罗伯茨，美国物理学家、红杉资本人工智能研究员，麻省理工学院理论物理中心的研究员。《深度学习理论原理》合作作者。
●在 2023 年加入红杉资本之前，与他人共同创立了 Diffeo（人工智能公司，后被 Salesforce 收购），并曾担任 Facebook 人工智能研究部门的研究科学家。
●《深度学习理论原理》（The Principles of Deep Learning Theory）一书作者之一，该书由剑桥大学出版社出版。
●于普林斯顿高等研究院完成博士后研究，在赫兹奖学金资助下于麻省理工学院获得理论物理学博士学位，并以马歇尔学者身份在英国学习。
GeoffSmith
杰夫·史密斯，前IMO主席，于2002年至2010年期间担任英国国家队总教练。
●多年活跃于数学奥林匹克社区，自 1990 年以来一直积极参与数学拓展活动，自 1999 年开始涉足数学竞赛领域。
●2014 年至 2022 年期间当选为 IMO 主席。
●英国数学协会（UKMT）主席。
●在 2012 年欧洲女子数学奥林匹克竞赛的创立过程中发挥了重要作用，在其积极推动下，这项赛事如今在女性的治理下蓬勃发展。
●其学术生涯始于群论，后涉足几何学，并发表关于生命科学和社会科学研究论文。
●巴斯大学数学系荣誉读者。（*编者注：Honorary Reader意为荣誉读者，是一种学术荣誉称号，通常由大学或学术机构授予给在特定领域或学科上取得杰出成就的个人，表明被授予者在其领域内享有高度的尊重和认可。）
TerenceTao（陶哲轩）
陶哲轩，澳籍数学家，菲尔茨奖得主。10岁、11岁、12岁参加国际数学奥林匹亚竞赛，分获铜牌、银牌、金牌，分别是金银铜牌最年轻得主的记录保持者。
●1975 年出生于澳大利亚阿德莱德。
●曾参加三届 IMO，并于 1987 年获得金牌。
●加州大学洛杉矶分校的数学教授，于 1996 年在普林斯顿大学 Elias Stein 教授的指导下完成博士学位。研究领域包括调和分析、偏微分方程、组合数学和数论。
●曾获 2000 年塞勒姆奖、2006 年菲尔兹奖、2007 年麦克阿瑟奖学金、2012 年克拉福德奖和 2015 年数学突破奖等多种奖项。
●担任加州大学洛杉矶分校詹姆斯和卡罗尔·柯林斯教授，是多个国家学术机构委员，也是总统科学技术顾问委员会的成员。
人工智能的迅猛涌现和持续创新已经成为推动社会进步的重要引擎。
在2022年底时，人工智能还无法100%正确解决中学数学竞赛题目，但仅仅一年多后的今天，已经有AI可以解决国际奥林匹克数学竞赛中的几何问题，这样的计算和分析能力，实在令人咋舌。
截图来自Nature
可以预见的是，随着技术的不断进步和算法的不断优化，人工智能有望解决更加复杂和抽象的数学问题上取得更大突破，并在数学领域取得更为深远的成就。
五位数学家的加入为AIMO注入了更加丰富的学术经验和专业知识指导，同时也为未来人工智能在数学领域的发展打开了崭新的前景。
尽管人工智能未来的发展仍然存在一些不确定性，技术的进步可能带来新的挑战和机遇，但可以期待AI终将成为数学研究和解决问题的有力工具，而至于AIMO起初那个用AI赢得IMO金牌的看似远在天边的目标，似乎也就在近在咫尺的眼前。
【竞赛报名/项目咨询请加微信：mollywei007】
