Themen: Preise und Belohnungen, Ankündigung – Personalwesen, Umfragen, Meinungen und Forschung
D.Sculley, KevinBuzzard, LeodeMoura, LesterMackey und PeterJ.Liu werden in den Beirat des Mathematical Olympiad Prize in Artificial Intelligence berufen.
LONDON, 28. April 2024 /PRNewswire/ –Der neue Preis für die Mathematikolympiade für künstliche Intelligenz (AIMO) von XTXMarkets ist Ein 10-Millionen-Dollar-Fonds, der die Schaffung eines Modells für künstliche Intelligenz fördern soll, das von der Öffentlichkeit geteilt wird und bei der Internationalen Mathematikolympiade (IOM) eine Goldmedaille gewinnen kann ).
XTXMarkets freut sich, die Ernennung von fünf neuen Beiratsmitgliedern bekannt zu geben. Diese Gruppe besteht aus Spezialisten für maschinelles Lernen, darunter D. Sculley, CEO von Kaggle, Lester Mackey, Principal Investigator bei Microsoft Research und MacArthur Fellow, und Peter J. Liu, Research Fellow bei Google DeepMind.
Auch die produktiven Mathematiker Kevin Buzzard, der bei der Internationalen Mathematikolympiade ein perfektes Ergebnis erzielte, und LeodeMoura, Chefarchitekt von Lean, dem automatisierten Argumentationstool, schließen sich der Beratergruppe an.
Sie schließen sich den derzeitigen Beiratsmitgliedern TerenceTao und TimothyGowers, beide Träger der Fields-Medaille, sowie DanRoberts, GeoffSmith und Po-ShenLoh an.
Der AIMO-Beratungsausschuss wird die Entwicklung des AIMO-Preises unterstützen, einschließlich der Beratung zu geeigneten Protokollen und technischen Aspekten sowie der Gestaltung der verschiedenen Wettbewerbe und Preise.
SimonCoyle, Leiter Philanthropie bei XTXMarketshat Kommentar:
Wir freuen uns, den AIMO-Beirat mit der Ernennung von D., Kevin, Leo, Lester und Peter zu vervollständigen. Gemeinsam verfügen sie über beträchtliche Erfahrung im Bereich maschinelles Lernen und automatisiertes Denken und bringen ihr Fachwissen und ihre Weisheit bereits in den AIMO-Preis ein. Wir freuen uns darauf, bald die Gewinner des ersten AIMO Progress Prize bekannt zu geben und dann KI-Modelle öffentlich zu teilen, um eine offene und kollaborative KI-Entwicklung zu unterstützen.
Weitere Informationen zum AIMO-Award
Ein Hauptpreis in Höhe von 5 Millionen US-Dollar wird an das erste öffentlich geteilte KI-Modell vergeben, das an einem von der AIMO genehmigten Wettbewerb teilnimmt und dessen Leistung einer IOM-Goldmedaille entspricht. Darüber hinaus wird die Veranstaltung eine Reihe von Förderpreisen im Gesamtwert von bis zu 5 Millionen US-Dollar vergeben. Diese werden an öffentlich geteilte KI-Modelle vergeben, die wichtige Meilensteine auf dem Weg zum Hauptpreis erreichen.
Der erste von der AIMO genehmigte Wettbewerb stand den Teilnehmern im April 2024 auf der Wettbewerbsplattform Kaggle offen. Der erste laufende Preis konzentriert sich auf Probleme, die bei Mathematikwettbewerben auf der Mittel- und Oberstufenstufe gestellt werden. Für den Hauptpreis besteht ein Gesamtpreispool von 1,048 Millionen US-Dollar, von denen mindestens 254.000 US-Dollar im Juli 2024 vergeben werden. Eine Präsentation der Fortschritte wird im Juli 2024 in Bath, England, im Rahmen des stattfinden 65eIOM.
Weitere Informationen zum AIMO Award finden Sie unter:https://aimoprize.com/oder auf der Wettbewerbsseite auf Kaggle:https://www.kaggle.com/competitions/ai-mathematical-olympiad-prize/
Profile der Mitglieder des Beratungsausschusses:
D. Sculley
D. ist der CEO von Kaggle. Bevor er zu Kaggle kam, war er Direktor bei GoogleBrain, wo er Forschungsteams leitete, die sich mit der Robustheit, Verantwortlichkeit, Zuverlässigkeit und Effizienz von maschinellem Lernen (ML) und KI beschäftigten. Während seiner Karriere im ML hat er sich mit fast allen Aspekten des maschinellen Lernens beschäftigt und Forschungs- und Produktteams geleitet, darunter auch solche, die sich mit einigen der komplexesten Geschäftsprobleme befassten. Einige seiner bekanntesten Arbeiten betreffen technische Schulden in ML, Ausbildung in ML, Robustheit in ML, kritisches ML für die Produktion und ML für wissenschaftliche Anwendungen wie Proteindesign.
KevinBuzzard
Kevin ist Professor für Reine Mathematik am Imperial College London, spezialisiert auf algebraische Zahlentheorie. Neben seiner Forschung und Lehre interessiert er sich für ein breites Themenspektrum, unter anderem als stellvertretender Vorsitzender der Abteilung für Reine Mathematik, Co-Direktor eines CDT und Verfechter der Öffentlichkeitsarbeit innerhalb der Abteilung. Derzeit konzentriert er sich auf die formelle Beweisüberprüfung und beteiligt sich aktiv an der Lean-Community. Ab Oktober 2024 wird er ein Projekt zur Formalisierung eines Beweises für den 21. leiteneJahrhundert des letzten Thors von Fermat. Bevor er vor rund zwanzig Jahren zu Imperial kam, war er Nachwuchsforscher an der University of Cambridge, wo er zum Senior Wrangler (dem am besten bewerteten Bachelor-Mathematiker) ernannt wurde. Er nahm auch an der Internationalen Mathematikolympiade teil, bei der er 1987 mit einem perfekten Ergebnis die Goldmedaille gewann. Er war Gast am IAS PrincetonGastredner Harvardhat mehrere Auszeichnungen für Forschung und Lehre gewonnen und weltweit Vorträge gehalten.
LeodeMoura
Leo ist leitender angewandter Forscher in der Automated Reasoning Research Group bei AWS. In seiner Freizeit widmet er sich seiner Rolle als Chefarchitekt von Lean FRO, einer gemeinnützigen Organisation, die er stolz zusammen mit Sebastian Ullrich gegründet hat. Er hat außerdem die Ehre, im Vorstand von Lean FRO zu fungieren, wo er aktiv zu dessen Wachstum und Entwicklung beiträgt. Bevor er 2023 zu AWS kam, war er leitender Forscher in der RiSE-Gruppe bei Microsoft Research, wo er ab 2006 17 Jahre lang arbeitete. Zuvor arbeitete er als Informatiker bei SRIInternational. Seine Forschungsgebiete sind automatisiertes Denken, Theorembeweis, Entscheidungsverfahren, SAT und SMT. Er ist der Hauptarchitekt mehrerer automatischer Argumentationstools: Lean, Z3, Yices 1.0 und SAL. Leos Arbeit auf dem Gebiet des automatischen Denkens wurde mit einer Reihe prestigeträchtiger Auszeichnungen gewürdigt, darunter den CAV Awards, Haifa und Herbrand, sowie den Programming Languages Software Award der ACM. Leos Arbeit war auch Gegenstand von Artikeln in der New York Times und in vielen populärwissenschaftlichen Magazinen wie Wired, Quanta und Nature News.
LesterMackey
LesterMackey ist leitender Forscher bei MicrosoftResearch, wo er Methoden, Modelle und Theorien des maschinellen Lernens für groß angelegte Lernaufgaben in Anwendungen wie Klimavorhersage, Gesundheitswesen und sozialem Interesse entwickelt. Lester kam nach seiner Tätigkeit an der University of zu Microsoft Stanford, wo er Assistenzprofessor für Statistik und ausnahmsweise auch für Informatik war. Er erlangte einen Doktortitel in Informatik und einen Master-Abschluss in Statistik von der Universität Berkeley sowie einen Abschluss in Informatik von der Universität Princeton. Er war Mitorganisator des Teams, das beim Netflix-Preis-Wettbewerb für kollaboratives Filtern den zweiten Platz belegte; Er gewann den Prize4Life-Wettbewerb zur Vorhersage des Fortschreitens der ALS-Krankheit. Er gewann Auszeichnungen für Temperatur- und Niederschlagsvorhersagen im Rahmen des Real-Time Subseasonal Climate Forecasting Rodo. Er erhielt die Auszeichnungen „Best Paper“, „Outstanding Paper“ und „Best Student Paper“ von der ACM Conference on Programming Language Design and Implementation, der Computer Processing Systems Conference Neural Information und der International Conference on Machine Learning. Er ist ein 2023 MacArthur Fellow, ein Fellow des Institute of Mathematical Statistics, ein Fellow der COPSS Leadership Academy und ein Empfänger des Ethel Newbold 2023.
PeterJ.Liu
PeterJ.Liu ist Forscher bei GoogleDeepMind in der Bay Area San Francisco. Seit 2015 erforscht er maschinelles Lernen mit Spezialisierung auf Sprachmodelle und begann im GoogleBrain-Team. Er hat Konferenzen zu maschinellem Lernen und NLP wie ICLR, ICML, NEURIPS, ACL und EMNLP veröffentlicht und geleitet. Er verfügt außerdem über umfassende Produktionserfahrung, einschließlich der Einführung des ersten Deep-Learning-Modells für den Anti-Spam-Dienst von Gmail und der Verwendung neuronaler Netzwerkmodelle zur Erkennung von Finanzbetrug für führende Banken. Er schloss sein Studium der Mathematik und Informatik an der Universität ab Toronto.
Über XTXMarkets:
XTXMarkets ist ein führendes Finanztechnologieunternehmen, das weltweit mit Kontrahenten, Börsen und E-Trading-Plattformen zusammenarbeitet, um Liquidität auf den Aktien-, Devisen-, Renten- und Rohstoffmärkten bereitzustellen. XTX beschäftigt mehr als 200 Mitarbeiter in London, Paris, New York, Mumbai, Eriwan und Singapur. XTX gehört immer noch zu den fünf größten Liquiditätsanbietern weltweit auf dem Devisenmarkt (Euromoney von 2018 bis heute), ist aber auch der größte Liquiditätsanbieter für europäische Aktien (systematischer Internalisierer) (Rosenblatt GJ2020 und GJ2023).
Die philanthropischen Bemühungen des Unternehmens konzentrieren sich auf MINT-Ausbildung und maximale Wirkung (neben einem Mitarbeiter-Matching-Programm). Seit 2017 hat XTX über 100 Millionen Pfund an Wohltätigkeitsorganisationen und wohltätige Zwecke gespendet und ist damit ein führender Spender im Vereinigten Königreich und auf der ganzen Welt.
In einer sich verändernden Welt steht XTX Markets an vorderster Front dabei, die Finanzmärkte für alle fairer und effizienter zu gestalten.
Diese Pressemitteilungen könnten auch Sie interessieren
|
Kommuniqué weitergeschickt 28. April 2024 12:50 und vertrieben von:
