|
Édition du: 18/04/2026 |
|
INDEX |
LOGIQUE et IA |
|||||
|
Jeux |
||||||
|
|
|
|||||
|
Avril 2026 – pdf – 234 pages |
|
|||||
Faites un double-clic pour un retour
en haut de page
|
Intelligence Artificielle Avancées Quelles sont les limites de l'Intelligence
artificielle ? Exemples de
réalisations avancées.
|
||
|
|
Sommaire de
cette page >>> Limites de l'IA >>> Gants et langue des signes >>> Modèle de langage : importance de la quantité
de paramètres |
Débutants Glossaire |
Voir ChatGPT
/ Algorithmes les
plus avancés
|
L’IA Claude résout une conjecture de théorie des graphes : Un tournant pour les
mathématiques assistées par IA |
||
|
Un événement
inédit vient de secouer la communauté scientifique : le modèle d’intelligence
artificielle Claude Opus 4.6, développé par Anthropic,
a résolu en seulement 31 étapes une conjecture de théorie des graphes sur
laquelle Donald Knuth travaillait depuis plusieurs semaines. Knuth,
figure majeure de l’informatique théorique et auteur de The Art of Computer Programming, a exprimé sa stupéfaction dans un texte
intitulé Claude’s Cycles, ouvert par un
retentissant « Shock ! Shock ! ». |
Le problème concernait
la décomposition des arcs d’un graphe orienté en trois cycles hamiltoniens,
une question combinatoire complexe liée à la structure de graphes à m3
sommets. Alors que Knuth et ses
collaborateurs n’avaient trouvé que des solutions partielles, Claude a
produit en une heure une stratégie complète et généralisable, guidé
uniquement par des instructions méthodiques de vérification et de
reformulation. |
|
|
Cette prouesse marque
une étape importante : pour la première fois, une IA ne se contente pas
d’assister le raisonnement humain, mais propose de manière autonome une
solution originale à un problème ouvert. Knuth lui-même reconnaît
devoir « réviser [ses] opinions sur l’IA générative ». L’épisode ouvre un débat
majeur sur la place des systèmes d’IA dans la recherche mathématique, entre
outil, collaborateur… et désormais possible découvreur. |
||
Voir
Actualités
|
|
||
|
Dès le
milieu du 20e siècle, Alan Turing,
le père de l'informatique,
imaginait déjà toutes les possibilités fantastiques de ses inventions. En
développant son programme de jeu d'échecs,
dont ses amis se moquaient, il ne se doutait pas qu'en 2016, un descendant de ses
ordinateurs battrait le champion du jeu de Go. Pourtant,
malgré cet exploit, loin est encore le jour où un ordinateur pourra traduire
un livre en y
introduisant tout l'esprit et la subtilité de l'auteur. |
Les
réalisations en intelligence artificielle
actuelles restent très spécialisées. Le joueur de Go ne sait faire que cela. Il est incapable
d'accomplir la moindre autre tâche la plus banale. Pourtant,
bien sûr, pour en arriver là, l'algorithme interprète toutes les règles du
jeu de Go, mais, surtout, il est dopé par une haute dose d'apprentissage,
comme le ferait un humain. Malgré la puissance actuelle des
ordinateurs, ceux-ci sont encore très volumineux pour ce type de tâches
évoluées, surtout comparés au cerveau humain. Voir Loi de
Moore. |
|
|
En
mathématiques, les ordinateurs sont capables de vérifier des démonstrations,
comme ce fut le cas en 2004 pour le théorème des
quatre couleurs. |
Par contre,
nous sommes encore loin de voir un ordinateur trouver la démonstration d'une
propriété nouvelle de lui-même. Trouver la
bonne stratégie, le chemin vers la résolution reste l'apanage du
mathématicien humain et de son intuition. |
|
|
L'ordinateur
sait explorer de milliards de combinaisons prévues, à une vitesse surpassant
de loin la capacité humaine |
L'ordinateur
ne sait pas choisir parmi toutes les possibilités. Cédric Villani parle
de l'océan des possibles, de la malédiction dimensionnelle. On dit aussi:
explosion combinatoire. |
|
|
La capacité
des ordinateurs et des algorithmes va continuer à progresser. Chaque jour
amène sa nouvelle avancée comme la
voiture sans chauffeur ou encore la reconnaissance faciale dans la foule. |
La capacité du cerveau humain
va rester à peu près au niveau actuel, quoiqu'en pensent les transhumanistes. |
|
|
|
|||
|
Avril 2016 'SignAloud' gloves translate American Sign Language to
spoken English. Les gants SignAloud traduisent
le langage des signes américain en anglais oral. Une personne
enfile des gants reliés à un ordinateur. Les capteurs intégrés transmettent
positions et mouvements qui sont interprétés par le logiciel. L'ordinateur
reconnait les gestes et les traduit dans la langue choisie oralement. Une personne
ainsi équipée peut communiquer directement avec son entourage. Conçu par
deux étudiants américains (université de Washington), ils ont baptisé leur
appareil portatif: SignAloud (Signes à haute voix). L'avantage
de ce nouveau système: léger et portable au quotidien. Reste à vaincre
l'immense diversité des langues des signes. |
Le gant développé par Navid Azodi et Thomas Pryor |
||
|
Octobre
2015 Awasome (génial):
this new smart glove can turn sign language into text and speech. Ce nouveau gant intelligent peut transformer le langage des signes en texte et en
paroles. Hadeel Ayoub
mettant déjà en avant la légèreté du dispositif. |
Gant inventé par le saoudien Hadeel Ayoub |
||
|
Autres Avant eux
des étudiants de Nancy avaient développé le HandSpeaker
transformant le mouvement des doigts en paroles. Nombreux
sont ceux qui ont essayé. En général, le gant (prototype) était volumineux. |
Gant inventé par Ranjay Krishna, Seonwoo Lee, Si
Ping Wang |
||
Sources: presse de langue française et anglaise
Modèles de
langage: Importance de la quantité de paramètres pris en
compte
Voir Modèles de langage
(LLM)
Source de
cette image
: Modèles
de langage : d’où viennent les coups de génie des IA ?
– Pour
la Science – Stephen Ornes – 15 juin 2023
Haut de
page (ou double-clic)
|
Suite |
|
|
Voir |
|
|
Voir |
|
|
Cette page |
