Une intelligence artificielle fait ses preuves en maths
Un programme de Google a résolu vingt-cinq problèmes de géométrie
sur trente donnés aux Olympiades internationales de mathématiques
grâce à une nouvelle architecture d’IA.
David Larousserie, le 17 janvier 2024
La réussite du nouveau programme, baptisé « AlphaGeometry »,
pour rester dans la lignée des programmes précédents de DeepMind
(AlphaGo pour le jeu de go, AlphaFold
pour le repliement de protéines…), repose sur plusieurs idées.
Il comporte deux « cerveaux » distincts. L’un, « classique »,
contient un ensemble de règles et de connaissances de géométrie
permettant d’enchaîner des étapes de transformation de figures
sans se tromper. Il est dit « symbolique »,
par opposition à l’autre cerveau, « neurologique »,
qui fait appel à l’apprentissage machine
sur des réseaux de neurones artificiels [...]
Armée de ces deux cerveaux, la machine commence par tester
si une succession d’étapes de son système symbolique
arrive au résultat. Pour quatorze problèmes
(sur les vingt-cinq résolus), cela a suffi.
Pour les autres, le second cerveau s’active afin de proposer
une construction géométrique supplémentaire,
à partir de laquelle la partie symbolique retravaille.
Article,
2024, Le Monde