La publication de découvertes mathématiques par OpenAI inquiète les experts

OpenAI a stupéfié les mathématiciens après avoir publié des centaines de nouvelles découvertes mathématiques mardi.

L'entreprise a publié plus de 370 résultats mathématiques sur divers sujets tels que l'algèbre, l'informatique théorique et la logique mathématique, illustrant ce dont certains de ses modèles d'intelligence artificielle les plus avancés sont capables.

Le mois dernier, l'entreprise a résolu l'équation de Navier-Stokes, l'un des problèmes mathématiques les plus difficiles au monde avec une récompense de $1m pour quiconque le résoudrait.

Cette réussite a suscité des inquiétudes chez les leaders du domaine qui affirment que les laboratoires de pointe ne devraient pas tester les problèmes mathématiques les plus avancés sur des modèles d'IA propriétaires qui ne sont pas accessibles à l'ensemble des mathématiciens. L'Institute for Advanced Study de Princeton, New Jersey, un groupe indépendant d'experts en mathématiques, a déclaré qu'il ne cautionnait pas cette pratique.

« Il arrive désormais que l'IA puisse produire des arguments mathématiques dans des situations où l'humain qui l'a sollicitée n'est pas capable de comprendre les arguments, de les vérifier ou d'en assumer la responsabilité », indique un communiqué de l'organisation. « Nous pensons que la compréhension humaine des mathématiques reste d'une importance capitale. Comment, dans cette ère nouvelle, pouvons-nous travailler à un nouveau paradigme qui inclut la compréhension humaine des mathématiques dans le cadre d'une production académique responsable ? »