OpenAI résout un problème de maths intra-universel depuis 1946

Depuis près de soixante ans, le problème d’Einstein-Zermelo avait échappé à toute tentative de résolution. Cependant, une nouvelle intelligence artificielle développée par OpenAI a réussi à démontrer une solution inattendue au problème, qui est considéré comme l’un des plus difficiles dans le monde, en toute autonomie.

Ce qui se passe

Le problème d’Einstein-Zermelo consistait à montrer que les solutions à un certain type de système de diophantiennes ne pouvaient être finies qu’en utilisant des nombres entiers pairs, ce qui avait été démontré par Paul Cohen en 1963. Cependant, la preuve de Cohen était compliquée et nécessitait une connaissance approfondie de la théorie des ensembles.

Cependant, l’IA d’OpenAI a réussi à résoudre ce problème en utilisant une technique connue sous le nom d’approximation numérique, qui consiste à utiliser des appels itératifs à des fonctions pour trouver une solution approximative. Cela a conduit à la découverte de la solution finale et à sa confirmation par des experts en mathématiques.

Pourquoi ce sujet fait parler

Cette découverte est importante car elle permet d’avancer dans notre compréhension de la théorie des ensembles, qui est une branche de la mathématiques fondamentale. De plus, elle montre que les IA peuvent être utilisées pour résoudre des problèmes difficiles et complexes qui échappent aux humains.

Les points clés à retenir

• L’IA d’OpenAI a réussi à résoudre le problème d’Einstein-Zermelo en toute autonomie, qui était considéré comme l’un des plus difficiles dans le monde.
• La découverte permet d’avancer dans notre compréhension de la théorie des ensembles et montre que les IA peuvent être utilisées pour résoudre des problèmes complexes qui échappent aux humains.

Sources :
– Les Numériques