Le Prix de l’Olympiade de mathématiques de 10 millions de dollars en intelligence artificielle nomme de nouveaux membres du conseil consultatif

D.Sculley, KevinBuzzard, LeodeMoura, LesterMackey et PeterJ.Liu sont nommés au comité consultatif du Prix de l’Olympiade mathématique en intelligence artificielle.

LONDRES, 28 avril 2024 /PRNewswire/ –Le nouveau prix de l’Olympiade de mathématiques de l’intelligence artificielle (AIMO) de XTXMarkets est un fonds de 10 millions de dollars destiné à stimuler la création d’un modèle d’intelligence artificielle partagé par le public et capable de remporter une médaille d’or à l’Olympiade mathématique internationale (IOM). .

XTXMarkets est heureux d’annoncer la nomination de cinq nouveaux membres du conseil consultatif. Ce groupe est composé de spécialistes de l’apprentissage automatique, dont D. Sculley, PDG de Kaggle, Lester Mackey, chercheur principal chez Microsoft Research et MacArthur Fellow, et Peter J. Liu, chercheur chez Google DeepMind.

Les mathématiciens prolifiques Kevin Buzzard, qui a obtenu une note parfaite à l’Olympiade internationale de mathématiques, et LeodeMoura, architecte en chef de Lean, l’outil de raisonnement automatisé, rejoignent également le groupe consultatif.

Ils rejoignent les membres actuels du conseil consultatif, TerenceTao et TimothyGowers, tous deux récipiendaires de la médaille Fields, ainsi que DanRoberts, GeoffSmith et Po-ShenLoh.

Le comité consultatif de l’AIMO soutiendra le développement du prix AIMO, notamment en donnant des conseils sur les protocoles et les aspects techniques appropriés, ainsi qu’en concevant les différents concours et prix.

SimonCoyle, responsable de la philanthropie chez XTXMarketsa un commentaire :

Nous sommes ravis de compléter le conseil consultatif de l’AIMO avec les nominations de D., Kevin, Leo, Lester et Peter. Ensemble, ils possèdent une expérience considérable en apprentissage automatique et en raisonnement automatisé et apportent déjà leur expertise et leur sagesse au prix AIMO. Nous sommes impatients d’annoncer bientôt les gagnants du premier AIMO Progress Prize, puis de partager publiquement des modèles d’IA pour soutenir le développement ouvert et collaboratif de l’IA.

Plus d’informations sur le prix AIMO

Un grand prix de 5 millions de dollars sera décerné au premier modèle d’IA partagé publiquement qui participe à un concours approuvé par l’AIMO et dont les performances sont équivalentes à une médaille d’or de l’OIM. De plus, l’événement décernera une série de prix d’avancement d’une valeur collective pouvant atteindre 5 millions de dollars. Ceux-ci seront attribués aux modèles d’IA partagés publiquement qui franchissent des étapes clés en route vers le grand prix.

Le premier concours agréé par l’AIMO a été ouvert aux participants en avril 2024 sur la plateforme de concours Kaggle. Le premier prix en cours porte sur des problèmes posés lors de concours de mathématiques au niveau collège et lycée. Il y a une cagnotte totale de 1,048 million de dollars pour le premier prix en cours, dont au moins 254 000 $ seront attribués en juillet 2024. Une présentation des progrès aura lieu à Bath, en Angleterre, en juillet 2024, dans le cadre du 65^eOIM.

Pour plus d’informations sur le prix AIMO, visitez :https://aimoprize.com/ou sur la page du concours sur Kaggle :https://www.kaggle.com/competitions/ai-mathematical-olympiad-prize/

Profils des membres du Comité consultatif :

D. Sculley

D. est le PDG de Kaggle. Avant de rejoindre Kaggle, il était directeur chez GoogleBrain, où il dirigeait des équipes de recherche travaillant sur la robustesse, la responsabilité, la fiabilité et l’efficacité de l’apprentissage automatique (ML) et de l’IA. Au cours de sa carrière dans le ML, il a travaillé sur presque tous les aspects de l’apprentissage automatique et dirigé des équipes de recherche et de produits, y compris celles s’attaquant à certains des problèmes commerciaux les plus complexes. Certains de ses travaux les plus connus concernent la dette technique en ML, l’éducation en ML, la robustesse en ML, le ML critique pour la production et le ML pour les applications scientifiques telles que la conception de protéines.

KevinBuzzard

Kevin est professeur de mathématiques pures à l’Imperial College de Londres, spécialisé dans la théorie algébrique des nombres. En plus de ses recherches et de son enseignement, il s’intéresse à un large éventail de sujets, notamment en tant que vice-président du Département de mathématiques pures, codirecteur d’un CDT et champion de la sensibilisation au sein du département. Il se concentre actuellement sur la vérification formelle des preuves et participe activement à la communauté Lean. Dès octobre 2024, il mènera un projet visant à formaliser une épreuve du 21^esiècle de la dernière thorme de Fermat. Avant de rejoindre l’Impérial, il y a une vingtaine d’années, il était chercheur junior à l’Université de Cambridge, où il a été nommé Senior Wrangler (le mathématicien de premier cycle le mieux noté). Il a également participé à l’Olympiade internationale de mathématiques, où il a remporté la médaille d’or avec un score parfait en 1987. Il a été visiteur de l’IAS. Princetonconférencier invité Harvarda remporté plusieurs prix pour la recherche et l’enseignement et a donné des conférences dans le monde entier.

