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 ? Je ne dis pas que c'est pas possible, j'en suis incapable, mais c'est très étonnant.
Ça ne me parait pas plus absurde qu'une IA qui invente une façon de jouer au Go à laquelle personne n'avait pensé.
Une démonstration mathématique est un enchaînement de déductions logiques. On peut très bien voir un parallèle avec les jeux de stratégie au tour par tour.
La seule chose qui pourrait coincer, c'est si on oublie un élément de base dans les déductions, un peu comme si on oubliait d'indiquer une règle au jeu de stratégie.
[^] # Re: IA
Posté par Maclag . En réponse au journal Un super ordinateur d'IA pour OpenAI. Évalué à 3.
Ça ne me parait pas plus absurde qu'une IA qui invente une façon de jouer au Go à laquelle personne n'avait pensé.
Une démonstration mathématique est un enchaînement de déductions logiques. On peut très bien voir un parallèle avec les jeux de stratégie au tour par tour.
La seule chose qui pourrait coincer, c'est si on oublie un élément de base dans les déductions, un peu comme si on oubliait d'indiquer une règle au jeu de stratégie.