On peut imaginer un futur, avec les modèles de langue style chatgpt ou le lien est fait entre l’exigence en langue naturelle. On a des outils de spécification formelle qui permette de définir dans des langues formelles (des propriétés mathématiques du code, en gros) ce que le code est supposé faire, et des outils de vérification pour vérifier que le code est bien conforme a ces propriétés, de manière sûre. Il manque un pont entre la description (dans les commentaire en l’occurrence) et la formalisation
On peut entrevoir vaguement un futur ou on taperait ce que le code est supposé faire, ou un chatgpt du futur traduirait ça dans des spécifications formelles pour fermer la boucle. Mais c’est un problème compliqué et ambigu de formaliser du langage naturel, et donc de garantir que la spécification est bien conforme à la description. On sait que c’est quelque chose qui n’est pas simple pour chatgpt. Mais potentiellement lever des alertes si il y a soupçon de contradiction si le modèle sait faire l’inverse et traduire les spécification en langue naturelle ... Chatgpt n’a pas de notion de cohérence non plus donc c’est pas trivial.
[^] # Re: Complètement crétin !
Posté par thoasm . En réponse au journal Comment briller auprès de la gent féminine dans « le monde de la tech ». Évalué à 4.
On peut imaginer un futur, avec les modèles de langue style chatgpt ou le lien est fait entre l’exigence en langue naturelle. On a des outils de spécification formelle qui permette de définir dans des langues formelles (des propriétés mathématiques du code, en gros) ce que le code est supposé faire, et des outils de vérification pour vérifier que le code est bien conforme a ces propriétés, de manière sûre. Il manque un pont entre la description (dans les commentaire en l’occurrence) et la formalisation
On peut entrevoir vaguement un futur ou on taperait ce que le code est supposé faire, ou un chatgpt du futur traduirait ça dans des spécifications formelles pour fermer la boucle. Mais c’est un problème compliqué et ambigu de formaliser du langage naturel, et donc de garantir que la spécification est bien conforme à la description. On sait que c’est quelque chose qui n’est pas simple pour chatgpt. Mais potentiellement lever des alertes si il y a soupçon de contradiction si le modèle sait faire l’inverse et traduire les spécification en langue naturelle ... Chatgpt n’a pas de notion de cohérence non plus donc c’est pas trivial.