London, April 28, 2024 – XTX Markets is pleased to announce the appointment of five new members to the advisory committee of the AIMO Mathematical AI Olympiad Prize. This committee is composed of machine learning experts who will support the development of an AI model capable of winning a gold medal at the International Mathematical Olympiad (IMO).
The new advisory committee members include D. Sculley, CEO of Kaggle, Lester Mackey, a senior researcher at Microsoft Research and a MacArthur fellow, and Peter J. Liu, a researcher at Google DeepMind. Accomplished mathematicians, Kevin Buzzard, who achieved a perfect score at the International Mathematical Olympiad, and Leo de Moura, chief architect of Lean – an automated reasoning tool, will also join the advisory group.
In addition to the current advisory committee members, Terence Tao and Timothy Gowers, both Fields Medal recipients, as well as Dan Roberts, Geoff Smith, and Po-Shen Loh, the AIMO Advisory Committee will provide guidance on appropriate protocols, technical aspects, and the design of various competitions and prizes.
Simon Coyle, Head of Philanthropy at XTX Markets, said, “We are delighted to complete the AIMO advisory committee with the appointments of D., Kevin, Leo, Lester, and Peter. Together, they bring extensive experience in machine learning and automated reasoning and are already providing their expertise and wisdom to the AIMO Prize. We look forward to soon announcing the winners of the AIMO progress prize and publicly sharing AI models to support open and collaborative development of AI.”
More information about the AIMO prize includes a grand prize of $5 million for the first publicly shared AI model that performs at a gold medal level at the IMO. There will also be a series of progress prizes totaling up to $5 million awarded to publicly shared AI models that achieve key milestones towards the grand prize.
The first AIMO-approved competition was launched on the Kaggle platform in April 2024. The progress prize will focus on problems posed in college and high school mathematics competitions, with a total prize pool of $1.048 million and at least $254,000 to be awarded in July 2024. A progress presentation will take place in Bath, England, as part of the 65th IMO.
For more information on the AIMO prize, visit: [AIMO Prize Website] or [Kaggle Competition Page].
Profiles of Advisory Committee Members:
D. Sculley
D. is the CEO of Kaggle and has previously served as the Director of Google Brain. With a career in the field of machine learning, he has worked on various aspects of machine learning and led research and product teams working on complex business problems. His notable work includes technical debt in ML, ML education, ML robustness, critical ML for production, and ML for scientific applications like protein design.
Kevin Buzzard
Kevin is a Professor of Pure Mathematics at Imperial College London, specializing in algebraic number theory. Alongside his research and teaching, he is actively involved in diverse topics, serving as the Deputy Head of the Pure Mathematics Department, Co-Director of a CDT, and an outreach champion. Currently, he focuses on formal proof verification and is an active participant in the Lean community. Previously, he competed in the International Mathematical Olympiad, earning a gold medal and a perfect score in 1987. He holds several awards for research and teaching and has delivered lectures worldwide.
Leo de Moura
Leo is an applied senior researcher in the Automated Reasoning group at AWS. In his free time, he serves as the Chief Architect of the Lean FRO, a non-profit organization he proudly co-founded with Sebastian Ullrich. He also serves on the board of directors of Lean FRO, actively contributing to its growth and development. Prior to joining AWS in 2023, he worked for 17 years at Microsoft Research as a senior researcher in the RiSE group. Leo’s research areas include automated reasoning, theorem proving, decision procedures, SAT, and SMT. He is the principal architect of several automated reasoning tools, including Lean, Z3, Yices 1.0, and SAL.
Lester Mackey
Lester Mackey is a Senior Researcher at Microsoft Research, where he develops machine learning methods, models, and theories for large-scale learning tasks in applications such as climate prediction, healthcare, and interest prediction. Lester has published numerous papers and has received prestigious awards for his contributions to the field.
As XTX Markets welcomes these new members, they continue to anticipate the groundbreaking advancements that will result from their collective expertise and contributions to the AIMO Mathematical AI Olympiad Prize.
XTX Markets’ announcement of new advisory committee members for the AIMO Mathematical AI Olympiad Prize highlights the importance of machine learning experts in developing an AI model capable of winning a gold medal at the International Mathematical Olympiad (IMO).
The new committee members bring a wealth of experience and expertise to the table. D. Sculley, CEO of Kaggle and former Director of Google Brain, has worked on various aspects of machine learning and led teams on complex business problems. Lester Mackey, a Senior Researcher at Microsoft Research and a MacArthur fellow, develops machine learning methods for large-scale learning tasks in diverse applications such as climate prediction and healthcare. Peter J. Liu, a researcher at Google DeepMind, contributes to the advancement of AI research and applications. Accomplished mathematicians Kevin Buzzard and Leo de Moura also join the committee, with Buzzard achieving a perfect score at the IMO and now specializing in formal proof verification, while de Moura’s expertise lies in automated reasoning and theorem proving.
The AIMO prize offers a grand prize of $5 million for the first publicly shared AI model that performs at a gold medal level at the IMO. In addition, there are progress prizes totaling up to $5 million awarded to publicly shared AI models that achieve key milestones towards the grand prize. The first AIMO-approved competition was launched on the Kaggle platform in April 2024, focusing on problems posed in college and high school mathematics competitions.
Current market trends in the field of AI and machine learning show a growing emphasis on applying these technologies to various sectors, including finance, healthcare, and climate prediction. The AIMO Mathematical AI Olympiad Prize aligns with this trend by leveraging AI models to achieve exceptional performance in a prestigious competition like the IMO.
Forecasts suggest that the development of AI models for mathematical problem-solving will continue to advance, driven by the increasing availability of data and computational power. These models have the potential to not only excel in competition settings like the IMO, but also find practical applications in industries requiring complex mathematical analysis.
However, there are key challenges and controversies associated with the use of AI in mathematical problem-solving. One challenge is ensuring the transparency and interpretability of AI models, especially in academic settings where understanding and reasoning through mathematical problems plays a crucial role. Ethical considerations also come into play, such as addressing bias in data and the potential for AI to replace human mathematicians entirely.
Overall, the AIMO Mathematical AI Olympiad Prize and the appointment of new advisory committee members by XTX Markets demonstrate the growing importance of AI and machine learning in the field of mathematics. These advancements offer the potential for groundbreaking developments in mathematical problem-solving, but also bring along challenges and controversies that need to be addressed.
For more information on the AIMO prize, visit the AIMO Prize Website or the Kaggle Competition Page.
Profiles of the advisory committee members:
– D. Sculley: CEO of Kaggle and former Director of Google Brain with extensive experience in machine learning.
– Kevin Buzzard: Professor of Pure Mathematics at Imperial College London, specializing in algebraic number theory and active in formal proof verification.
– Leo de Moura: Applied Senior Researcher at AWS, Chief Architect of Lean FRO, and experienced in automated reasoning and theorem proving.
– Lester Mackey: Senior Researcher at Microsoft Research, developing machine learning methods for various applications.
These new committee members, along with existing members such as Fields Medal recipients Terence Tao and Timothy Gowers, bring diverse expertise and contribute to the development of AI models for the AIMO Mathematical AI Olympiad Prize.