Mistral AI lance Leanstral 1.5, l'IA gratuite qui vérifie l'exactitude de votre code, un modèle d'agent de code Lean 4 open source capable de résoudre 587 des 672 problèmes du PutnamBench Un modèle d'agent de code conçu pour Lean 4, disponibles sous licence Apache 2.0. L'architecture est de type « mixture-of-experts », ou MoE. Un modèle MoE achemine chaque token vers quelques sous-réseaux spécialisés. Cela permet de limiter la charge de calcul tout en conservant une grande capacité totale. Leanstral 1.5 résout 587 des 672 problèmes du PutnamBench et établit de nouveaux records de 87 % sur FATE-H et de 34 % sur FATE-X 3 commentaires
GLM-5.2 de la start-up chinoise spécialisée dans l'IA Z.ai est désormais capable de rivaliser avec Claude Mythos en matière de détection de failles de sécurité logicielle GLM-5.2 est désormais capable de rivaliser avec Mythos pour détecter des failles de sécurité logicielles. Ce modèle est également open source, ce qui signifie que n'importe qui peut le télécharger, le modifier et l'exécuter sur son propre matériel sans dépendre d'un fournisseur de services cloud. Cette flexibilité le rend attractif pour les entreprises, mais elle soulève également des inquiétudes quant à la possibilité que des cybercriminels puissent l'adapter à des fins offensives 1 commentaire
La sortie du téléphone pliable très attendu de Huawei dénommé Mate X a encore été retardée, laissant ainsi la porte ouverte au premier pliable à savoir le Samsung Galaxy Fold 4 08/2019
Plus de 3 800 violations de données signalées au premier semestre 2019, le hacking reste le type de violation numéro un 1 08/2019
L'Inde bloque l'accès à Internet au Cachemire au nom de « la paix et la tranquillité », maintenant, « Nous ne pouvons rien faire », a dit un pharmacien qui s'approvisionnait en ligne, selon un rapport 9 08/2019
Voitures autonomes : UPS acquiert des actions dans TuSimple et teste des camions autonomes en Arizona depuis le mois de mai 0 08/2019
Rust 1.37.0 est disponible en version stable et apporte des éléments const non nommés, ainsi qu'une clé d'exécution par défaut dans Cargo 0 08/2019
Violation de données : Facebook n'a pas averti les utilisateurs des risques connus avant 2018 et se retrouve de nouveau poursuivi en justice 764 08/2019
La Maison-Blanche demande de réautoriser la surveillance des données téléphoniques des Américains pour une durée indéterminée 787 08/2019
AnyChart JS 8.7.0 : export côté client et nouveaux contrôles IU des stocks pour le framework JavaScript de graphiques orienté HTML5 0 08/2019
Android : toutes les nouvelles applications nécessitent une approbation de trois jours sur le store, afin de mieux protéger les utilisateurs 3 08/2019
Le User ID unique de la solution antivirus Kaspersky peut permettre à des tiers de pister les internautes, l'entreprise déploie un correctif 0 08/2019
Les pirates ont été invités à s'introduire dans des machines à voter américaines. Ils n'ont pas eu beaucoup de problème 1 08/2019
Voici une startup qui prétend s'appuyer sur l'IA pour automatiser le développement d'applications, mais qui, en réalité, use d'humains en toile de fond 10 08/2019
Des chercheurs japonais présentent une nouvelle prothèse robotique similaire à une queue qui pourrait aider les personnes âgées à se déplacer 4 08/2019
Apple déclare être directement ou indirectement responsable de 2,4 millions d'emplois aux États-Unis, ce qui représente une hausse annuelle de 20% 4 08/2019
Qt Quick 3D, une nouvelle API 3D de haut niveau pour Qt Quick, une préversion de la nouvelle architecture de Qt Quick prévue pour Qt 6 0 08/2019
Dropbox explique pourquoi son appli pour Android et iOS passe du multiplateforme via C++ au natif en Kotlin et Swift 11 08/2019
Impôt : Trump retarde l'application des droits de douane sur certaines importations chinoises. Cette mesure peut-elle apaiser la guerre commerciale américano-chinoise ? 613 08/2019
Les développeurs de logiciels sont des cibles de choix pour les attaques d'hameçonnage selon un rapport de Glasswall 0 08/2019
Microsoft annonce la disponibilité de la Preview 2 de Visual Studio 2019 version 16.3, ainsi que la Preview 2 de la version 8.3 de Visual Studio pour Mac 19 08/2019
Les Américains préfèrent avoir une intoxication alimentaire ou perdre leur carte de crédit, au lieu d'être privés d'internet pendant les vacances 20 08/2019
Le patron de la FTC a annoncé qu'il est prêt à un démantèlement des grandes entreprises technologiques si cela s'avère nécessaire 1 08/2019
Facebook a payé des tiers pour transcrire les enregistrements audio des conversations de certains de ses utilisateurs, selon un récent rapport qui a été confirmé par la société 3 08/2019
Google, Facebook, Amazon vont témoigner aux Etats-Unis contre la taxe numérique française, que le Bureau du représentant américain au commerce extérieur a qualifiée de « déraisonnable » 1303 08/2019
L'outil de Google proposant des offres d'emploi dans les résultats de recherche suscite des plaintes de la part de ses concurrents pour abus de position dominante 0 08/2019
La plus grande menace de rançongiciels serait le chiffrement des fichiers cloud partagés, selon les chercheurs de Vectra 2 08/2019
Verizon vend Tumblr « bien en dessous de » 20 millions de dollars au propriétaire de WordPress, six ans après que Marissa Mayer l'ait acheté pour 1,1 milliard de dollars 12 08/2019
L'environnement de bureau Xfce 4.14 est disponible après quatre ans de développement, il apporte de nombreuses mises à jour et correctifs 13 08/2019
WordPress voudrait forcer la MàJ automatique des sites tournant sur des versions antérieures du CMS, afin de renforcer la sécurité d'Internet dans son ensemble 10 08/2019
Antivirus : Windows Defender serait maintenant l'une des meilleures applications antivirus au monde, selon AV-TEST 12 08/2019
La 5G risque de vider les batteries à cause de ses techniques de modulation et d'accès au canal : les solutions existent, mais seront probablement rejetées 16 08/2019
États-Unis : une fuite de documents montrerait que la Maison-Blanche veut « protéger les Américains de la censure en ligne » à travers un décret 23 08/2019
