Si si de plus en plus, je vous l'accorde que pour le moment c'est assez restreint mais jeter un œil à Lean et les travaux et la communauté autour, c'est clair que l'avenir de la démonstration est automatisé, mais bon les maths comme les échecs étant plutôt des activités humaines les humains continueront à jouer aux échecs et créer des maths mais ça sera plus amusant avec un ordinateur.
intéressant, cependant une démonstration mathématique n'est pas un algorithme
Si si de plus en plus, je vous l'accorde que pour le moment c'est assez restreint mais jeter un œil à Lean et les travaux et la communauté autour, c'est clair que l'avenir de la démonstration est automatisé, mais bon les maths comme les échecs étant plutôt des activités humaines les humains continueront à jouer aux échecs et créer des maths mais ça sera plus amusant avec un ordinateur.
erreure c'est un algorithme puisque tout ce fait étapes par étapes.
l'informatique s'est des maths