IdentifiantMot de passe
Loading...
Mot de passe oublié ?Je m'inscris ! (gratuit)

Vous êtes nouveau sur Developpez.com ? Créez votre compte ou connectez-vous afin de pouvoir participer !

Vous devez avoir un compte Developpez.com et être connecté pour pouvoir participer aux discussions.

Vous n'avez pas encore de compte Developpez.com ? Créez-en un en quelques instants, c'est entièrement gratuit !

Si vous disposez déjà d'un compte et qu'il est bien activé, connectez-vous à l'aide du formulaire ci-dessous.

Identifiez-vous
Identifiant
Mot de passe
Mot de passe oublié ?
Créer un compte

L'inscription est gratuite et ne vous prendra que quelques instants !

Je m'inscris !

OpenAI met une nouvelle fois en colère la communauté des mathématiciens, en annonçant des centaines de découvertes mathématiques générées par l'IA sans publier les travaux explicatifs

Le , par Alex

450PARTAGES

6  0 
OpenAI a une nouvelle fois mis en colère la communauté des mathématiciens. En août, OpenAI a réuni une quarantaine de mathématiciens pour discuter de la marche à suivre si l'IA venait à dépasser les capacités humaines dans ce domaine. Le groupe a demandé à l’entreprise de ne pas se contenter de les publier sur un blog ou via un tweet, comme elle l’avait fait avec dix problèmes plus tôt dans le mois. Cette suggestion semble ignorée, OpenAI a fait savoir qu’elle prévoyait de publier sur GitHub des centaines de résultats concernant des problèmes non résolus. La communauté des mathématiciens affirme avoir l’impression que le domaine est devenu un terrain de jeu pour OpenAI.

En juin, dans une déclaration décrivant les nombreux défis que pose l'intelligence artificielle (IA) à la recherche mathématique, des mathématiciens ont mis en garde contre les menaces que fait peser l’IA sur leur profession en inondant le domaine de démonstrations plausibles mais erronées. Cette déclaration a été élaborée par un groupe de travail composé de seize chercheurs sur une période de huit mois, et a été approuvée par l’Union mathématique internationale. « Les mathématiciens devraient trouver assez frappant que les entreprises technologiques s’intéressent soudainement à leur travail », a déclaré Kevin Buzzard, mathématicien à l’Imperial College de Londres, dans un communiqué. « La Déclaration de Leyde est une réponse mûrement réfléchie à ce qui se passe actuellement, alors que l’IA continue de bouleverser ce domaine. »

Malgré cette déclaration, en septembre, une controverse avait opposé le mathématicien Tristan Buckmaster à OpenAI au sujet de la résolution du problème de Navier-Stokes. Alors que le chercheur et son partenaire approchaient d'une découverte majeure, OpenAI a soudainement annoncé avoir résolu l'énigme grâce à une armée d'agents IA. Tristan Buckmaster soupçonne OpenAI d'avoir indûment utilisé ses travaux non publiés, stockés via leurs outils d'IA, pour accélérer ses propres recherches internes. Cette affaire soulève des questions éthiques fondamentales sur la propriété intellectuelle et la protection des données dans le milieu académique, désormais dominée par des intérêts privés.

Malgré cet évènement, OpenAI a une nouvelle fois mis en colère la communauté des mathématiciens. En août, OpenAI a réuni une quarantaine de mathématiciens pour discuter de la marche à suivre si l'IA venait à dépasser les capacités humaines dans ce domaine. L’entreprise a laissé entendre que ses puissants modèles avaient résolu des centaines de problèmes mathématiques de longue date.

Les mathématiciens ont réagi avec « un mélange d’enthousiasme et d’appréhension ». Le groupe a demandé à l’entreprise de ne pas se contenter de les publier sur un blog ou via un tweet, comme elle l’avait fait avec dix problèmes plus tôt dans le mois. Il serait au contraire important qu’OpenAI publie des articles expliquant ces travaux afin que les mathématiciens puissent assimiler, analyser et exploiter ces résultats.

Apparemment, cette suggestion a été ignorée. OpenAI a fait savoir qu’elle prévoyait de publier sur GitHub des centaines de résultats concernant des problèmes non résolus. Les mathématiciens remettent en question la manière dont OpenAI compte partager sa prochaine série de résultats générés par l’IA, arguant que des annonces sans articles explicatifs rendent les découvertes plus difficiles à vérifier et à attribuer.



En août, OpenAI a réuni une quarantaine de mathématiciens pour discuter de l’impact potentiel de l’IA sur la discipline et de la manière de publier les résultats. Bryna Kra, mathématicienne à l’université Northwestern, se souvient d’un mélange d’enthousiasme et d’appréhension, mais a considéré cette réunion comme un premier pas prometteur. Kra a expliqué que les participants avaient exhorté OpenAI à publier des articles expliquant les résultats, plutôt que de les divulguer via des blogs ou des tweets. L’objectif était de permettre aux mathématiciens d’assimiler, de comprendre et d’utiliser ces travaux. Elle estime aujourd’hui que ce conseil n’a pas été suivi.

Cette critique ne se résume pas à une simple résistance à l’idée que l’IA fasse des mathématiques. Kra a déclaré qu’elle se réjouissait de l’arrivée d’un nouvel outil puissant, mais qu’elle souhaitait une meilleure communication afin de pouvoir faire confiance à ses résultats et s’appuyer sur ceux-ci. D’autres mathématiciens ont également critiqué les annonces qui ne reconnaissent pas suffisamment les contributions antérieures.

Un différend survenu en septembre aide à expliquer cette méfiance. Dans son communiqué du 21 septembre, OpenAI avait déclaré qu'un modèle interne avait résolu plus de 100 problèmes ouverts de longue date dans la plupart des domaines des mathématiques, y compris le problème de Navier-Stokes, éligible au Prix du Millénaire. Tristan Buckmaster, mathématicien à l’université de New York (NYU), a accusé OpenAI d’avoir devancé des travaux non publiés qu’il avait développés avec Levent Alpöge, un employé d’Anthropic. Buckmaster a également affirmé que Sébastien Bubeck, chercheur chez OpenAI, avait suggéré d’exclure Alpöge d’un article.

L’annonce faite en septembre par OpenAI concernant la création d’un groupe consultatif a pris en compte les préoccupations des mathématiciens quant à l’utilisation de problèmes ouverts comme critères de référence pour l’IA. Ce groupe a pour mission de donner des conseils sur la pertinence, l’évaluation et la communication des résultats émergents, y compris en matière de normes académiques et professionnelles. OpenAI précise que ce groupe fonctionne de manière indépendante : ses membres ne sont pas rémunérés, peuvent offrir des conseils non sollicités et sont libres de rendre leurs avis publics. Son mandat comporte toutefois une limite : il ne conseillera pas l’entreprise sur la manière de rythmer ses progrès internes en mathématiques.

Mais pour plusieurs mathématiciens de renom, cette publication imminente est également le signe que l’entreprise n’a guère tiré les leçons des controverses liées aux publications précédentes. Ils affirment avoir l’impression que le domaine est devenu un terrain de jeu pour OpenAI et son rival Anthropic, qui s’empressent de mettre en avant leurs modèles alors qu’ils se préparent tous deux à des introductions en bourse retentissantes. Dans leur empressement à se surpasser l’un l’autre, affirment les mathématiciens, les processus scientifiques traditionnels de publication et d’attribution des résultats ont été mis de côté.

