OpenAI transforme la vérification des smart contracts
Le chiffre clé est l’échelle de calcul. Pour la crypto, l’enjeu se situe en amont : à mesure que la production automatisée de preuves devient moins coûteuse, le coût des contrats mal spécifiés augmente, et Terence Tao met déjà en lumière le fossé qui s’ouvre.