SCIENCE

Le modèle d'OpenAI résout un problème de mathématiques vieux de 80 ans

▪

Read, Watch or Listen

Le modèle d'OpenAI résout un problème de mathématiques vieux de 80 ans

États-Unis – Un modèle d'intelligence artificielle développé par OpenAI a produit une démonstration qui réfute la conjecture des distances unitaires d'Erdős, un problème mathématique ouvert qui est resté non résolu pendant 80 ans. La conjecture concerne le nombre maximum possible de distances unitaires pouvant survenir parmi un ensemble de points dans un plan, et elle a mis au défi des générations de mathématiciens humains malgré des efforts soutenus. Le système d'OpenAI a généré une preuve complète, qui a ensuite été soumise à un examen détaillé par des experts indépendants. Ces examinateurs, dont au moins un mathématicien lauréat de la médaille Fields, ont examiné le raisonnement et ont confirmé que l'argument est à la fois précis et logiquement solide. États-Unis – Les chercheurs et les commentateurs décrivent ce résultat comme une étape historique pour l'intelligence computationnelle, soulignant qu'un système d'IA a désormais contribué à une solution originale à un problème fondamental et de longue date en mathématiques pures. Cette réussite suggère que les modèles d'IA peuvent s'engager dans un raisonnement et une résolution de problèmes de haut niveau à une profondeur auparavant associée uniquement aux spécialistes humains. Les experts affirment que ce travail démontre que de tels systèmes peuvent aller au-delà du traitement ou du résumé des connaissances existantes pour contribuer à la création de nouvelles connaissances scientifiques. Ils notent que les techniques sous-jacentes à ce résultat pourraient également soutenir les progrès dans des domaines tels que la modélisation de systèmes complexes, la logistique et la science des matériaux avancée.

Prepared by Olivia Bennett and reviewed by editorial team.

Timeline of Events

Erdős propose la conjecture de la distance unitaire dans les années 1940
Au cours des décennies suivantes, les mathématiciens tentent sans succès de résoudre le problème
Ces dernières années, les modèles d'IA améliorent le raisonnement mathématique
Plus tôt cette année, OpenAI entraîne un modèle de raisonnement avancé
Récemment, le modèle génère une preuve réfutant la conjecture
Peu de temps après, des mathématiciens externes vérifient l'exactitude de la preuve
Désormais, les chercheurs soulignent les implications pour la découverte scientifique
Perspectives : applications anticipées dans la modélisation de systèmes complexes

News Intelligence

Cette percée prouve que l'IA peut résoudre des problèmes complexes qui déroutent les humains. Il ne s'agit pas seulement de mathématiques. La même technologie pourrait améliorer la logistique, la science des matériaux et la modélisation de systèmes. Cela signifie de meilleurs produits, une planification plus intelligente et de nouvelles découvertes. Gardez un œil sur la façon dont l'IA remodèle votre secteur.