En janvier, le célèbre mathématicien Joel David Hamkins a notamment exprimé de sérieux doutes quant à l'utilité des modèles d'intelligence artificielle (IA) dans la recherche mathématique, qualifiant leurs résultats de « déchets » et de « mathématiquement incorrects ». Il souligne la tendance frustrante de l'IA à affirmer avec assurance des informations incorrectes et à résister à toute correction, reflétant ainsi les interactions humaines contre-productives. Malgré les succès remarquables de cette technologie, Hamkins estime que les systèmes actuels ne sont pas fiables pour une véritable collaboration en matière de recherche.

Par exemple, OpenAI a fait face à une vague de critiques en octobre 2025 suite à une fausse annonce concernant une avancée mathématique du GPT-5. L'affirmation d'OpenAI selon laquelle GPT-5 aurait résolu une série de problèmes mathématiques de longue date a suscité des critiques après que les chercheurs de l'entreprise aient semblé exagérer les réalisations du modèle. Les problèmes dits « non résolus » avaient déjà été résolus dans des articles universitaires, mais n'étaient pas répertoriés sur tous les sites de référence. GPT-5 avait simplement récupéré des études existantes que le conservateur du site web n'avait pas encore rencontrées.


Depuis, certains ont mis en place cette année de nouveaux outils en réaction à la multiplication des démonstrations assistées par ordinateur ; l’idée est d’aider la communauté à la fois à exploiter les nouveaux résultats et à faire le tri parmi ce qui doit encore être approfondi. Parmi ces outils figurent Hexagon, un référentiel contenant principalement des documents générés par l’IA, et Palomar, un registre de résultats mathématiques vérifiés par des machines. Bien qu’OpenAI ait été directement encouragée à utiliser ces outils, « elle n’a pas changé son comportement ». Elle estime par ailleurs que les actions de l’entreprise ne sont pas conformes à la déclaration de Leyde, un appel lancé par plus de 4 000 mathématiciens pour que les entreprises d’IA respectent les normes mathématiques, qu’elle a elle-même contribué à rédiger.

Source : OpenAI

Et vous ?

Pensez-vous que cette annonce est crédible ou pertinente ?
Quel est votre avis sur le sujet ?

Voir aussi :

Les mathématiciens mettent en garde contre les menaces que fait peser l'IA sur leur profession en inondant le domaine de démonstrations plausibles mais erronées, dans le cadre d'une déclaration

Une nouvelle étude montre pourquoi les modèles d'IA à raisonnement simulé ne sont pas encore à la hauteur de leur réputation, performants sur les problèmes standards, mais limités en raisonnement olympique

OpenAI affirme que son prochain modèle d'IA, Astra, encore inédit, a résolu 10 problèmes vieux de plusieurs décennies, en mathématiques, physique quantique et informatique théorique pour seulement 2 000 $
Vous avez lu gratuitement 338 articles depuis plus d'un an.
Soutenez le club developpez.com en souscrivant un abonnement pour que nous puissions continuer à vous proposer des publications.

Une erreur dans cette actualité ? Signalez-nous-la !

