26.04.2024,
8510 Zeichen
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.
For more information on the AIMO Prize visit:
https://aimoprize.com/
or the competition page on Kaggle:
https://www.kaggle.com/competitions/ai-mathematical-o...
Advisory Committee member profiles:
D. Sculley
D. is the CEO at Kaggle. Prior to joining Kaggle, he was a director
at Google Brain, leading research teams working on robust,
responsible, reliable and efficient ML and AI. In his career in ML,
he has worked on nearly every aspect of machine learning, and has led
both product and research teams including those on some of the most
challenging business problems. Some of his well-known work involves
ML technical debt, ML education, ML robustness, production-critical
ML, and ML for scientific applications such as protein design.
Kevin Buzzard
Kevin a professor of pure mathematics at Imperial College London,
specialising in algebraic number theory. As well as his research and
teaching, he has a wide range of interests, including being Deputy
Head of Pure Mathematics, Co-Director of a CDT and the department's
outreach champion. He is currently focusing on formal proof
verification, including being an active participant in the Lean
community. From October 2024, he will be leading a project to
formalise a 21st century proof of Fermat's Last Theorem. Before
joining Imperial, some 20 years ago, he was a Junior Research Fellow
at the University of Cambridge, where he had previously been named
'Senior Wrangler' (the highest scoring undergraduate mathematician).
He was also a participant in the International Mathematical Olympiad,
winning gold with a perfect score in 1987. He has been a visitor at
the IAS in Princeton, a visiting lecturer at Harvard, has won several
prizes both for research and teaching, and has given lectures all
over the world.
Leo de Moura
Leo is a Senior Principal Applied Scientist in the Automated
Reasoning Group at AWS. In his spare time, he dedicates himself to
serving as the Chief Architect of the Lean FRO, a non-profit
organization that he proudly co-founded alongside Sebastian Ullrich.
He is also honoured to hold a position on the Board of Directors at
the Lean FRO, where he actively contributes to its growth and
development. Before joining AWS in 2023, he was a Senior Principal
Researcher in the RiSE group at Microsoft Research, where he worked
for 17 years starting in 2006. Prior to that, he worked as a Computer
Scientist at SRI International. His research areas are automated
reasoning, theorem proving, decision procedures, SAT and SMT. He is
the main architect of several automated reasoning tools: Lean, Z3,
Yices 1.0 and SAL. Leo's work in automated reasoning has been
acknowledged with a series of prestigious awards, including the CAV,
Haifa, and Herbrand awards, as well as the Programming Languages
Software Award by the ACM. Leo's work has also been reported in the
New York Times and many popular science magazines such as Wired,
Quanta, and Nature News.
Lester Mackey
Lester Mackey is a Principal Researcher at Microsoft Research, where
he develops machine learning methods, models, and theory for
large-scale learning tasks driven by applications from climate
forecasting, healthcare, and the social good. Lester moved to
Microsoft from Stanford University, where he was an assistant
professor of Statistics and, by courtesy, of Computer Science. He
earned his PhD in Computer Science and MA in Statistics from UC
Berkeley and his BSE in Computer Science from Princeton University.
He co-organized the second place team in the Netflix Prize
competition for collaborative filtering; won the Prize4Life ALS
disease progression prediction challenge; won prizes for temperature
and precipitation forecasting in the yearlong real-time Subseasonal
Climate Forecast Rodeo; and received best paper, outstanding paper,
and best student paper awards from the ACM Conference on Programming
Language Design and Implementation, the Conference on Neural
Information Processing Systems, and the International Conference on
Machine Learning. He is a 2023 MacArthur Fellow, a Fellow of the
Institute of Mathematical Statistics, an elected member of the COPSS
Leadership Academy, and the recipient of the 2023 Ethel Newbold
Prize.
Peter J. Liu
Peter J. Liu is a Research Scientist at Google DeepMind in the San
Francisco Bay area, doing machine learning research with a
specialisation in language models since 2015 starting in the Google
Brain team. He has published and served as area chair in top machine
learning and NLP conferences such as ICLR, ICML, NEURIPS, ACL and
EMNLP. He also has extensive production experience, including
launching the first deep learning model for Gmail Anti-Spam, and
using neural network models to detect financial fraud for top banks.
He has degrees in Mathematics and Computer Science from the
University of Toronto.
About XTX Markets:
XTX Markets is a leading financial technology firm which partners
with counterparties, exchanges and e-trading venues globally to
provide liquidity in the Equity, FX, Fixed Income and Commodity
markets. XTX has over 200 employees based in London, Paris, New York,
Mumbai, Yerevan and Singapore. XTX is consistently a top 5 liquidity
provider globally in FX (Euromoney 2018-present) and is also the
largest European equities (systematic internaliser) liquidity
provider (Rosenblatt FY: 2020-2023).
The company's corporate philanthropy focuses on STEM education and
maximum impact giving (alongside an employee matching programme).
Since 2017, XTX has donated over £100mn to charities and good causes,
establishing it as a major donor in the UK and globally.
In a changing world XTX Markets is at the forefront of making
financial markets fairer and more efficient for all.
View original
content:https://www.prnewswire.co.uk/news-releases/10-million-artific
ial-intelligence-mathematical-olympiad-prize-appoints-further-advisor
y-committee-members-302128542.html
Digital press kit:
http://www.ots.at/pressemappe/PR162619/aom
BSN Podcasts
Christian Drastil: Wiener Börse Plausch
Wiener Börse Party #643: ATX Financials wird umgebaut, Erste Group Memories und Happy Birthday, Magnus Brunner!
Aktien auf dem Radar:Palfinger, Immofinanz, Kapsch TrafficCom, Flughafen Wien, Addiko Bank, Lenzing, Rosgix, ATX, ATX TR, Wienerberger, Andritz, VIG, Uniqa, Gurktaler AG VZ, Pierer Mobility, Wolford, Warimpex, SW Umwelttechnik, Oberbank AG Stamm, Agrana, Amag, CA Immo, Erste Group, EVN, FACC, OMV, Österreichische Post, Telekom Austria.
A1 Telekom Austria
Die an der Wiener Börse notierte A1 Telekom Austria Group ist führender Provider für digitale Services und Kommunikationslösungen im CEE Raum mit mehr als 24 Millionen Kunden in sieben Ländern und bietet Kommunikationslösungen, Payment und Unterhaltungsservices sowie integrierte Business Lösungen an.
>> Besuchen Sie 68 weitere Partner auf boerse-social.com/partner
Mehr aktuelle OTS-Meldungen HIER