OpenAI publie des solutions à 372 familles de résultats mathématiques

OpenAI a publié un ensemble de 722 manuscrits couvrant 372 familles de résultats, qui regroupent des articles mathématiques connexes. L'entreprise indique que ces documents contiennent des solutions à un certain nombre de problèmes mathématiques de longue date, produits par un modèle de pointe non encore publié. Selon l'AGMAI, le groupe consultatif sur les mathématiques et l'intelligence artificielle, la publication inclut des solutions à des centaines de questions ouvertes.

Détails de la publication et méthodologie

Les résultats ont été publiés dans un dépôt GitHub. OpenAI indique que le dépôt inclut des protocoles pour les révisions des articles et les citations. L'entreprise a également partagé des formalisations de nombreuses démonstrations en Lean, un langage de programmation qui permet aux ordinateurs de vérifier les preuves mathématiques. OpenAI déclare qu'elle mettra à jour le dépôt avec davantage de formalisations au fur et à mesure de leur obtention.

Pour promouvoir la transparence, OpenAI publie des détails supplémentaires sur la manière dont les résultats ont été obtenus. Ces détails incluent 10 résumés du raisonnement du modèle, des estimations du calcul effectué en termes d'utilisation de Pro sur ChatGPT, et des statistiques sur le nombre de problèmes tentés. OpenAI affirme que le « résultat moyen » a utilisé l'équivalent de trois heures de réflexion de ChatGPT Pro.

Recommandations du groupe consultatif

La publication fait suite aux recommandations publiques de l'AGMAI, un groupe consultatif indépendant de mathématiciens d'élite formé pour travailler sur la communication responsable des résultats. Fin septembre, l'AGMAI a exhorté les laboratoires d'IA à publier les résultats mathématiques rapidement et par l'intermédiaire de canaux académiques établis, dans la mesure du possible. Le groupe a également recommandé de divulguer des détails tels que le nom du modèle utilisé, les invites et les coûts de calcul.

L'AGMAI a déclaré que les entreprises d'IA devraient « s'abstenir de traiter la publication de résultats mathématiques comme des supports marketing pour promouvoir leurs modèles », une pratique qu'elle a dite infliger des dommages importants à la communauté mathématique. La déclaration d'OpenAI note que l'entreprise a consulté l'AGMAI à l'Institute for Advanced Study pour élaborer les meilleures pratiques et s'est inspirée de leurs conseils pour informer la manière dont elle publie ces résultats.

Projets futurs et impact communautaire

OpenAI indique qu'elle continue d'explorer d'autres alternatives hébergées par la communauté pour cette publication, qui respectent les directives du comité. Pour les futures publications, l'entreprise déclare s'engager à améliorer davantage la qualité des articles par le biais de citations, d'expositions mathématiques et de la présentation des résultats pour une meilleure compréhension.

L'entreprise a également annoncé son intention de financer une série d'ateliers, de conférences et de programmes spéciaux autour de la compréhension des résultats majeurs produits par l'IA. OpenAI déclare vouloir autonomiser directement les scientifiques avec des capacités de pointe et travaille à publier de manière responsable le modèle qui a produit ces résultats.

Pourquoi cela compte

La publication s'ajoute à un corpus croissant de résultats mathématiques provenant de laboratoires d'IA, y compris OpenAI et des laboratoires rivaux comme Anthropic, que le domaine est encore en train de traiter. La rapidité avec laquelle les laboratoires d'IA sont entrés dans cette discipline cette année a provoqué un débat sur les pratiques de recherche, l'éthique et la manière dont les entreprises crédite les mathématiciens humains. L'impact complet des résultats prendra probablement du temps à se faire sentir alors que les mathématiciens les évaluent et les assimilent.

Sources (en anglais)

• theverge.com: OpenAI drops another batch of mathematical breakthroughs | The Verge
• openai.com: Sharing AI progress in mathematics | OpenAI

Traduction réalisée par IA de l’article original en anglais, vérifiée automatiquement pour dire la même chose que l’original. Les sources ont été vérifiées en anglais.