Pierre Beyssac ✅@aaribaud @romu700 @nitot @pablopernot @mmu_man @thierrya tu ne prétends pas que l'IA est une solution parfaite et moi non plus donc je ne vois pas pourquoi tu râles. Mais bref. Quant à la démonstration, au sens où tu la demandes apparemment (formelle), elle n'existe pas, pas plus qu'une méthode générique pour prouver qu'un programme est correct. Problème aussi vieux que l'informatique. Pourtant on arrive à bosser comme ça (le monde est imparfait, il faut vivre avec).
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.