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
L'implémentation libre d'OpenGL et de Vulkan "Mesa" passe en version 19.0.0 avec le support de nouvelles extensions et des correctifs de bogues 0 03/2019
Google vient de battre le record du monde pour le calcul des chiffres de Pi qui sont désormais de 31,4 milliards de chiffres et célèbre le Pi Day 20 03/2019
Le cofondateur de WhatsApp qui a vendu la société à Facebook pour 19 milliards de $ dit aux étudiants de supprimer leur compte Facebook, à Stanford 4 03/2019
Le Congrès US étudie un projet de loi sur la sécurisation de l'internet des objets, dont la faiblesse constitue l'une des « plus importantes menaces » 1 03/2019
Le projet Debian pourrait se retrouver sans chef à sa tête, car personne ne semble vouloir le diriger 7 03/2019
La cryptomonnaie de Facebook, une opportunité de 19 milliards de dollars de revenus et une nouvelle affaire autre que la publicité, selon Barclays 274 03/2019
Microsoft pourrait permettre aux utilisateurs de Windows 10 19H1 de suspendre l'installation automatique des mises à jour Windows pendant 35 jours 54 03/2019
Spinnaker, la plateforme de diffusion continue multicloud et open source développée par Netflix, est offert à la Continuous Delivery Foundation 0 03/2019
Les travailleurs s'attendent à une augmentation de salaire de 15 % lors du changement d'entreprise, selon un rapport de Gartner 11 03/2019
Alexa, le système vocal intelligent d'Amazon compte environ 80 000 applications dans son Store, mais aucune de vraiment célèbre 2 03/2019
Quelle version de Java utilisez-vous ? Qu'est-ce qui vous empêche de migrer vers une version plus récente ? 22 03/2019
Google lance en beta Android Q, la prochaine version majeure de son système d'exploitation mobile, qui s'accompagne de nombreuses nouveautés 7 03/2019
Microsoft étend le support de DirectX 12 à Windows 7, World of Warcraft devrait être le premier jeu a profiter de ce portage 6 03/2019
Tune, une extension Chrome basée sur l'IA pour cacher les commentaires « toxiques » publiés sur le Web est mise au point par Google 12 03/2019
Le moteur de jeux open source Godot est disponible en version 3.1 et apporte une grande refonte dans l'éditeur 5 03/2019
La version 3.2 de l'éditeur de texte Sublime Text est disponible et permet une meilleure intégration de Git 33 03/2019
Les cofondateurs d'Instagram estiment que le démantèlement de Facebook n'est pas la bonne manœuvre, contrairement à ce que préconisent les politiciens 43 03/2019
Chrome pour Android chargerait les pages HTTPS plus vite sur des connexions lentes grâce à une mise à jour de la fonctionnalité Data Saver 0 03/2019
Microsoft fait la démonstration du jeu xCloud en streaming une semaine avant l'événement « Le futur du jeu vidéo » de Google au GDC 4 03/2019
Chrome 73 débarque avec la prise en charge des touches multimédias de votre clavier, et le support des PWA pour macOS 1 03/2019
IA : IBM développe des modèles de machine learning pour la détection précoce de la maladie d'Alzheimer à partir d'un simple test sanguin 0 03/2019
Une fuite de données révèle d'importantes informations sur 1,8 million de femmes chinoises, y compris leur statut « Prêtes à procréer » 13 03/2019
Les prochaines mises à jour de Windows 10 devraient introduire le support de DTrace, l'outil Unix open source d'analyse de performance, sur Windows 0 03/2019
Les États-Unis jugent la taxe GAFA française « extrêmement discriminatoire » et menacent la France d'une riposte 1303 03/2019
Le nouveau système de reconnaissance vocale de Google fonctionne instantanément et hors ligne, mais uniquement sur un téléphone pixel 1 03/2019
Après Telegram, la Russie bloque le fournisseur de messagerie chiffrée ProtonMail, évoquant une mesure de sécurité nationale 2 03/2019
Les messages annonçant la fin de vie Windows 7 commenceront à apparaître le mois prochain, Microsoft promet qu'il sera possible de les désactiver 64 03/2019
La représentante Alexandria Ocasio-Cortez rejoint Bill Gates dans l'idée de taxer les robots, et propose l'application d'un taux d'imposition de 90 % 15 03/2019
L'UE abandonne sa taxe GAFA jugée discriminatoire par les États-Unis qui envisagent désormais de saisir l'OMC en représailles 1303 03/2019
F5 acquiert NGINX pour faire le pont entre les NetOps et les DevOps et fournir aux clients des services applicatifs cohérents 0 03/2019
La Linux Foundation annonce OpenJS Foundation, issue de la fusion des fondations Node.js et JS, pour soutenir la croissance de JavaScript 3 03/2019
Firefox Send : le service gratuit de transfert de fichiers chiffrés qui permet d'envoyer des fichiers volumineux et déterminer la date d'expiration 2 03/2019
Cloudflare, la société de performance Web, lance une levée de fonds de 150 MM $ et annonce des nominations au sein de son conseil d'administration 0 03/2019
Microsoft donne-t-il raison aux critiques qui affirment que nous allons vers un Web où il n'y a que Chrome ? Oui, pour certains 255 03/2019
OpenAI crée OpenAI LP en tant qu'hybride d'une société à but lucratif et non lucratif pour générer de profits et se financer 0 03/2019
Les USA menacent l'Allemagne de diminuer la quantité de données partagées par ses services de renseignements si elle collabore avec Huawei 613 03/2019
Les dépenses mondiales consacrées aux systèmes d'IA devraient atteindre 35,8 Md$ en 2019, selon le nouveau guide des dépenses d'IDC 0 03/2019
Facebook poursuit en justice 2 développeurs ukrainiens pour vol de données des utilisateurs par l'intermédiaire d'applications de quiz 4 03/2019
Windows 10 va supprimer automatiquement les mises à jour système qui causent des problèmes, notamment des échecs de démarrage, après leur installation 18 03/2019
