Verification

Anthropic a publié FlashProve, un prototype de recherche qui utilise la cryptographie pour vérifier si une réponse d'IA provient du modèle revendiqué sans exposer ses poids. L'entreprise indique que le système présente encore des limitations importantes.

Recherche • The Decoder

OpenAI a annoncé que ses modèles ont produit de nouveaux résultats sur trois problèmes scientifiques, notamment des preuves que l'hypothèse du temps exponentiel est fausse. L'entreprise partage ces résultats avec les communautés académiques pour vérification et recherche supplémentaire.

Recherche en IA • Hacker News

Productivité

L'IA peut générer des preuves mathématiques de sécurité pour les bibliothèques open-source, améliorant la vérification des logiciels et réduisant les vulnérabilités.

&Truth • Seed

&Truth, une startup misant sur l'IA pour rendre la vérification formelle des logiciels pratique, a été lancée avec un tour de table amorçage de 70 millions de dollars dans le cadre d'une vague de startups dans ce secteur.