Pierre Beyssac ✅ (pb@mast.eu.org)'s status on Tuesday, 05-Mar-2024 04:07:04 JST

@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).