Avatar de Anselme45
Membre extrêmement actif https://www.developpez.com
Le 13/10/2026 à 13:51
Citation Envoyé par jnspunk Voir le message
Si l’IA générative permet de faire plus de découvertes mathématiques, cela ouvre aussi la voie à davantage de progrès technologiques.
Et les doctorants ou chercheurs dont les travaux sont devenus inutiles seront heureux de bénéficier d’un traitement pour leur maladie, découvert grâce aux avancées technologiques rendues possibles par les découvertes de l’IA.
C'est marrant parce que jusqu'à ce jour, l'IA n'a pas découvert un seul traitement contre une quelconque maladie, même pas la bobologie, par contre l'IA a déjà largement fourni une avalanche d'exemples prouvant sa nocivité!!!
8  1 
Avatar de virginieh
Membre expérimenté https://www.developpez.com
Le 23/10/2026 à 13:43
Citation Envoyé par tontonCD Voir le message
concernant les recherches cela demande beaucoup de travail, souvent des années, et il est désolant que l'I.A. publie les résultas sans créditer personne. Et que les seules personnes capables de faire avancer la science se trouvent soudainement dé-crédibilisées, alors que leur salaire (très maigre souvent) n'est justifié que par leur réputation et les projets qu'on leur confie en conséquence.
C'est injuste d'une part, et on s'oriente de plus en plus vers une société qui tourne en boucle.
Tu as la conséquence dans l'article juste en dessous de ton post, les mathématiciens (et probablement d'autres chercheurs à leur suite) vont préférer se priver d'un outil qui leur aurait fait gagner un nombre incalculable d'heures, plutôt que se passer de la reconnaissance de leur travail qui était leur seule gratification.
C'est triste.
3  0 
Avatar de adrien239
Membre averti https://www.developpez.com
Le 23/10/2026 à 13:53
Je suis un vieux schnock donc j’en ai vu des générations prétendre vouloir se priver du progrès au nom de «l’honneur» (à moins que ce ne soit de l’orgueil) : depuis l’avènement du train, la télé (ah la télé qu’est ce qu’on n’a pas entendu sur la télé) le tél portable, maintenant l’IA (et j’en oublie) ....

Ça n’en finira jamais.

Les générations futures qui sont fans de l’IA décrieront sans aucun doute à leur tour une énième invention qui n’existe pas encore et ainsi de suite.

Faut relire Darwin les petits
3  0 
Avatar de Anselme45
Membre extrêmement actif https://www.developpez.com
Le 26/10/2026 à 9:14
Citation Envoyé par suricata Voir le message
Je vois aussi ce que vous dites mais j'ai un avis bien plus nuancé que le votre sur l'IA ayant pu l'expérimenter dans le monde professionnel à titre de recherche scientifique avec 0 hallucination et explicable. Et ce n'est pas la première fois que j'en parle sur ce forum.
Il ne vous reste donc plus qu'à exiger du monde réel que l'on change les statistiques sur l'IA: 10% d'hallucinations dans le cas de questions fermées et entre 30 et 60% d'hallucinations dans le cas de questions ouvertes (selon les modèles)!!!

Citation Envoyé par suricata Voir le message
plusieurs dizaines de millions de nouvelles formules et de nouveaux matériaux ont été trouvés
Ouah! "Plusieurs dizaines de millions" dites-vous? Vous n'aurez donc pas de problème à nous fournir ici quelques exemples de ces "nouveaux matériaux" et de leurs applications qui ont révolutionné notre quotidien!!!
3  0 
Avatar de e-ric
Membre expert https://www.developpez.com
Le 26/10/2026 à 14:12
Hello

