00:00ChatGPT résout en quelques minutes un problème de maths vieux de 45 ans.
00:03Je t'explique tout.
00:04Alors l'origine du problème remonte dans les années 80.
00:06A cette époque, le Hongrois Paul Erdos pose des milliers de problèmes mathématiques simples à énoncer,
00:10mais très compliqués à démontrer.
00:12On les appelle tout simplement les problèmes d'Erdos.
00:14Aujourd'hui, beaucoup ont été résolus, mais certains demeuraient un mystère.
00:17C'est le cas du problème 397.
00:20Le but était de chercher à savoir si cette équation qui donne des sueurs froides
00:23à toutes celles et ceux qui détestent les maths
00:25a un nombre infini ou fini de solutions.
00:27Et en 45 ans, presque personne n'a trouvé une solution à ce problème.
00:31Quelques mathématiciens avaient trouvé une première solution,
00:33mais très peu relayés au point où le problème était encore mentionné comme non résolu sur Internet.
00:38Jusqu'au 11 janvier 2026.
00:40L'ingénieur Nils Somanie donne à ChatGPT l'énoncé du problème.
00:43Pour précision, on est sur GPT 5.2 Pro, une des dernières versions de ChatGPT.
00:47Et à sa grande surprise, l'IA résout le problème en décrivant un contre-exemple.
00:51Pour vérifier la démonstration de ChatGPT,
00:53la réponse est analysée par une autre IA, Aristote.
00:56Beaucoup plus spécialisée, qui va découper son raisonnement ?
00:59Et la démarche de ChatGPT se révélera être cohérente.
01:02Elle sera même approuvée par Terence Tao, un des plus grands mathématiciens de nos jours.
01:05Alors on se moquait de ChatGPT il y a 3 ans quand il ne savait pas calculer 2 plus 2,
01:09mais il faut bien avouer que maintenant, il est au niveau des plus grands mathématiciens.
01:12Merci d'avoir regardé cette vidéo !
01:12– Sous-titrage FR 2021
Commentaires