OpenAI, le boloss des maths

25 médailles Fields dénoncent les problèmes de parasitisme et de déprédation scientifique que pose la série de « résolutions » de problèmes mathématiques par OpenAI. Plus de la moitié des membres de la nouvelle association pour les mathématiques humaines refusent d’utiliser l’IA. D’autres veulent explorer ce que pourrait en être une « utilisation responsable » en mathématiques.

La série d’annonces faites par OpenAI ces derniers mois au sujet des problèmes mathématiques que ses modèles internes auraient résolus, sur fond d’accusations de « mauvaises pratiques scientifiques » au sujet de la résolution des solutions des équations de Navier-Stokes (l’un des sept défis mathématiques des problèmes du prix du millénaire), suscite la bronca d’un nombre croissant de mathématiciens.

Le bureau de la Société Mathématique de France (SMF) vient ainsi de publier une prise de position sur les dernières annonces d’OpenAI afin d’« attirer l’attention sur les questions éthiques qu’elle pose : pillage bibliographique, coût énergétique et écologique, rumeurs de chantage…, et sur la description des mathématiques comme d’un tableau pour chasseurs de primes ».

Elle constate ce qu’elle qualifie d’« absence totale de stratégie collective pour l’avenir », et estime que « nous avons encore fort à faire, collectivement, pour contrer la menace que les LLM (Large Language Models) font peser sur notre discipline ; notamment celle de l’entrée dans une logique de course effrénée et de déprédation, qui met en danger la culture mathématique collective et à terme le savoir humain ».

• L’IA générative bouscule la recherche en mathématiques
• OpenAI promeut son prochain modèle Astra avec la résolution de 10 problèmes de maths
• OpenAI accusée de mauvaises pratiques scientifiques pour résoudre un problème de maths

La résolution de problèmes n’est qu’un moyen, pas l’objectif premier

Cette prise de position fait écho à une déclaration cosignée par 25 lauréats de la médaille Fields (une des deux plus prestigieuses récompenses en mathématiques avec le prix Abel, équivalents d’un prix Nobel), dont les Français Artur Avila, Hugo Duminil-Copin, Pierre-Louis Lions, Cédric Villani et Wendelin Werner.

Intitulée « Un grave défaut d’alignement de l’IA en mathématiques » (« A Severe Misalignment of AI in Mathematics » en VO) et rendue publique ce 11 septembre, elle estime elle aussi que « la volonté des entreprises d’IA de résoudre des problèmes mathématiques comme critère de référence dans leurs benchmarks nuit à la science des mathématiques et à la communauté mathématique » :

« Les objectifs des entreprises d’IA et ceux de la communauté mathématique sont profondément divergents. Nous considérons que ces divergences s’inscrivent dans le cadre de problèmes d’alignement plus larges qui touchent d’autres professions scientifiques et créatives, ainsi que la société dans son ensemble. »

Ils reconnaissent que les capacités mathématiques des grands modèles de langage (LLM) « sont désormais capables de résoudre des problèmes majeurs encore en suspens dans de nombreux domaines des mathématiques », mais déplorent néanmoins, non pas une forme de concurrence déloyale, mais un véritable dévoiement de la méthode scientifique, et de son « objectif premier » :

« La résolution de problèmes n’est qu’un outil et un moyen d’atteindre l’objectif premier : la compréhension conceptuelle et la réflexion. Oublier cela dans le monde de l’IA risque de retourner cet outil contre cet objectif premier. En effet, la production en masse, à un rythme toujours plus rapide, d’énoncés de type « vrai/faux » pourrait détruire un terrain fertile au lieu d’insuffler la vie à de nouvelles idées. »

Ils déplorent que ces résolutions technosolutionnistes de problèmes scientifiques soient souvent annoncées à la hâte, « sans laisser le temps de rédiger un article en bonne et due forme, d’isoler les nouvelles méthodes et idées », ni de citer les travaux antérieurs pertinents d’autres chercheurs.

Outre les « graves questions d’attribution et de plagiat » que cela pose, ils soulignent également que, faute de permettre aux mathématiciens chargés de prompter ces IA de pouvoir les intégrer « dans le canon mathématique », ces idées générées par IA n’intégreront jamais « la chaîne de transmission humaine essentielle entre mathématiciens ».

« Nous assistons à une menace généralisée envers le travail intellectuel »

SpaceX vise le 22 septembre pour le 14e vol de son Starship, avec une première : placer réellement la fusée géante en orbite. Dix heures de vol, six tours de la Terre et 26 satellites à larguer.

Le 14e vol d'essai du Starship, la fusée géante de SpaceX, est attendu à partir du 22 septembre 2026 depuis le Texas. Cette fois, l'entreprise vise pour de bon l'orbite, avec de vrais satellites Starlink à bord.

Un des instruments du télescope Nancy Grace Roman a pu être testé. Le Wide Field Instrument doit pouvoir explorer de vastes zones du ciel nocturne avec une grande précision, et les premiers résultats sont très positifs.

La première manœuvre corrigeant la trajectoire du télescope Nancy Grace Roman dans l'espace s'est très bien passée. Tellement bien que la Nasa a économisé énormément de carburant, ce qui devrait rallonger la durée de la mission de cet observatoire spatial.

La première manœuvre corrigeant la trajectoire du télescope Nancy Grace Roman dans l'espace s'est très bien passée. Tellement bien que la Nasa a économisé énormément de carburant, ce qui devrait rallonger la durée de la mission de cet observatoire spatial.

L'Organisation internationale des météores (IMO), qui fédère les observateurs de météores du monde entier, reste partiellement hors ligne après une cyberattaque. Elle annonce plusieurs semaines avant un retour complet à la normale.

Depuis maintenant des années, Donald Trump évoque la construction d'un « Golden Dome », un ensemble de systèmes de protection anti-missiles avec un volet spatial encore mal défini. Les prémices apparaissent aujourd'hui avec, pour la première fois, des armes déployées en orbite.

La fusée conçue par l'entreprise bordelaise HyPrSpace décollera en 2027. Baguette One devrait être lancée depuis un site militaire dans les Landes, ce qui n'a jamais été réalisé dans l'histoire spatiale française.

Bien avant le crash d'un étage de Falcon 9 sur la Lune, une fusée de la Nasa s'était volontairement écrasée à la surface de notre satellite. Une opération destinée à faire avancer la science, malgré les apparences.

Le nom d'un futur coéquipier de Thomas Pesquet a été dévoilé. Il s'agit d'Adrianos Golemis, le tout premier Grec à partir dans l'espace. Le voyage à bord de la Station spatiale internationale (ISS) est prévu pour 2027.

Quick and dirty maths

OpenAI prétend avoir résolu un problème mathématique avec une de ses IA sans qu’on en soit sûr. Mais cette annonce arrive en parallèle de celle de deux mathématiciens, Tristan Buckmaster et Levent Alpöge, qui auraient pavé la voie à l’entreprise de Sam Altman à leurs corps défendants, soit par la rumeur sur leur façon d’attaquer le problème, soit sur l’utilisation de leurs données par l’entreprise.

Comme Next en parlait déjà cet été, l’IA générative bouscule la recherche en mathématiques, mais pas forcément dans le bon sens. Dans son effort d’utiliser les maths comme « benchmark » de ses modèles alors que l’entreprise prépare toujours son entrée en bourse, OpenAI défraye la chronique à propos de ces méthodes.

Ce mardi 8 septembre, Tristan Buckmaster, mathématicien de l’université de New York, a annoncé avec Levent Alpöge (qui travaille pour Anthropic, mais pas sur ce sujet) avoir trouvé une voie pour résoudre un important problème non résolu des mathématiques théoriques, appelé « Navier-Stokes ». Ils ont mis en ligne leurs travaux sur le serveur de l’université de New York via trois PDF (1,2 et 3), ainsi qu’un dépôt GitHub avec les fichiers de preuve en Lean non relus par les pairs.

Des équations introduites au XIXᵉ siècle dont on ignore si elles ont toujours des solutions uniques

Ce problème est celui de l’existence et de la régularité de solutions des équations de Navier-Stokes, équations utilisées très régulièrement en mécanique des fluides. Il fait partie de la liste des « problèmes du prix du Millénaire » établie par le Clay Mathematics Institute of Cambridge. Ce dernier a recensé les sept problèmes « les plus complexes auxquels les mathématiciens étaient confrontés au tournant du deuxième millénaire ». Les mathématiciens se demandent si ces équations, introduites au XIXᵉ siècle, ont des solutions uniques et régulières quelles que soient les variables utilisées.

Or, OpenAI a annoncé quelques heures après le partage d’un article décrivant une solution au problème Navier-Stokes, là aussi via un PDF sur son propre serveur et un dépôt GitHub avec les fichiers de preuve en Lean et non relus par les pairs non plus.

Attendons le consensus de la communauté

Pas de précipitations sur les conclusions à tirer de ces articles. Next n’a pas les compétences en mathématiques pour les analyser. La communauté de chercheuses et chercheurs sur le sujet pourra juger et nous indiquer ce qu’il en est. Et elle prendra certainement son temps : selon les règles [PDF] du prix du Millénaire, une solution proposée doit d’abord avoir été publiée dans une revue mathématique à comité de lecture de renommée mondiale et doit également avoir été largement acceptée par la communauté mathématique deux ans après cette publication.

De plus, la rédaction de l’article d’OpenAI ne semble pas faciliter les choses : Thomas Rey, mathématicien à l’Université Côte d’Azur et spécialiste du domaine, a partagé avec Next sa difficulté à comprendre l’article mis en ligne par OpenAI : « Je ne suis pas capable de lire les détails du papier. […] C’est ultra mal écrit ». Il évoque un autre mathématicien, le chercheur Kazakhe Mukhtarbai Otelbaev, qui avait déjà clamé en 2013 avoir résolu ce problème en rendant public un article de « 120 pages illisibles ». Un effort international de plusieurs mois pour comprendre l’article avait permis finalement de trouver une erreur.

Des suspicions sur la manière dont OpenAI en est arrivée là

Si le temps donnera son verdict, un autre problème apparait. En effet, l’annonce de Tristan Buckmaster est accompagnée d’un texte [PDF] dans lequel il dénonce la manière dont OpenAI s’est emparé de la solution élaborée avec Levent Alpöge.

Le repli, meilleure défense ?

Le nouveau PDG du CNRS, Thierry Dauxois, a affiché clairement sa volonté de réduire le nombre d’instituts dépendant du CNRS. En l’état actuel, le projet fusionnerait physique et ingénierie, maths et informatique et renverrait l’astronomie et l’astrophysique avec la physique nucléaire et la physique des particules. La volonté affichée est de protéger l’organisme avant l’échéance électorale de 2027 alors que le RN est aux portes du pouvoir et que la Cour des comptes propose de sabrer les organismes de recherche au profit des universités.

À peine nommé à la tête du CNRS, Thierry Dauxois veut aller vite pour réorganiser l’organisme. Il avait dès son audition au Sénat affiché sa volonté de réduire le nombre d’instituts, ces organes au sein du CNRS qui structurent l’organisation des moyens de recherche en fonction des disciplines. Mais il s’était gardé, avant son entrée en fonction, d’annoncer les disciplines qui seraient touchées.

Son projet vise la réorganisation des instituts en charge de l’ingénierie, des mathématiques, de l’informatique, de l’astronomie et de l’astrophysique. Il doit en plus prendre en compte la volonté tardive du gouvernement de fusionner l’Institut de Recherche pour le Développement (IRD) avec le CNRS.

Une réorganisation des disciplines scientifiques amorcée par la direction du CNRS

Cet été, la direction du CNRS a mis en place les premières pierres de son programme de réorganisation. Pendant le courant des mois de juin et juillet, Thierry Dauxois a présenté à différents conseils de l’organisme (dont le conseil scientifique) sa « proposition d’évolution du périmètre des instituts » qui, de fait, réduit le nombre d’instituts au sein de l’organisme de 10 à 7.

Pour rappel, voici la liste des 10 instituts actuels du CNRS :

Cette restructuration doit encore être détaillée et discutée au sein de l’organisme, mais le PDG veut avancer vite : dans un courrier adressé fin aout aux directeurs d’unités du CNRS que nous avons pu consulter, comme nos consœurs et confrères de l’AEF, il veut une validation de son projet avant la fin de l’année.

Ces instituts du CNRS sont structurants dans l’organisation de la recherche au sein des disciplines au CNRS mais ils ont souvent une importance au-delà de l’organisme. Leur réorganisation a donc des conséquences concrètes importantes pour le milieu de la recherche français.

Souvent considérée comme une jumelle de la Terre, Vénus n'a pourtant pas de Lune. De nouveaux travaux avancent qu'elle a peut-être eu un satellite, détruit très tôt dans l'histoire de la planète.

Le 14e vol d'essai du Starship, la fusée géante de SpaceX, est attendu autour du 15 septembre 2026 depuis le Texas. Cette fois, l'entreprise vise pour de bon l'orbite, avec de vrais satellites Starlink à bord.

De nouvelles simulations informatiques montrent que la Lune aurait pu se former en à peine quelques heures, à la suite d'un impact géant sur la Terre. Une période extrêmement courte qui a bouleversé notre monde à jamais.

Après 25 vols d'essai bouclés sans encombre, l'avion expérimental X-59 de la NASA a validé toutes ses caractéristiques de vol. L'agence spatiale américaine s'apprête à lancer la phase décisive de sa mission Quesst : mesurer son empreinte sonore pour faire sauter un verrou réglementaire vieux de plus de cinquante ans.

Espace politique

Le Sommet international sur l’espace va se dérouler cette semaine. Si la fusée allemande Spectrum a bien réussi son lancement ce week-end en Norvège, des tensions entre la France et l’Allemagne montrent qu’il n’est pas sûr que l’Europe veuille s’assurer une réelle autonomie spatiale. Donald Trump, lui, a interdit aux entreprises états-uniennes de participer au sommet, alors même que la régulation de l’espace doit y être évoquée.

Ce week-end, Isar Aerospace a réussi le lancement de sa fusée Spectrum depuis la base d’Andøya (Norvège), ainsi que le placement en orbite de cinq satellites. Mais le succès de Spectrum n’est pas forcément le symbole du futur de l’Europe spatiale qui doit être discuté lors du Sommet international sur l’espace organisé les 9 et 10 septembre prochains à Paris.

« Nous sommes entrés dans l’histoire », s’est enorgueillie l’entreprise allemande sur le réseau social d’Elon Musk. « Dès notre deuxième vol, nous sommes devenus la première entreprise spatiale commerciale européenne à mettre des satellites en orbite. La mission « Onward and Upward » a décollé avec succès et a déployé ses charges utiles en orbite. Un nouveau chapitre s’ouvre pour l’aérospatiale européenne ». C’est incontestablement un succès pour cette entreprise du « new space » allemand qui réussit donc l’exploit d’envoyer des satellites depuis le continent européen et ouvre une possibilité complémentaire à Ariane 6 face au géant états-unien SpaceX.

• La fusée Spectrum s’écrase après 30 s… mais ce premier lancement est « un franc succès »
• Ariane 6 réussit son premier lancement géostationnaire

Pressions de Trump, défection allemande

Politiquement, c’est un peu plus compliqué que ça. Emmanuel Macron avait annoncé en juin dernier ce sommet international de l’Espace en exhortant l’Europe à mener une « reconquête à marche forcée » dans le domaine du spatial. Et il espérait pouvoir compter sur le soutien du chancelier allemand Friedrich Merz pour relancer le leadership du duo européen en y annonçant, main dans la main, la signature d’une déclaration commune des pays européens incluant des critères de préférence européenne pour le prochain budget spatial européen.

Mais le dirigeant allemand a fait savoir très tardivement qu’il ne coprésidera pas ce sommet. « À ce stade, le chancelier ne peut pas participer » en raison des « contraintes politiques », a affirmé l’Élysée à l’AFP ce week-end. Les ministres allemands de la Défense, Boris Pistorius, et de l’Espace, Dorothee Bär, devraient être cependant présents, mais l’absence du chancelier met un doute sur l’entente franco-allemande sur le sujet.

Cette défection fait suite à la pression que Donald Trump a exercée sur le bon déroulement du sommet. En effet, une semaine avant la tenue de l’événement, Politico a appris que la Maison Blanche a indiqué par téléphone à des entreprises de son pays comme SpaceX, Stoke Space, K2 Space et Astra, que leur participation à ce sommet pourrait être perçue comme un soutien tacite aux positions politiques de l’Union européenne. L’administration de Donald Trump reprocherait à la France de ne pas s’être concertée avec les États-Unis pour organiser ce sommet, ainsi que de « pratiques anticoncurrentielles ».

Ces pressions ont poussé SpaceX, Blue Origin, Stoke Space et Starcloud à annuler leurs venues même si le ministre Philippe Baptiste a réagi sur X en affirmant que « la porte est grande ouverte » aux scientifiques, entreprises et administrations états-uniennes. Ce week-end, parmi une flopée d’images générées par IA, Donald Trump a réaffirmé de façon brutale sa volonté d’imposer l’hégémonie de son pays dans l’espace :

Mais ces jeux d’influence pourraient aussi expliquer la défection du dirigeant allemand. Selon les Echos, l’Allemagne voudrait garder la porte grande ouverte au recours à SpaceX et à d’autres entreprises états-uniennes.

Régulation de la pollution lumineuse ?

Si le sommet est notamment un enjeu économico-politique pour l’Europe, il doit aussi être le lieu de discussion concernant la régulation de l’espace. Notamment, comme l’expliquent les chercheurs Fabien Malbet et Julien Milli, il pourrait être l’occasion de créer un cadre international contraignant pour limiter le nombre de satellites et leur impact, singulièrement concernant la pollution lumineuse. Mais la désertion des acteurs états-uniens risque de mettre du plomb dans l’aile à ces discussions.

• La FCC a approuvé le premier satellite d’une constellation pour éclairer sur Terre la nuit

Enfin, le sommet officiel doit faire face à l’organisation d’un contre-sommet organisé par la CGT ces mardi 8 et mercredi 9 septembre [PDF] où la dirigeante de l’organisation, Sophie Binet, interviendra ainsi que des scientifiques et divers représentants de partis de gauche français. Il y sera aussi question de la « profitabilité au détriment de la souveraineté » ou de la« compétitivité par la baisse des budgets de la recherche ».

Espace politique

Le Sommet international sur l’espace va se dérouler cette semaine. Si la fusée allemande Spectrum a bien réussi son lancement ce week-end en Norvège, des tensions entre la France et l’Allemagne montrent qu’il n’est pas sûr que l’Europe veuille s’assurer une réelle autonomie spatiale. Donald Trump, lui, a interdit aux entreprises états-uniennes de participer au sommet, alors même que la régulation de l’espace doit y être évoquée.

Ce week-end, Isar Aerospace a réussi le lancement de sa fusée Spectrum depuis la base d’Andøya (Norvège), ainsi que le placement en orbite de cinq satellites. Mais le succès de Spectrum n’est pas forcément le symbole du futur de l’Europe spatiale qui doit être discuté lors du Sommet international sur l’espace organisé les 9 et 10 septembre prochains à Paris.

