Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases. With AI models, however, this is beginning to change. Here, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Soutenez Anthropic Research en consultant la ressource originale
Lire l'article original
Récent J’ai toujours été un grand fan de la code review. Ma première conférence portait sur ce thème. C’était il y a cinq ans, et on m’en parle… Continue reading on Medium »
Récent Une étude de SuperOffice révèle que 70 % des entreprises utilisant l'intelligence artificielle avancée jugent ses promesses exagérées, tandis que 56 % des expérimentateurs partagent cet avis. La connexion des logiciels existants est priorisée par 38 % des entreprises, indiquant un pragmatisme face à l'IA et ses limitations. L’article IA en entreprise : ceux qui en profitent le plus sont-ils les moins dupes ? est apparu en premier sur OlivierSauvage.com.
Un agent de codage ne se résume pas au modèle qui l'anime. Le modèle de langage en est le moteur, mais il ne travaille jamais seul : il est intégré dans un harnais, c'est-à-dire l'ensemble des instructions, outils, règles, étapes d'orchestration et mécanismes de contrôle qui encadrent son travail.
Mes agents IA relisaient tout le journal pour y trouver une ligne. Depuis le 30 juillet, je chasse les tokens : mesurer d'abord, écrire des règles de lecture, retirer ce qui ne sert pas, borner chaque tâche. Des chiffres sourcés, des estimations assumées, et cinq gestes à appliquer dès demain, sans coder.