00:00Il vient de se passer une folie dans le monde de la science, faut que je vous en parle.
00:02En gros, dans le monde des mathématiques, il existe un truc qu'on appelle les 7 problèmes du millénaire.
00:06C'est des défis mathématiques réputés insurmontables.
00:09Ils sont tellement complexes que la résolution de l'un de ces problèmes est récompensée par la somme d'un
00:12million de dollars donnée par l'Institut Clay.
00:14Et le truc, c'est que ChatGPT vient tout juste de potentiellement en résoudre un.
00:18Le problème en question sur lequel OpenAI et donc ChatGPT ont travaillé, ce sont les équations de Navier-Stokes.
00:24Alors jusqu'à présent, quand même, dans ces 7 problèmes du millénaire, il y en a un seul qui a
00:27été résolu,
00:28c'est la conjecture de Poincaré.
00:30Et ça par le mathématicien russe Grigory Perelman en 2002.
00:33D'ailleurs, lui, il a carrément refusé l'argent de l'Institut Clay.
00:36Mais à part lui, personne n'avait encore jamais réussi à résoudre un des 7 problèmes du millénaire.
00:40Personne, jusqu'à ce mardi 8 septembre 2026, l'entreprise américaine OpenAI a affirmé que l'un de ces modèles
00:46avait réussi à produire une preuve concernant la résolution des équations de Navier-Stokes.
00:51Alors sans trop rentrer dans les détails, parce que c'est quand même un peu complexe,
00:53Les équations de Navier-Stokes, c'est un ensemble d'équations visant à décrire et prévoir le mouvement des fluides.
00:59En pratique, on l'utilise déjà pour mieux comprendre l'écoulement des fluides, comme l'eau ou l'air,
01:03avec des applications d'ailleurs dans des modèles de prévision météorologique,
01:06ou encore dans l'ingénierie aéronautique par exemple.
01:08OpenAI a donc utilisé un modèle IA encore inaccessible au public,
01:11avec lequel l'entreprise a ensuite fait travailler environ 10 000 agents simultanément.
01:15En gros, c'est un peu comme si 10 000 robots avaient bossé tous ensemble jour et nuit pendant 88
01:20heures.
01:20Et au bout de ces 88 heures, ces IA seraient donc parvenus à établir une démonstration complète,
01:25qui a ensuite été vérifiée à l'aide de Lean,
01:27un logiciel capable de contrôler chaque étape logique d'une preuve mathématique.
01:30Mais bon, ça ne veut pas dire que la solution a officiellement été validée.
01:33Surtout qu'un autre obstacle se pose dans cette histoire, et il est de taille en plus.
01:36Sur cette affaire, OpenAI est tout simplement soupçonné de plagiat.
01:40Une polémique donc lancée par le mathématicien Tristan Buckmaster et le chercheur Levant Alpoguet,
01:45qui travaillaient en fait tout simplement sur le même problème depuis un an.
01:47Les deux chercheurs utilisaient aussi des outils IA pour les aider dans leur recherche,
01:51dont Codex d'ailleurs, un outil développé par OpenAI.
01:53Et Buckmaster, lui, il soupçonne donc OpenAI d'avoir profité des données issues de leur utilisation de Codex,
01:59afin que l'entreprise oriente ses propres recherches par la suite.
02:01Surtout que Levant Alpoguet travaille en fait pour Anthropik, l'un des principaux concurrents d'OpenAI.
02:06OpenAI a par la suite bien évidemment démenti, estimant toute accusation de plagiat infondé.
02:11Bref, ça se tire un peu dans les pattes dans tous les sens, quoi.
02:13On verra bien comment tout ça évolue.
02:14Toujours est-il que cette annonce marque quand même un tournant dans l'utilisation de l'IA,
02:17et ça pose quand même pas mal de questions au passage.
02:19Bref, c'est fou quand même.
02:20Vous en pensez quoi vous de tout ça ?
02:21Dites-le moi juste en dessous.
Commentaires