$10 million Artificial Intelligence Mathematical Olympiad Prize appoints further advisory committee members

London (ots/PRNewswire) - D. Sculley, Kevin Buzzard, Leo de Moura, Lester Mackey
and Peter J. Liu appointed to the advisory committee for the Artificial
Intelligence Mathematical Olympiad Prize.

XTX Markets' newly created Artificial Intelligence Mathematical Olympiad Prize
('AIMO Prize') is a $10mn challenge fund designed to spur the creation of a
publicly shared AI model capable of winning a gold medal in the International
Mathematical Olympiad (IMO).

XTX Markets is delighted to announce the appointment of five further advisory
committee members. This group brings great expertise in machine learning,
including D. Sculley, the CEO of Kaggle; Lester Mackey, a Principal Researcher
at Microsoft Research and a Macarthur Fellow; and Peter J. Liu, a research
scientist at Google DeepMind.

Prolific mathematicians Kevin Buzzard, who achieved a perfect score in the
International Mathematical Olympiad, and Leo De Moura who is the Chief Architect
for Lean, the automated reasoning tool, also join the advisory group.

They join the existing advisory committee members Terence Tao and Timothy
Gowers, both winners of the Fields Medal, as well as Dan Roberts, Geoff Smith
and Po-Shen Loh.

The AIMO Advisory Committee will support the development of the AIMO Prize,
including advising on appropriate protocols and technical aspects, and designing
the various competitions and prizes.

Simon Coyle, Head of Philanthropy at XTX Markets, commented:

"We are thrilled to complete the AIMO Advisory Committee with the appointments
of D., Kevin, Leo, Lester and Peter. Together, they have enormous experience in
machine learning and automated reasoning and are already bringing expertise and
wisdom to the AIMO Prize. We look forward to announcing the winners of the
AIMO's first Progress Prize soon, and then publicly sharing the AI models to
support the open and collaborative development of AI."

Further information on the AIMO Prize

There will be a grand prize of $5mn for the first publicly shared AI model to
enter an AIMO approved competition and perform at a standard equivalent to a
gold medal in the IMO. There will also be a series of progress prizes, totalling
up to $5mn, for publicly shared AI models that achieve key milestones towards
the grand prize.

The first AIMO approved competition opened to participants in April 2024 on the
Kaggle competition platform. The first progress prize focuses on problems
pitched at junior and high-school level maths competitions. There is a total
prize pot of $1.048m for the first progress prize, of which at least $254k will
be awarded in July 2024, There will be a presentation of progress held in Bath,
England in July 2024, as part of the 65th IMO (https://www.imo2024.uk/) .