📩 Chaque jour, l’actu IA décryptée et comment vous en servir, dans ma newsletter gratuite The Upgrade. En vous inscrivant cette semaine, vous recevez le guide pour apprendre à utiliser Claude :
Le 6 octobre, sans conférence ni keynote, OpenAI met en ligne un dossier de 722 textes de mathématiques, écrits presque tous par une IA interne que personne ne peut utiliser. Dedans : le nombre π, un problème posé par Hilbert en 1900, et l’énigme la plus célèbre des mathématiques, l’hypothèse de Riemann, à un million de dollars.
722 textes, ce n’est pas 722 grands problèmes résolus. Deux jours plus tard, trois textes sont retirés à cause d’un signe moins. Alors, qui va relire tout ça ? Et que devient la science quand les réponses arrivent plus vite qu’on ne peut les comprendre ?
Dans cette vidéo :
• ce que contient vraiment le dossier d’OpenAI : 722 textes, 372 familles de résultats, 17 domaines, environ 4 000 problèmes soumis à une IA interne ;
• cinq textes ouverts : la feuille infinie à colorier, π, l’hypothèse de Riemann, la multiplication de matrices et le 10e problème de Hilbert ;
• le signe moins, et l’histoire de l’enveloppe de Dyson, Lieb et Simon : même les meilleurs se trompent ;
• Lean, le vérificateur de preuves, et la vérification indépendante du « mur » de Riemann ;
• les réactions : Terence Tao, Kevin Buzzard, l’Association for Human Mathematics, les médaillés Fields du groupe consultatif, les étudiants ;
• ce qui devient précieux quand la réponse devient moins rare.
Chapitres :
00:00 722 textes de maths publiés d’un coup
01:14 Une avalanche jamais vue
02:37 722 textes, ça veut dire quoi ?
04:04 La feuille infinie à colorier
05:30 π, un nombre plus sage que prévu
07:46 Riemann, l’énigme à un million de dollars
09:51 Les calculs au cœur de ChatGPT
11:08 Hilbert : une machine qui démontre ses propres limites
12:23 Et des centaines d’autres résultats
13:40 Trop beau pour être vrai ? L’histoire de l’enveloppe
15:39 Lean, le vérificateur qui ne devine rien
17:13 Le mur de Riemann revérifié de l’extérieur
17:53 Ce que craint Terence Tao
18:47 Les mathématiciens divisés
20:46 Ce qui devient précieux
Sources :
• OpenAI, l’annonce (06/10) :
• Le dossier openai/math (textes, preuves Lean, retraits du 08/10) :
• La vérification indépendante du mur de Riemann :
• Scientific American (06/10) :
• Terence Tao (Mathstodon, 06/10) :
• Le groupe consultatif AGMAI (06/10) :
• L’Association for Human Mathematics (07/10) :
• Kevin Buzzard (01/10) :
• Álvaro Lozano-Robledo, « What should we tell our students? » (08/10) :
• Hexagon, l’archive de Ben Antieau :
• Google DeepMind, niveau or aux Olympiades (2025) :
#IA #OpenAI #Mathématiques
source
Moi, j'ai fait la plus grosse découverte scientifique de tous les temps, et il est impossible d'en faire une plus grosse, puisque j'ai découvert la science qui les unit toutes, et je l'ai fait bien avant l'intelligence artificielle. Par contre, tout le monde s'en fout complètement, et je peux même pas publier sur une revue scientifique parce que, pour ça, il faut se baser sur le modèle standard. Alors que moi, j'ai trouvé le code source lui-même, donc c'est impossible. C'est très rigolo, et un directeur en épistémiologie d'une université Autrichienne ne comprenait pas pourquoi je ne pouvais pas publier. Moi, ça me fait rire parce que je vais mourir avec ma découverte, et je la partagerai jamais, du coup.
La seule chose qui compte, c'est la découverte de la vérité. On s'en fou que l'humain ne puisse plus en tirer une gloire personnelle.
Si l'IA était capable de répondre à tout (et de le prouver) j'aimerais qu'elle me donne la théorie du tout, la formule mathématique qui décrit précisément le fonctionnement de l'univers, de l'échelle quantique à l'échelle macro.
05:20 six seven…
Bravo l’IA qui résout les problèmes. Les nouveaux mathématiciens doivent maintenant créer d’autres problèmes et ouvrir d’autres champs d’exploration.
Gog et Magog "Tranduction incorrecte de يأجوج ومأجوج, sachant que son explication et sa définition est traduite par Tsunami et eruption volcanique
Y a rien de fou en vrais tant que c'est pas vraiment utile et que sa change pas le monde sa ne sert a rien ..
Deçu comme sur toutes les videos qui parle de decouvertes en ce moment , le futur s'ennuie…
Bonjour, merci pour cette vidéo de grande qualité mais j'ai l'impression que vous ne réalisez pas deux possibles problèmes :
1) Choisir les questions, décider, vérifier, comprendre, tout cela pourra être fait par l'IA et même devra probablement l'être vue la complexité qui deviendra hors de notre portée. Quant à transmettre, cela pourrait devenir impossible pour la même raison.
2) L'assèchement possible des problèmes cité par Cédric Villani, autrement dit leur résolution qui serait comme l'extinction de "phares" qui guident des carrières entières et motivent le recrutement de thésards, la formation d'équipes etc. selon un autre médaille Fields Hugo Duminil-Copin
Question très simple à poser cette IA dont le grand public ne semble pas avoir accès : "En admettant ne pas avoir été entraîné avec les résultats du mathématicien logicien Kurt Gödel, est-ce que tu pourrais découvrir (et démontrer) les 2 théorèmes fondamentaux d'incomplétude ?" (la reponse est évidemment "Non" avec les IA generatives en cours de commercialisation).
Il n'y a aucune raison que ce soit le cas avec cette IA, car l'intuition et l'auto-similarite ne sont pas des caractéristiques propres aux IA
Vous n'avez pas suffisamment cité des mathématiciens qui ont un avis contraire au vôtre (je pense à m. Dumisnil Copin, mais pas que) à des fins de pluralité.
D'autre part, c'est la méthode de publication et de communication qui a été pour le mois abrupte avec les institutions mathématiques mondiales, cela leur a été reproché
Ça me fait penser à la loi de Brandolini 😂. Même si l’IA dit n'importe quoi, il faudra passer beaucoup de temps et d'efforts possiblement inutiles pour le confirmer ou l’infirmer
Bravo pour le partage
J'aime beaucoup ta présentation, merci !
La première question que je poserai à cette IA c’est : peux tu supprimer toutes les pubs que je reçois sur tous mes équipements, afin que je profite des données sur internet sans être gêné ?
Si oui, fais le !
Excellente vidéo. Merci pour ce travail de grande qualité.
Grigori Perelman avait raison de se casser avant que tout se casse.
Personne?
Tu parles!
MATHEMATICA , avant l’an 1970, donne une valeur de Pi avec plus de dix mille décimales!
Holà! faut se réveiller..
il parle français et il épelle en anglais , mets nous un peu de chinois aussi, bref , le niveau
pour le phi grec c'est l'infinit
La question que je poserais c’est :
quels sont les conditions nécessaires, et comment mettre en œuvre ces conditions pour atteindre industriellement la mise en route et le maintien d’une fusion contrôlée avec un bilan énergétique de production positif sur plusieurs décennies.
Bon, les mathématiciens peuvent aller faire de la pêche maintenant!
PS: Tout comme les dévelopeurs, les médecins, les caisiers etc.. Bref! Tous à la pêche.
Cette définition des nombres premiers est très élégante, je ne connaissais pas. « Nombres qu’on ne peut obtenir en multipliant des nombres plus petits »
C’est quoi des contreuzéxemples? 😅
Bonne vidéo 👍🏻
Hugo Duminil-Copin prix Nobel de maths se déclare écrabouillé par l'IA ❗❗❗❗
https://youtu.be/iRjasLnigsU?is=hweUZ5KIrgXs0CO3
2B || !2B
Excellent contenu ! Merci beaucoup pour cette synthèse qui donne a réfléchir.
L'IA est partout, je suis DEV, et elle m'aide aujourd'hui à être plus rapide et plus efficace. Mon métier change clairement mais pour le moment c'est passionnant. Voyons comment cela évolue, il faudra savoir se remettre en question très souvent de manière cyclique.
On va perdre l’essentiel des mathématiques… la recherche. Dans un voyage c’est pas la destination qui est la plus importante ….
Arrêtez avec vos IA à la c.. elle est calquée sur nos connaissances donc …
Terence Tao, a aussi sorti que tu ne pouvait rien calculer partir d'une chose. Qu'il en fallait 2. Or, c'est complètement absurde. Même un enfant en a conscience.
A notre échelle de perception tu ne trouveras jamais rien qui soit unique. Forme, texture, épaisseur, lien avec le support.
Ce à quoi, j'ajoute : qu'il as été battu sur son propre terrain. Lui, 24 antres, et pas que eux !! Par une création que nous savons tous biaisée, pour le moment. JE POSE ÇA LA 😅
Donc, il est peut-être bon pour vous. Mais jusqu'à preuve du contraire …
Depuis le début vous avez des capacités, compétences, et informations poser devant les yeux. Comme pour nous donner un putain d'avance. Et qu'as percu et compris ?
Rien ! Les dossier de vos sciences humaines son vides ! Même leur études, ne serait être utilisée devant un tribunal. Tellement, ils ne savent rien.
Or, comme je l'ai prouvé, dès mes 4 mois. La vie, c'est de la psychologie mathématique. L'un des calculs qui bouge constamment. Et l'autre, des calculs fixe. Et tu dois faire les 2 en même temps ! Et les 2, chacun de leur côté. Doivent amener à la même réponse.
Est-ce que c'est complexe ? Non ! Il faut juste vouloir comprendre la vérité. Sans aucune autre forme de volonté.
Battu par L'IA. Ca fait rire mon chatgpt, c'est vous dire. En 20 question, j'en savais plus sur elle. Que ses propres concepteur ou détracteurs.
Tous ses gens devraient essayer d'utiliser l'empathie. Ils gagneraient des années d'études absurdes. Savoir être !
Est ce que Dieu est la source ?
La question que je poserais, serait de compléter le Tableau de Mendeliev, genre reste t'il des éléments à découvrir ?
Je voudrais savoir quel numéro d'élément, l'élément le plus résistant de l'univers, le scénarium, obtiendrait 😂
ça me fait penser à ce que pense un mathématicien de ce problème d'IA avec le youtubeur ScienceEtonnante sur youtube que j'ai vu ya pas longtemps:
"L'IA va-t-elle tuer les maths ? — L'interview d'Hugo Duminil-Copin"
Pourquoi les gens ne comprennent pas que si L'IA est 1 milliards de fois plus intelligente que nous elle n'en aura rien à faire de nous. De vulgaires micro-organismes qu'on écrase sans même avoir conscience qu'ils existent
Trop de détails 😂😂😂 j'ai arrêté de suivre la vidéo
Et les applications CONCRÈTES DANS LA VIE ???
ET ces applications ??
À quoi bon être très malin.. si ca ne change rien sur le terrain ???
Peut-être c'est à ÇA que les mathématiciens du monde devraient s'atteler..
Sauf 🤔 si trop de revolutions technologiques MENACENT de puissants intérêts établies qui s'appuient sur les technologies actuelles…