Topics : Prizes and Rewards, Announcement – Human Resources, Surveys, Opinions and Research
D.Sculley, KevinBuzzard, LeodeMoura, LesterMackey and PeterJ.Liu are appointed to the advisory committee of the Mathematical Olympiad Prize in Artificial Intelligence.
LONDON, April 28, 2024 /PRNewswire/ –The new Artificial Intelligence Mathematics Olympiad (AIMO) Prize from XTXMarkets is a $10 million fund intended to stimulate the creation of an artificial intelligence model shared by the public and capable of winning a medal gold at the International Mathematical Olympiad (IOM).
XTXMarkets is pleased to announce the appointment of five new advisory board members. This group is made up of machine learning specialists, including D. Sculley, CEO of Kaggle, Lester Mackey, Principal Investigator at Microsoft Research and MacArthur Fellow, and Peter J. Liu, Research Fellow at Google DeepMind.
Prolific mathematicians Kevin Buzzard, who earned a perfect score at the International Mathematics Olympiad, and LeodeMoura, chief architect of Lean, the automated reasoning tool, also join the advisory group.
They join current advisory board members TerenceTao and TimothyGowers, both Fields Medal recipients, as well as DanRoberts, GeoffSmith and Po-ShenLoh.
The AIMO Advisory Committee will support the development of the AIMO Prize, including advising on appropriate protocols and technical aspects, as well as designing the various competitions and prizes.
SimonCoyle, Head of Philanthropy at XTXMarketshas comment:
We are delighted to complete the AIMO Advisory Board with the appointments of D., Kevin, Leo, Lester and Peter. Together, they have considerable experience in machine learning and automated reasoning and are already bringing their expertise and wisdom to the AIMO Prize. We look forward to announcing the winners of the inaugural AIMO Progress Prize soon, and then publicly sharing AI models to support open and collaborative AI development.
More information about the AIMO award
A grand prize of $5 million will be awarded to the first publicly shared AI model that enters an AIMO-approved competition and whose performance is equivalent to an IOM gold medal. Additionally, the event will award a series of advancement prizes collectively worth up to $5 million. These will be awarded to publicly shared AI models that reach key milestones en route to the grand prize.
The first competition approved by AIMO was open to participants in April 2024 on the Kaggle competition platform. The first prize in progress focuses on problems posed during mathematics competitions at the middle and high school level. There is a total prize pool of $1.048 million for the top prize in progress, of which at least $254,000 will be awarded in July 2024. A presentation of progress will take place in Bath, England, in July 2024, as part of the 65eIOM.
For more information on the AIMO Award, visit:https://aimoprize.com/or on the competition page on Kaggle:https://www.kaggle.com/competitions/ai-mathematical-olympiad-prize/
Profiles of Advisory Committee members:
D. Sculley
D. is the CEO of Kaggle. Before joining Kaggle, he was a Director at GoogleBrain, where he led research teams working on the robustness, accountability, reliability and efficiency of machine learning (ML) and AI. During his career in ML, he has worked on nearly every aspect of machine learning and led research and product teams, including those tackling some of the most complex business problems. Some of his best-known work concerns technical debt in ML, education in ML, robustness in ML, critical ML for production, and ML for scientific applications such as protein design.
KevinBuzzard
Kevin is Professor of Pure Mathematics at Imperial College London, specializing in algebraic number theory. In addition to his research and teaching, he has interests in a wide range of topics, including serving as deputy chair of the Department of Pure Mathematics, co-director of a CDT, and champion of outreach within the department. He currently focuses on formal proof verification, and actively participates in the Lean community. From October 2024, he will lead a project to formalize a proof of the 21ecentury of the last thorme of Fermat. Before joining Imperial, around twenty years ago, he was a junior researcher at the University of Cambridge, where he was named Senior Wrangler (the highest-scoring undergraduate mathematician). He also participated in the International Mathematics Olympiad, where he won the gold medal with a perfect score in 1987. He was a visitor to the IAS Princetonguest speaker Harvardhas won several awards for both research and teaching and has given lectures around the world.
LeodeMoura
Leo is a Principal Applied Researcher in the Automated Reasoning Research Group at AWS. In his free time, he devotes his role as chief architect of Lean FRO, a non-profit organization that he is proud to have co-founded with Sebastian Ullrich. He also has the honor of serving on the board of directors of Lean FRO, where he actively contributes to its growth and development. Before joining AWS in 2023, he was a principal researcher in the RiSE group at Microsoft Research, where he worked for 17 years starting in 2006. Previously, he worked as a computer scientist at SRIInternational. His areas of research are automated reasoning, theorem proofing, decision procedures, SAT and SMT. He is the main architect of several automatic reasoning tools: Lean, Z3, Yices 1.0 and SAL. Leo’s work in the field of automatic reasoning has been recognized with a series of prestigious awards, including the CAV Awards, Haifa and Herbrand, as well as the Programming Languages Software Award from the ACM. Leo’s work has also been the subject of articles in the New York Times and in many popular science magazines such as Wired, Quanta and Nature News.
LesterMackey
LesterMackey is a principal researcher at MicrosoftResearch, where he develops machine learning methods, models, and theories for large-scale learning tasks in applications such as climate forecasting, healthcare, and interest. social. Lester joined Microsoft after working at the University of Stanford, where he was assistant professor of statistics and, exceptionally, of computer science. He obtained a doctorate in computer science and a master’s degree in statistics from the University of Berkeley as well as a degree in computer science from the University of Princeton. He co-organized the team that placed second in the Netflix Prize competition for collaborative filtering; he won the Prize4Life ALS disease progression prediction challenge; he won awards for temperature and precipitation forecasting in the Real-Time Subseasonal Climate Forecasting Rodo; he received Best Paper, Outstanding Paper, and Best Student Paper awards from the ACM Conference on Programming Language Design and Implementation, Computer Processing Systems Conference Neural Information and the International Conference on Machine Learning. He is a 2023 MacArthur Fellow, a Fellow of the Institute of Mathematical Statistics, a Fellow of the COPSS Leadership Academy, and a recipient of the Ethel Newbold 2023.
PeterJ.Liu
PeterJ.Liu is a researcher at GoogleDeepMind in the Bay Area San Francisco. He has been researching machine learning with a specialization in language models since 2015, starting on the GoogleBrain team. He has published and chaired conferences on machine learning and NLP such as ICLR, ICML, NEURIPS, ACL and EMNLP. He also has extensive production experience, including launching the first deep learning model for Gmail’s anti-spam service and using neural network models to detect financial fraud for leading banks. He graduated in mathematics and computer science from the University of Toronto.
About XTXMarkets:
XTXMarkets is a leading financial technology company that partners with counterparties, exchanges and e-trading platforms globally to provide liquidity in the equity, foreign exchange, fixed income and commodity markets. firsts. XTX has more than 200 employees based in London, Paris, new York, Mumbai, Yerevan and Singapore. XTX is still among the top five liquidity providers globally in the foreign exchange market (Euromoney from 2018 to today) but also the largest liquidity provider in European equities (systematic internalizer) (Rosenblatt FY2020 and FY2023).
The company’s philanthropy efforts focus on STEM education and maximum impact giving (alongside an employee matching program). Since 2017, XTX has donated over £100 million to charities and good causes, making it a leading donor in the UK and around the world.
In a changing world, XTX Markets is at the forefront of making financial markets fairer and more efficient for everyone.
These press releases may also interest you
|
Communiqué sent on April 28, 2024 12:50 and distributed by:
