Explorer
Un mois de Hot sources et de vidéos, par sujet et par format, et ce que la communauté partage.
Les sources de l'actualité IA passées par le fil Hot, un mois d'archive.
google-deepmind.github.io · 10 nov.
DeepMind vérifie la sécurité de Signal au niveau du code machine avec AlphaProof CodeGoogle DeepMind utilise son framework AlphaProof Code pour prouver mathématiquement la sécurité du protocole Signal, couvrant 6,5 millions de lignes de preuve. Une première pour un protocole cryptographique largement utilisé, réduisant le coût historique de la vérification formelle.
Scale Labs Leaderboards · labs.scale.com · 10 nov.
Scale Labs lance le Remote Labor Index pour évaluer les agents IA sur du travail à distance réelCe benchmark mesure la capacité des agents IA à accomplir 240 projets freelance réels, comparés à des livrables humains. Un outil clé pour suivre l'automatisation économique, avec un coût total de 144 000 $ en valeur de travail.
- deepmind
Google DeepMind · deepmind.google · 10 nov.
DeepMind utilise AlphaProof pour vérifier 3 millions de lignes de preuves du protocole SignalAlphaProof Code a généré des preuves formelles pour sécuriser le chiffrement de Signal. Une avancée majeure en vérification logicielle, appliquée à un protocole critique pour la confidentialité.
Sans compte, les dernières 24 h. Créez votre compte gratuit pour un mois de Hot sources et de vidéos. Créer mon compte