Résumé :
Le géant de l'intelligence artificielle OpenAI a annoncé qu'il coopérerait avec un certain nombre de mathématiciens de haut niveau pour créer un « Groupe consultatif sur les mathématiques et l'intelligence artificielle » indépendant (Groupe consultatif sur les mathématiques et l'intelligence artificielle), qui sera situé à l'Institute for Advanced Study (IAS) à Princeton.
Auparavant, OpenAI affirmait qu'un modèle interne non divulgué qu'il avait commencé à former le 28 août de cette année avait non seulement résolu l'un des problèmes du Prix du Millénaire, le problème d'existence et de fluidité de Navier-Stokes (problème de Navier-Stokes), mais avait également résolu plus de 100 problèmes ouverts de longue date couvrant la plupart des domaines des mathématiques.
Cette avancée révolutionnaire et son rythme de développement extrêmement rapide ont même dépassé les attentes de l’équipe interne de mathématiciens d’OpenAI. Cependant, l'approche des sociétés commerciales d'IA consistant à traiter les conjectures mathématiques historiques comme une compétition pour les médailles et à se précipiter pour publier les résultats a également déclenché une forte réaction dans le monde universitaire. Vingt-cinq mathématiciens de renom, dont Terence Tao, Yau Shing-tung et plusieurs lauréats de la médaille Fields, ont précédemment publié une lettre ouverte intitulée « Le sérieux décalage de l'intelligence artificielle dans le domaine des mathématiques », accusant les géants de la technologie de se précipiter aveuglément sans examen par les pairs, de manquer de processus de raisonnement détaillés et de ne pas évaluer correctement les contributions de leurs prédécesseurs. Non seulement cela porte atteinte aux normes académiques, mais cela peut aussi avoir un impact dévastateur sur le développement sain de la discipline mathématique.
Pour apaiser les tensions avec le monde universitaire, OpenAI a facilité la création de ce groupe consultatif indépendant. La liste est la suivante :
François Charles
Camillo De Lellis
Timothy Gowers
Martin Coiffeur
Nikhil Srivastava
Ulrike Tillmann
Ravi Vakil
Edward Witten
Mélanie Matchett Wood
Selon le communiqué officiel, le groupe servira de pont entre les institutions commerciales d'IA et la communauté mathématique et le public, en aidant à évaluer la valeur académique des preuves générées par machine, en guidant le processus de publication des résultats et en fournissant des recommandations sur l'application des spécifications de recherche et des outils pédagogiques. Afin de garantir l'objectivité et l'indépendance de l'évaluation, les membres du groupe consultatif n'accepteront aucun salaire d'OpenAI et auront le pouvoir de décider des changements de membres, d'exprimer publiquement leur désaccord et de faire des commentaires indépendants.
Cependant, ce mécanisme de supervision a toujours des limites de pouvoir claires. OpenAI et l’Institute for Advanced Study ont clairement confirmé que le groupe consultatif n’a que des fonctions de conseil et d’examen et n’a aucune autorité pour interférer, retarder ou modifier le rythme du développement des modèles internes et des projets mathématiques d’OpenAI. Bien que la communauté mathématique reste prudente quant à la rigueur et à l’originalité de ces preuves automatiques, cette évolution marque la pénétration de la technologie de l’IA dans la science fondamentale pure, obligeant l’industrie et le monde universitaire traditionnel à établir un nouveau cadre de confiance et de collaboration.
Commentaires