Terence Tao le soutient ! Annonce du prix de progrès de l'Olympiade de mathématiques de l'IA, avec des prix de plus d'un million de dollars américains

Comment un grand modèle peut-il résoudre des problèmes de mathématiques ? Autant le laisser participer à ce niveau de compétition. "Les résultats préliminaires de l'Olympiade mathématique de l'IA (AIMO Progress Award) ont été annoncés. Selon les données du classement, il semble actuellement que le programme gagnant a répondu correctement à 29/50 questions lors du test privé, ce qui est un résultat plus élevé que prévu. " Tout à l'heure, Tao Zhexuan a annoncé la nouvelle sur son blog personnel.

AIMO est originaire de XTX Markets, une institution financière non bancaire spécialisée dans le trading quantitatif d'apprentissage automatique. Il permet principalement aux participants d'utiliser des modèles d'IA pour résoudre des problèmes mathématiques internationaux. peut résoudre des problèmes mathématiques complexes écrits au format LaTeX. Cela contribue à promouvoir les capacités de raisonnement mathématique des modèles d’intelligence artificielle et à favoriser le développement de connaissances de pointe.
Il convient de mentionner que c'est la première fois que le Progress Award sera décerné et que l'équipe gagnante concourra pour un prix de 1,048 million de dollars américains. Les questions participantes comprennent des questions issues de concours de mathématiques du secondaire intermédiaire, mais le niveau de difficulté n'atteint pas le niveau de l'Olympiade internationale de mathématiques (OMI). L'éligibilité au prix nécessite que les équipes publient publiquement leur code, leurs méthodes, leurs données et les paramètres de leur modèle.
Selon le classement, nous pouvons voir que l'équipe de Numina a remporté la première place, CMU_MATH s'est classée deuxième, après les examens temporairement classée troisième, et les équipes codeinter et Conor #2 ont obtenu respectivement les quatrième et cinquième résultats. Selon les règles, le nombre maximum d'équipes participantes est de 5 personnes, et deux des cinq premiers sont des joueurs individuels.

Les modèles utilisés par chacun sont également différents, notamment Mixtral・8x7b, Gemma, Llama 3, etc.

1. L'Olympiade mathématique internationale de l'OMI a toujours été directement participée par des passionnés spécialisés en mathématiques. Cependant, à mesure que les capacités des grands modèles continuent de s'améliorer, leurs performances en mathématiques ont reçu de plus en plus d'attention.

2. L'objectif des tests de chacun s'est progressivement déplacé des questions similaires d'examen d'entrée à l'université vers l'arène olympique. Auparavant, AlphaGeometry de Google DeepMind avait été publié dans Nature. Cette recherche a résolu 25 des 30 problèmes de niveau olympique, à l'approche de l'Olympiade mathématique internationale. . Performance moyenne des médaillés d'or en compétition.
3. Avec l'explosion des grands modèles, plus d'une entreprise a commencé à contester le problème de l'Olympiade. Quel sera le résultat si elles se font concurrence ?
4. En novembre dernier, un concours de mathématiques spécialement organisé pour l'IA a été doté d'un prix de 10 millions de dollars américains, visant à stimuler le développement de modèles ouverts d'intelligence artificielle afin qu'ils puissent rivaliser avec les meilleurs humains de l'Olympiade internationale de mathématiques (OMI). remarquable. Le Progress Award est décerné dans le cadre des AIMO Awards.

   

   Les membres du comité consultatif de l'AIMO sont tous de grands noms des mathématiques, notamment les lauréats de la médaille Fields Timothy Gowers et Terence Tao, et ils sont également servis par Po-Shen Loh, Dan Roberts et Geoff Smith.

   

   Lien de référence : https://aimoprize.com/participate

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!