En maths, le chemin (la démonstration) est presque plus important que le point d'arrivée (le théorème), l'IA (enfin disons les boîtes d'IA, pour des raisons de pur marketing et survie économique) envisage de briser tout cela et je pense pas que cela soit une bonne chose, que l'IA soit là en support, c'est une chose. Mais la perte de maîtrise sur une telle discipline serait une perte préjudiciable pour tous.

J'ai une bonne idée pour les boîtes d'IA: plutôt que débiter des résultats mathématiques de manière exubérante (non vérifiés donc pas faibles), ils feraient mieux d'optimiser leurs besoins en puissance de calculs et en ressources naturelles qui deviennent de plus en plus problématiques.

Question : avec les risques d'hallucination (pas si rares que cela) et le temps que prennent les vérifications par des mathématiciens humains chevronnés, c'est une étape incontournable en sciences, peut-on vraiment faire confiance à ces systèmes pour ce type de connaissances qui sont aux frontières du savoir et qui conditionnent les futurs résultats mais aussi notre avenir ?
3  0 
Avatar de e-ric
Membre expert https://www.developpez.com
Le 26/10/2026 à 14:17
Citation Envoyé par JackIsJack Voir le message
Heureux de voir l'informatique triompher sur les mathématiques, de façon concrète, l'un absorbe l'autre et fait joujou avec. L'explicite gagne sur l'implicite.
Totalement nulle la réflexion, les disciplines n'ont pas à se concurrencer, cela ne présente aucun intérêt pour la communauté scientifique dans son ensemble, c'est plutôt un combat entre des boîtes privées et la recherche fondamentale.

A mon avis, l'informatique théorique n'est qu'un domaine des mathématiques, pas plus pas moins.
2  0 
Avatar de tontonCD
Membre actif https://www.developpez.com
Le 16/10/2026 à 21:51
concernant les recherches cela demande beaucoup de travail, souvent des années, et il est désolant que l'I.A. publie les résultas sans créditer personne. Et que les seules personnes capables de faire avancer la science se trouvent soudainement dé-crédibilisées, alors que leur salaire (très maigre souvent) n'est justifié que par leur réputation et les projets qu'on leur confie en conséquence.
C'est injuste d'une part, et on s'oriente de plus en plus vers une société qui tourne en boucle.
1  0 
Avatar de Anselme45
Membre extrêmement actif https://www.developpez.com
Le 23/10/2026 à 14:13
Citation Envoyé par virginieh Voir le message
Tu as la conséquence dans l'article juste en dessous de ton post, les mathématiciens (et probablement d'autres chercheurs à leur suite) vont préférer se priver d'un outil qui leur aurait fait gagner un nombre incalculable d'heures, plutôt que se passer de la reconnaissance de leur travail qui était leur seule gratification.
C'est triste.
Il n'y a rien de "triste" là-dedans! Par essence, l'IA est basée sur le vol de données et sur l'utilisation de celles-ci sans en avoir les droits!!!

Ces mathématiciens se rendent simplement compte que si ils utilisent l'IA dans leur recherches, toutes leurs connaissances seront "pompées" à leur insu et utilisées par l'IA sans qu'ils ne soient mentionnés nulle part. Mieux, ils vont se faire déposséder des résultats de leur travail...

Quand on sait que le financement des chercheurs, dans tous les domaines et pas seulement dans celui des mathématiques, reposent sur la publication de leur travail dans des médias de référence, l'IA est synonyme de mort pour le monde de la recherche:

L'IA publie les résultats de recherche volés sans suivre les protocoles établis par le monde de la recherche en court-circuitant le chercheur lui-même. Ce dernier, ne pouvant plus éditer ses résultats en premier, ne peut plus prouver la paternité de ses découvertes. Sans publication, le chercheur n'est pas reconnu dans son domaine et il n'obtient tout simplement plus de financement pour poursuivre son travail!!!
2  1 
Avatar de OuftiBoy
Membre éprouvé https://www.developpez.com
Le 23/10/2026 à 19:16
Citation Envoyé par virginieh Voir le message
Tu as la conséquence dans l'article juste en dessous de ton post, les mathématiciens (et probablement d'autres chercheurs à leur suite) vont préférer se priver d'un outil qui leur aurait fait gagner un nombre incalculable d'heures, plutôt que se passer de la reconnaissance de leur travail qui était leur seule gratification.
C'est triste.
L'un n'empêche pas l'autre... Faut-il arrêter de jouer aux échec (avec tout les bénéfice de l'étude de ce jeux), simplement parce qu'une machine fait mieux (tout en utilisant d'autres méthode que celles d'un joueur humain). Pareil, c'est pas parce qu'on a des plat sous-vide qu'il
faut abandonner la cuisine...
1  0 
Avatar de RenarddeFeu
Membre averti https://www.developpez.com
Le 13/10/2026 à 4:18
L'IA est un coup dur pour la recherche académique, pas pour les mathématiques en général.

Il est vrai que les mathématiciens qui n'arriveront pas à se défaire du monde universitaire, à publier des articles, à rechercher des financements, vont souffrir. Les autres vont juste se tourner vers le privé et travailler dans des champs de recherche appliquée.
2  2