Hoskinson évalue les avancées de l'intelligence artificielle en mathématiques

Le fondateur de Cardano, Charles Hoskinson, a déclaré que les attentes concernant les avancées de l'intelligence artificielle en mathématiques avancées avaient largement été dépassées. Il a souligné que la capacité à produire et à vérifier des preuves mathématiques complexes était particulièrement remarquable. Hoskinson a évalué, lors d'une diffusion en direct sur YouTube, une approche de Navier-Stokes prétendument développée par l'intelligence artificielle. Ce problème figure parmi les questions non résolues les plus connues en mathématiques. Hoskinson a exprimé que l'idée qu'une intelligence artificielle puisse rédiger une preuve complète semblait autrefois lointaine, mais que les grands modèles linguistiques avaient fait un bond inattendu dans ce domaine. Il a indiqué que cette avancée pourrait signaler un changement radical dans la manière de travailler en mathématiques. De plus, il a attiré l'attention sur les effets des systèmes d'intelligence artificielle sur la production académique et la confidentialité des données. Il a souligné que les chercheurs utilisant des modèles basés sur le cloud pourraient perdre le contrôle sur leurs idées et leurs enregistrements de travail. Hoskinson a déclaré que l'intelligence artificielle pouvait développer des idées existantes pour obtenir des résultats plus avancés, ce qui a remis en question sa position dans la production scientifique. En raison de l'importance du problème de Navier-Stokes dans la dynamique des fluides et l'ingénierie, il a également rappelé que la vérification de cette affirmation pourrait avoir un impact significatif dans de nombreux domaines scientifiques et technologiques.