00:00Ça fait 80 ans que les meilleurs mathématiciens du monde pensaient avoir compris ce problème de géométrie,
00:04mais cette IAD OpenAI vient d'anéantir leur théorie principale.
00:08Comment elle l'a fait ? Reste là et abonne-toi, je t'explique tout.
00:11Personne n'a de bons souvenirs des problèmes de maths, mais celui dont on va parler, c'est encore d
00:15'un autre niveau.
00:15Il a été posé en 1946 par le mathématicien Paul Erdos, et en fait la question est simple.
00:21Tu prends une grande feuille de papier et tu définis une unité de mesure de base, par exemple 1 cm,
00:25et bien le but du problème c'est de chercher comment avoir un maximum de paires de points à 1
00:29cm l'un de l'autre.
00:30Bon, ça te paraît facile ?
00:32Et bien pourtant ça fait des décennies que les mathématiciens cherchent une solution.
00:35Ils ont utilisé plein de méthodes, des grilles, des motifs, des calculs assistés par ordinateur,
00:39mais personne n'arrivait à prouver qu'on pouvait faire beaucoup mieux que ce que Paul Erdos avait théorisé.
00:43Jusqu'au 20 mai 2026.
00:44Une intelligence artificielle d'OpenAI vient de faire tomber cette théorie vieille de 80 ans,
00:49et le plus surprenant c'est que cette IA n'est même pas une spécialiste en mathématiques.
00:52Pour prouver sa théorie elle est passée par des contre-exemples,
00:54en gros elle a trouvé un arrangement beaucoup plus efficace que tout ce qu'on croyait possible,
00:58et pour réussir cet exploit l'IA a fait preuve de créativité
01:00puisqu'elle est allée chercher la réponse dans des théorèmes ultra abstraits.
01:03Alors que ces théorèmes ont pensé qu'ils n'avaient rien à voir avec notre problème de géométrie.
01:07OpenAI eux affirment que le problème a été résolu en totale autonomie par leur IA,
01:11mais pour être précis elle a plutôt donné la recette et une ébauche détaillée.
01:15Ensuite des mathématiciens humains ont reformulé la réponse de l'IA en langage mathématique classique,
01:20ajouté des détails manquants et vérifié que l'argument tenait.
01:22Après ça n'enlève pas que la communauté scientifique est déjà très impressionnée,
01:26Tim Goer's Medaille Field, l'équivalent du prix Nobel des mathématiques,
01:29a même déclaré que si un humain avait soumis cette démonstration,
01:32il aurait pu la soumettre aux Annals of Mathematics,
01:34une des revues les plus prestigieuses du monde.
01:36Pour lui, aucune preuve générée par l'IA jusqu'à présent n'a été aussi convaincante.
Commentaires