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.

Read more of this story at Slashdot.

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.

Read more of this story at Slashdot.

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.

Read more of this story at Slashdot.

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.