
0/ Alors que les systèmes d'IA deviennent de plus en plus puissants, la vérification formelle – qui consiste à utiliser les mathématiques pour prouver la correction des programmes informatiques – montre de plus en plus de potentiel. Un fil invité par @big_tech_sux, développeur principal de @vyperlang 🧵 https://t.co/3T6H76AVrL