« Nous sommes entrés dans l’histoire », s’est enorgueillie l’entreprise allemande sur le réseau social d’Elon Musk. « Dès notre deuxième vol, nous sommes devenus la première entreprise spatiale commerciale européenne à mettre des satellites en orbite. La mission « Onward and Upward » a décollé avec succès et a déployé ses charges utiles en orbite. Un nouveau chapitre s’ouvre pour l’aérospatiale européenne ». C’est incontestablement un succès pour cette entreprise du « new space » allemand qui réussit donc l’exploit d’envoyer des satellites depuis le continent européen et ouvre une possibilité complémentaire à Ariane 6 face au géant états-unien SpaceX.

• La fusée Spectrum s’écrase après 30 s… mais ce premier lancement est « un franc succès »
• Ariane 6 réussit son premier lancement géostationnaire

Pressions de Trump, défection allemande

Politiquement, c’est un peu plus compliqué que ça. Emmanuel Macron avait annoncé en juin dernier ce sommet international de l’Espace en exhortant l’Europe à mener une « reconquête à marche forcée » dans le domaine du spatial. Et il espérait pouvoir compter sur le soutien du chancelier allemand Friedrich Merz pour relancer le leadership du duo européen en y annonçant, main dans la main, la signature d’une déclaration commune des pays européens incluant des critères de préférence européenne pour le prochain budget spatial européen.

Mais le dirigeant allemand a fait savoir très tardivement qu’il ne coprésidera pas ce sommet. « À ce stade, le chancelier ne peut pas participer » en raison des « contraintes politiques », a affirmé l’Élysée à l’AFP ce week-end. Les ministres allemands de la Défense, Boris Pistorius, et de l’Espace, Dorothee Bär, devraient être cependant présents, mais l’absence du chancelier met un doute sur l’entente franco-allemande sur le sujet.

Cette défection fait suite à la pression que Donald Trump a exercée sur le bon déroulement du sommet. En effet, une semaine avant la tenue de l’événement, Politico a appris que la Maison Blanche a indiqué par téléphone à des entreprises de son pays comme SpaceX, Stoke Space, K2 Space et Astra, que leur participation à ce sommet pourrait être perçue comme un soutien tacite aux positions politiques de l’Union européenne. L’administration de Donald Trump reprocherait à la France de ne pas s’être concertée avec les États-Unis pour organiser ce sommet, ainsi que de « pratiques anticoncurrentielles ».

Ces pressions ont poussé SpaceX, Blue Origin, Stoke Space et Starcloud à annuler leurs venues même si le ministre Philippe Baptiste a réagi sur X en affirmant que « la porte est grande ouverte » aux scientifiques, entreprises et administrations états-uniennes. Ce week-end, parmi une flopée d’images générées par IA, Donald Trump a réaffirmé de façon brutale sa volonté d’imposer l’hégémonie de son pays dans l’espace :

Mais ces jeux d’influence pourraient aussi expliquer la défection du dirigeant allemand. Selon les Echos, l’Allemagne voudrait garder la porte grande ouverte au recours à SpaceX et à d’autres entreprises états-uniennes.

Régulation de la pollution lumineuse ?

Si le sommet est notamment un enjeu économico-politique pour l’Europe, il doit aussi être le lieu de discussion concernant la régulation de l’espace. Notamment, comme l’expliquent les chercheurs Fabien Malbet et Julien Milli, il pourrait être l’occasion de créer un cadre international contraignant pour limiter le nombre de satellites et leur impact, singulièrement concernant la pollution lumineuse. Mais la désertion des acteurs états-uniens risque de mettre du plomb dans l’aile à ces discussions.

• La FCC a approuvé le premier satellite d’une constellation pour éclairer sur Terre la nuit

Enfin, le sommet officiel doit faire face à l’organisation d’un contre-sommet organisé par la CGT ces mardi 8 et mercredi 9 septembre [PDF] où la dirigeante de l’organisation, Sophie Binet, interviendra ainsi que des scientifiques et divers représentants de partis de gauche français. Il y sera aussi question de la « profitabilité au détriment de la souveraineté » ou de la« compétitivité par la baisse des budgets de la recherche ».