PRINCETON, NEW JERSEY / RankWire.AI / – OpenAI a entamé une collaboration avec un groupe indépendant de mathématiciens afin d'établir des normes pour la recherche mathématique générée par l'IA. Le Groupe consultatif sur les mathématiques et l'intelligence artificielle est basé à l'Institut d'études avancées de Princeton. Il est responsable de la présentation, de l'évaluation et de la diffusion des découvertes mathématiques réalisées grâce à l'intelligence artificielle. De plus, ce groupe offre aux mathématiciens une plateforme formelle pour exprimer leurs préoccupations concernant les pratiques de recherche, les questions pédagogiques et les normes académiques.
Ce groupe d'experts est indépendant d'OpenAI et ses membres ne reçoivent aucune rémunération de la part de l'entreprise. Ils sont habilités à formuler des avis non sollicités et peuvent publier leurs recommandations afin d'éclairer la communauté mathématique. Le groupe encourage aussi les échanges publics sur les sujets à l'intersection de l'intelligence artificielle et de la recherche mathématique. Il est important de souligner que ce groupe n'a aucune autorité sur les choix de recherche d'OpenAI et que les organisations qui suivent ses recommandations conservent la maîtrise de leurs projets respectifs.
Le groupe initial est composé de neuf mathématiciens affiliés à des institutions de recherche de premier plan aux États-Unis et en Europe. Il s'agit de François Charles, Camillo De Lellis, Timothy Gowers, Martin Hairer, Nikhil Srivastava et Ulrike Tillmann. Ravi Vakil, Edward Witten et Melanie Matchett Wood en font aussi partie. Sous la direction de De Lellis et Witten, le projet de l'Institute for Advanced Study fournit le cadre organisationnel de cette initiative.
Les mathématiciens accordent la priorité à l'établissement de normes pour la recherche axée sur l'IA.
L'annonce de cet accord coïncide avec la publication de rapports faisant état de progrès rapides concernant un système d'intelligence artificielle interne développé spécifiquement pour les mathématiques. OpenAI affirme que ce modèle a permis de résoudre plus de 100 problèmes mathématiques de longue date, couvrant de multiples disciplines. Ces résultats sont pour l'instant communiqués exclusivement par l'entreprise, tandis que le comité consultatif examine les questions relatives à leur présentation et à leur diffusion. Dans ce cadre, le groupe sollicite l'avis de mathématiciens avant d'élaborer des recommandations sur la manière de traiter les résultats mathématiques significatifs générés par l'IA.
Ce nouveau comité fait suite à la publication par OpenAI de recherches mathématiques relatives au problème d'existence et de régularité des équations de Navier-Stokes. Ce problème fait partie des sept problèmes de prix du millénaire identifiés par le Clay Mathematics Institute. L'entreprise a publié des documents mathématiques à l'appui, notamment une version formelle élaborée à l'aide du système de preuve Lean. OpenAI précise qu'un modèle interne a permis d'obtenir ces travaux, qu'elle présente publiquement comme s'inscrivant dans le cadre de ses efforts croissants en matière de recherche mathématique.
Un panel indépendant sert de pont entre les chercheurs et les entreprises spécialisées en IA
Le groupe consultatif a été créé à la suite de discussions entre OpenAI et plusieurs mathématiciens concernant la nécessité d'un encadrement externe des pratiques de recherche mathématique. Ces mathématiciens ont mis en place une structure indépendante et élargi son cercle de membres au-delà des participants initiaux. Son objectif déclaré est de faciliter les échanges entre les développeurs d'IA, les chercheurs en mathématiques et la communauté universitaire au sens large. Bien que l'Institute for Advanced Study fournisse le cadre organisationnel au groupe, ses membres conservent l'entière maîtrise de ses recommandations et de sa composition.
Le groupe consultatif recueille actuellement les avis des chercheurs afin de déterminer la meilleure approche pour diffuser publiquement les principaux résultats mathématiques produits par l'IA. Il précise que les recommandations adressées à OpenAI et aux autres entreprises du secteur pourront être publiées sur son site web. Les réponses individuelles des mathématiciens resteront confidentielles, sauf autorisation expresse de leur part. OpenAI demeure responsable de ses propres décisions en matière de recherche et de publication, tandis que le groupe consultatif fournit des orientations indépendantes sur les normes relatives aux mathématiques et à l'intelligence artificielle.
L'article « Princeton accueille un nouveau comité consultatif en mathématiques d'OpenAI pour les chercheurs et les développeurs » est paru initialement sur Little Rock Gazette .