OpenAI réfute une hypothèse vieille de 80 ans — et les mathématiciens la soutiennent

OpenAI a affirmé que son modèle d'analyse du raisonnement a réfuté l'une des hypothèses géométriques classiques qui est restée non résolue pendant plus de 80 ans. Cette fois-ci, le résultat a reçu le soutien des mathématiciens eux-mêmes qui ont précédemment démasqué les affirmations controverses précédentes de l'entreprise. C'est une étape importante pour prouver que l'IA peut générer de véritables découvertes mathématiques nouvelles.

Quelle hypothèse le modèle de raisonnement a-t-il résolu?

Cette fois-ci, il s'agit d'une hypothèse géométrique qui reste ouverte depuis 1946 — l'une de ces questions classiques en topologie et géométrie auxquelles les mathématiciens se sont intéressés pendant de nombreuses décennies sans succès. Ce n'est pas un puzzle amusant, mais un problème sérieux d'intérêt pour la science fondamentale. OpenAI a utilisé son modèle de raisonnement pour analyser le problème. L'entreprise n'a pas révélé les détails des aspects mathématiques de la solution, mais a indiqué que l'IA a pu trouver une voie logique et démonstrative menant à la réfutation de l'hypothèse. Pour l'IA, ce n'est pas trivial : il faut non seulement énumérer les options, mais construire une chaîne de raisonnement compréhensible et vérifiable par les humains.

Soutien des experts respectés

Il est à noter que le résultat a reçu la validation des mathématiciens de premier plan — les mêmes scientifiques qui il y a un an ont critiqué OpenAI pour avoir fait des affirmations injustifiablement audacieuses. Alors, l'entreprise a annoncé la solution à un autre problème, mais après un examen attentif, il s'est avéré que la preuve contenait une erreur. OpenAI a été contrainte de reconnaître l'inexactitude.

Maintenant, la situation est différente. Les experts ont indépendamment vérifié la logique et les calculs du modèle de raisonnement et en ont confirmé l'exactitude. C'est une confirmation du résultat par la communauté scientifique, et non simplement un coup de relations publiques.

Pour OpenAI, cela réduit le risque réputationnel et démontre la fiabilité accrue des systèmes d'IA pour résoudre des problèmes mathématiques abstraits et créatifs.

Qu'est-ce que cela signifie pour la science?

Cette réussite est importante pour plusieurs raisons :

• Pour la première fois, un système d'IA a résolu de façon indépendante un problème ouvert depuis plusieurs décennies, qui est reconnu par les mathématiciens de premier plan
• Le modèle de raisonnement peut être appliqué à d'autres hypothèses non résolues en géométrie, topologie et mathématiques pures
• Il est prouvé que l'IA est capable de générer des connaissances mathématiques véritablement nouvelles, et non simplement de copier des modèles connus
• L'assistance informatique passe de la catégorie d'outil auxiliaire au statut de participant actif dans les découvertes

Si les résultats sont confirmés et publiés dans des revues de premier plan, cela redéfinira le rôle de l'IA dans la science fondamentale. D'un outil pour vérifier des idées déjà connues, l'IA devient un générateur de nouvelles découvertes. Même si le modèle de raisonnement ne devient pas un chercheur entièrement indépendant, il peut déjà maintenant accélérer le processus de recherche mathématique en proposant de nouveaux chemins de preuve.