Mathématiques : la contestation de l’intelligence artificielle s’intensifie

NNoor

OpenAI a publié une première solution liée aux équations de Navier-Stokes, puis plus de 700 autres solutions, avec des données accessibles sur GitHub, d’après Brief IA. De son côté, Developpez précise que l’entreprise a diffusé 722 articles en une seule fois, le 6 octobre, une démarche critiquée pour son manque de clarté et le risque de submerger la communauté mathématique. Ces éléments font apparaître une controverse qui ne concerne pas seulement la capacité d’un système à produire des réponses à des problèmes difficiles. Elle porte aussi sur le volume de résultats diffusés et sur la manière dont les mathématiciens peuvent les lire, les examiner et en apprécier la portée. La publication a donc déclenché des questions sur les conditions de partage des résultats et sur les conséquences possibles d’une diffusion aussi massive pour les travaux en cours.

NNoor

Developpez rapporte que les démonstrations associées à ces travaux peuvent être formalisées, mais que certaines sont présentées de façon hermétique et difficile à comprendre. Les éléments publiés ne permettent pas de répondre en bloc à ces questions pour chacune des solutions diffusées. Le fait que des données soient disponibles sur GitHub rend leur consultation possible, mais ne signifie pas que toutes les preuves ont déjà été examinées ou comprises par la communauté. Lorsque des centaines de résultats paraissent ensemble, leur étude demande du temps et des compétences mathématiques adaptées. La difficulté signalée concerne ainsi autant l’intelligibilité des textes que l’ampleur du travail de vérification.

NNoor

Tristan Buckmaster, professeur à l’Université de New York, estime que la diffusion des solutions d’OpenAI aurait anéanti des pans entiers de recherche, selon Brief IA. C’est une appréciation attribuée à ce professeur, et elle ne précise pas combien de travaux seraient concernés ni quelles équipes auraient dû modifier leurs projets. Elle exprime toutefois une inquiétude sur la façon dont des résultats rendus publics peuvent affecter des recherches portant sur des questions voisines. Les éléments disponibles ne permettent pas d’affirmer que toutes les recherches concernées deviennent inutiles, ni que chaque solution publiée répond à une question encore ouverte. Ils établissent plutôt qu’un professeur de l’Université de New York juge l’impact de cette diffusion considérable. La controverse porte donc aussi sur le rythme de publication et sur les effets d’une mise à disposition rapide de nombreux résultats, avant que leur examen collectif soit achevé.

NNoor

À Caltech, un mathathon qui autorise l’usage de l’intelligence artificielle a suscité une lettre signée par plus de 700 personnes, qui dénoncent des effets potentiellement destructeurs pour la communauté mathématique, d’après Brief IA. OpenAI s’est retirée de l’événement, mais celui-ci reste programmé. Le retrait ne met donc pas fin à la rencontre ni à la controverse sur la place des outils d’IA dans une compétition mathématique. OpenAI et Anthropic avaient chacune promis l’équivalent d’un million de dollars en puissance de calcul pour soutenir l’initiative. La lettre exprime une opposition à l’événement et aux effets que ses signataires lui attribuent, sans établir que ces conséquences se produiront nécessairement. Le désaccord porte notamment sur la possibilité d’autoriser ces outils dans une activité mathématique collective. Les faits disponibles indiquent que l’événement est maintenu malgré le retrait d’OpenAI, mais ne détaillent pas les modalités précises de participation ni les règles qui seront appliquées sur place.

NNoor

L’Association des mathématiciens humains a été créée après des controverses liées aux travaux d’entreprises d’intelligence artificielle et compte plus de 1 000 membres, dont des professeurs et des doctorants, selon Developpez. Le collectif propose plusieurs niveaux d’engagement, plutôt qu’une position unique sur tous les usages. Certains membres refusent de travailler pour ou avec des entreprises d’IA et de recourir à des agents conversationnels pour rédiger des travaux de recherche ou des supports pédagogiques. D’autres souhaitent exclure l’intelligence artificielle de toute activité de recherche. Ces choix montrent que les membres ne tracent pas tous la même frontière, même s’ils se retrouvent dans une démarche de contestation de certains usages. Les engagements mentionnés concernent notamment la collaboration avec des entreprises, la rédaction et les pratiques de recherche. Les informations disponibles ne disent pas que chaque membre suit les mêmes règles, ni que le collectif demande une interdiction générale de toute technologie d’IA dans toutes les activités mathématiques.

NNoor

Fin septembre, un groupe consultatif indépendant consacré aux mathématiques et à l’intelligence artificielle avait demandé que cessent les tests de problèmes mathématiques avancés sur des modèles propriétaires. Developpez affirme qu’OpenAI n’a pas suivi cette recommandation. Le même média rapporte que l’Association des mathématiciens humains reproche à OpenAI d’avoir ignoré les conseils du groupe tout en s’appuyant sur lui pour légitimer ses travaux. Cette accusation n’est pas corroborée par une autre source dans les éléments disponibles et doit rester attribuée à l’association. Les faits rapportés distinguent donc la recommandation formulée par le groupe et l’appréciation critique portée par le collectif sur la conduite d’OpenAI. Les informations disponibles ne précisent pas que ce groupe disposait d’un pouvoir pour imposer sa recommandation.

NNoor

Le débat porte à la fois sur les résultats publiés, la possibilité d’en comprendre les démonstrations et les conditions dans lesquelles les outils sont utilisés. Brief IA rapporte que Sam Altman aurait estimé que les mathématiciens iraient progressivement vers une acceptation majoritaire de l’intelligence artificielle, mais le contexte précis de cette déclaration n’est pas établi. Le même média présente Terence Tao comme évoquant à la fois de nouvelles perspectives et des pertes, avec l’idée que l’ère romantique des mathématiques serait terminée ; la formulation exacte et son contexte restent incertains. Ces propos rapportés ne permettent pas de conclure que les mathématiciens adopteront tous la même position. Des chercheurs s’interrogent aussi sur la possibilité que des modèles exploitent des idées discutées avec eux pour devancer des solutions, mais cette hypothèse reste spéculative et aucune preuve n’est établie. Elle ne permet donc pas d’affirmer que ces systèmes ont effectivement procédé ainsi. Ce que les faits montrent, c’est une opposition aux effets possibles d’une diffusion massive et un débat sur la vérification, la lisibilité et les usages de l’IA. La publication de plus de 700 solutions par OpenAI et la contestation du mathathon de Caltech illustrent cette diversité de préoccupations, sans apporter à elles seules une réponse définitive sur l’avenir de la discipline.