Auteur: OpenAI  –  Durée: 00:02:38

Aujourd’hui, nous partageons une avancée majeure sur le problème de la distance unitaire planaire, une célèbre question ouverte posée pour la première fois par Paul Erdős en 1946. Pendant près de 80 ans, les mathématiciens pensaient que les meilleures solutions possibles ressemblaient à des grilles carrées. Un modèle OpenAI a maintenant réfuté cette croyance, découvrant une toute nouvelle famille de constructions plus performantes. C’est la première fois que l’IA résout de manière autonome un problème ouvert important, central dans un domaine mathématique. La preuve provient d’un modèle de raisonnement général, et non d’un système construit spécifiquement pour résoudre des problèmes mathématiques ou ce problème en particulier, et représente une étape importante pour les communautés mathématiques et IA. Ce résultat pointe vers quelque chose de plus vaste : les systèmes d’IA deviennent capables de maintenir ensemble des chaînes de raisonnement longues et difficiles, de relier des idées dans des domaines éloignés et de faire émerger des voies que les chercheurs n’auraient peut-être pas explorées. Nous pensons que ces mêmes capacités accéléreront bientôt les travaux en biologie, physique, ingénierie et médecine. Cet avenir dépend toujours du jugement humain. L’expertise devient plus précieuse, pas moins. L’IA peut aider à rechercher, suggérer et vérifier. Les gens choisissent les problèmes qui comptent, interprètent les résultats et décident des questions à aborder ensuite.

https://openai.com/index/model-disproves-discrete-geometry-conjecture/

Traduit en français à partir de cette source