00:00OpenAI affirme avoir résolu des problèmes de maths sur lesquels les chercheurs travaillent depuis des années.
00:04On parle de milliers de pages de travaux publiés.
00:06On a interviewé Hugo Duminicopin, mathématicien français qui a reçu la médaille Fields,
00:10ce qui est souvent considéré comme le Nobel des maths.
00:13Dans les pages publiées par OpenAI, 3500 concernent directement ces recherches.
00:17Ces 3500 pages de mathématiques reliées à moi, c'est du charabia, ça pourrait être écrit dans une langue alienne.
00:22Ce serait pareil, ça prendrait des dizaines d'années aux gens pour comprendre ces mathématiques-là.
00:28Début octobre, OpenAI a publié plus de 700 manuscrits dans lesquels l'entreprise affirme apporter des réponses à des centaines
00:34de problèmes de maths.
00:35Mais ces résultats doivent encore être examinés par les chercheurs.
00:37Une démonstration, même correcte, doit d'abord être comprise et vérifiée pour faire avancer la recherche.
00:42Et c'est là que ça coince.
00:43L'IA peut publier des centaines de travaux d'un coup alors que les humains ont besoin de temps pour
00:47les étudier.
00:48Même dans deux mois, si aucun mathématicien, aucune mathématicienne qui a développé cette compréhension du monde mathématique toute sa vie
00:54ne vient vous expliquer comment ces preuves fonctionneront, elles seront là, mais elles n'auront aucun impact.
01:00La conversion d'une idée mathématique en quelque chose d'utile, c'est un processus très complexe qui implique les
01:08mathématiques,
01:08mais également les intérêts des gens, les goûts, l'expérience de chercheurs et de chercheuses qui ne font pas de
01:15mathématiques, etc.
01:16Donc il y a besoin d'une communication aujourd'hui entre toutes ces choses-là.
01:19Alors une réponse que personne ne comprend est-elle vraiment une avancée scientifique ?
01:23On décortique la crise existentielle des maths sur YouTube.
