Il faut imaginer que l'on soit capable de créer un programme capable de résoudre un problème mathématique que l'on n'était nous même incapable de résoudre ?
Selon moi oui, c’est seulement à partir de là qu’on pourra parler d’intelligence artificielle. « Incapable » dans le sens « nous n’y somme jamais arrivé jusque là » pas dans le sens : « c’est absolument impossible ».
Par exemple un programme qui utiliserait un concept connu, comme les chaînes de Markov, pour trouver une démonstration inconnue pour un autre théorème.
On a déjà réussi à trouver des résultats grâce à la machine, par exemple un pentagone pavant que l’on ne connaissait pas. Même s’il ne s’agit aucunement d’IA mais plutôt de semi-bruteforce, l’ordinateur a bien « produit » une connaissance nouvelle pour l’Homme.
Peut-être qu’un jour un programme réussira à prouver que c’était le dernier pentagone pavant et qu’il n’y en a pas d’autre...
[^] # Re: IA
Posté par Marotte ⛧ . En réponse au journal Un super ordinateur d'IA pour OpenAI. Évalué à 3. Dernière modification le 10 décembre 2016 à 18:00.
Selon moi oui, c’est seulement à partir de là qu’on pourra parler d’intelligence artificielle. « Incapable » dans le sens « nous n’y somme jamais arrivé jusque là » pas dans le sens : « c’est absolument impossible ».
Par exemple un programme qui utiliserait un concept connu, comme les chaînes de Markov, pour trouver une démonstration inconnue pour un autre théorème.
On a déjà réussi à trouver des résultats grâce à la machine, par exemple un pentagone pavant que l’on ne connaissait pas. Même s’il ne s’agit aucunement d’IA mais plutôt de semi-bruteforce, l’ordinateur a bien « produit » une connaissance nouvelle pour l’Homme.
Peut-être qu’un jour un programme réussira à prouver que c’était le dernier pentagone pavant et qu’il n’y en a pas d’autre...