L'ia pour résoudre deux problèmes mathématiques épineux

Salut


Des chercheurs de chez Google DeepMind ont réussi à montrer que les intelligences artificielles génératives peuvent produire des informations entièrement nouvelles. Leur outil FunSearch a réussi à créer des programmes pour résoudre deux problèmes mathématiques épineux...


https://www.futura-sciences.com/tech/actualites/intelligence-artificielle-google-deepmind-utilise-intelligence-artificielle-resoudre-deux-problemes-mathematiques-110168/

Bonjour Dattier,
Bof, Futura ne constitue pas pour moi une source d'information crédible.

L'article original sur nature (en anglais) : https://www.nature.com/articles/s41586-023-06924-6

Oui, cette histoire d'IA m'intéresse énormément et depuis très longtemps, et tout irait bien si on appelait cela autrement que "intelligence".
Il y a un exemple important concernant la résolution de problème difficile : le théorème des quatre couleurs. On a dit que la démonstration avait été faite par un ordinateur. Ce n'est pas tout à fait vrai, des hommes ont créé et décrit les figures élémentaires de tous les cas possibles. De mémoires, une centaine. Ensuite il ont fait tourner la machine pour étudier tous les assemblages possibles de ces figures élémentaires. Pour moi, c'est de l'assistance à raisonnement.
Un autre exemple : si on pose une question un peu compliqué à une IA, elle va donner une réponse R1. Si pour une raison quelconque on pose la même question, il y a de fortes chances que la réponse R2 soit légèrement différente que la réponse R1. Sauf exception, ce phénomène ne peut pas se produire avec un individu.

J'ai tout de même une certaine expérience dans ce domaine, puisque j'ai écrit un logiciel à qui on fournissait quelques données techniques et quelques données graphiques et qui sortait un plan de lotissement précis.