Charles Hoskinson, fondateur de Cardano, a déclaré que les progrès rapides de l’intelligence artificielle en mathématiques avancées avaient largement dépassé ses attentes initiales. Il a souligné les capacités extraordinaires démontrées par les systèmes d’IA dans la génération et la vérification formelle de preuves mathématiques complexes, notamment concernant les équations de Navier-Stokes, l’un des problèmes du Prix du Millénaire de l’Institut de mathématiques Clay. Hoskinson a admis que l’émergence de grands modèles de langage (LLM) capables de générer eux-mêmes des preuves était inattendue, saying que ces systèmes l’avaient surpris. Il a également mis en garde les chercheurs sur l’importance d’utiliser des environnements d’IA privés pour protéger leur propriété intellectuelle et leurs journaux de recherche confidentiels contre les fournisseurs centralisés.
Source: Lire l’article original
