Et puis il y a des enjeux plus prosaïque que de prouver des problèmes ouverts, pour ce qui est de l'activite de formalisation des maths dans des assistants de preuve, ça reste embryonnaire même si il y a eu des résultats significatifs dernièrement. On en est pas encore au point ou la revue par les pairs de travaux de mathématicien a changé de nature parce que les résultats arrivent avec des preuves vérifiables automatiquement :) il y a encore des enjeux d'aisance et de praticité à utiliser ces outils pour les mathématiciens avant de réaliser ce but ultime du domaine.
[^] # Re: Pourquoi dire IA si on ne parle que des réseaux de neurones ?
Posté par thoasm . En réponse à la dépêche Une intelligence artificielle libre est-elle possible ?. Évalué à 2.
Et puis il y a des enjeux plus prosaïque que de prouver des problèmes ouverts, pour ce qui est de l'activite de formalisation des maths dans des assistants de preuve, ça reste embryonnaire même si il y a eu des résultats significatifs dernièrement. On en est pas encore au point ou la revue par les pairs de travaux de mathématicien a changé de nature parce que les résultats arrivent avec des preuves vérifiables automatiquement :) il y a encore des enjeux d'aisance et de praticité à utiliser ces outils pour les mathématiciens avant de réaliser ce but ultime du domaine.