LéodeMoura

Leo est chercheur appliqué principal au sein du groupe de recherche sur le raisonnement automatisé d’AWS. Pendant son temps libre, il consacre son rôle d’architecte en chef de Lean FRO, une organisation à but non lucratif qu’il est fier d’avoir cofondée avec Sebastian Ullrich. Il a également l’honneur de siéger au conseil d’administration de Lean FRO, où il contribue activement à sa croissance et à son développement. Avant de rejoindre AWS en 2023, il était chercheur principal au sein du groupe RiSE chez Microsoft Research, où il a travaillé pendant 17 ans à partir de 2006. Auparavant, il a travaillé comme informaticien chez SRISInternational. Ses domaines de recherche sont le raisonnement automatisé, la preuve de théorèmes, les procédures de décision, SAT et SMT. Il est l’architecte principal de plusieurs outils de raisonnement automatique : Lean, Z3, Yices 1.0 et SAL. Les travaux de Leo dans le domaine du raisonnement automatique ont été récompensés par une série de prix prestigieux, notamment les CAV Awards, Haïfa et Herbrand, ainsi que le Programming Languages ​​​​Software Award de l’ACM. Le travail de Leo a également fait l’objet d’articles dans le New York Times et dans de nombreux magazines scientifiques populaires tels que Wired, Quanta et Nature News.

Lester Mackey

LesterMackey est chercheur principal chez MicrosoftResearch, où il développe des méthodes, des modèles et des théories d’apprentissage automatique pour des tâches d’apprentissage à grande échelle dans des applications telles que la prévision climatique, les soins de santé et les intérêts. sociale. Lester a rejoint Microsoft après avoir travaillé à l’Université de Stanford, où il a été professeur adjoint de statistique et, exceptionnellement, d’informatique. Il a obtenu un doctorat en informatique et une maîtrise en statistiques de l’Université de Berkeley ainsi qu’un diplôme en informatique de l’Université de Princeton. Il co-organisé l’équipe qui s’est classée deuxième au concours Netflix Prize pour le filtrage collaboratif ; il a remporté le défi de prédiction de la progression de la maladie Prize4Life SLA ; il a remporté des prix pour la prévision des températures et des précipitations dans le cadre du Real-Time Subseasonal Climate Forecasting Rodo ; il a reçu les prix du meilleur article, de l’article exceptionnel et du meilleur article étudiant de la conférence ACM sur la conception et la mise en œuvre de langages de programmation, de la conférence sur les systèmes de traitement informatique Neural Information et de la conférence internationale sur l’apprentissage automatique. Il est membre MacArthur 2023, membre de l’Institut de statistique mathématique, membre de la COPSS Leadership Academy et récipiendaire du Ethel Newbold 2023.

PeterJ.Liu

PeterJ.Liu est chercheur chez GoogleDeepMind dans la Bay Area San Francisco. Il fait des recherches sur l’apprentissage automatique avec une spécialisation dans les modèles de langage depuis 2015, en commençant au sein de l’équipe GoogleBrain. Il a publié et présidé des conférences sur l’apprentissage automatique et le PNL telles que ICLR, ICML, NEURIPS, ACL et EMNLP. Il possède également une vaste expérience en production, notamment dans le lancement du premier modèle d’apprentissage profond pour le service anti-spam de Gmail et dans l’utilisation de modèles de réseaux neuronaux pour détecter la fraude financière pour les grandes banques. Il est diplômé en mathématiques et en informatique de l’Université de Toronto.

À propos de XTXMarkets :

XTXMarkets est une société de technologie financière de premier plan qui s’associe à des contreparties, des bourses et des plateformes de trading électronique à l’échelle mondiale pour fournir des liquidités sur les marchés des actions, des changes, des titres à revenu fixe et des matières premières. premières. XTX compte plus de 200 employés basés à Londres, Paris, New York, Bombay, Erevan et Singapour. XTX figure toujours parmi les cinq principaux fournisseurs de liquidités au monde sur le marché des changes (Euromoney de 2018 à aujourd’hui), mais également le plus grand fournisseur de liquidités sur les actions européennes (internalisateur systématique) (Rosenblatt FY2020 et FY2023).

Les efforts philanthropiques de l’entreprise se concentrent sur l’éducation STEM et les dons à impact maximal (en parallèle d’un programme de jumelage des employés). Depuis 2017, XTX a fait don de plus de 100 millions de livres sterling à des œuvres caritatives et à de bonnes causes, ce qui en fait l’un des principaux donateurs au Royaume-Uni et dans le monde.

Dans un monde en évolution, XTX Markets est à l’avant-garde pour rendre les marchés financiers plus équitables et plus efficaces pour tous.

Communiqué envoyé le 28 avril 2024 12h50 et distribué par :