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
Windows a influé de façon importante sur la compréhension de ce qu'est un ordinateur personnel (PC) et les statistiques laissent penser que ça devrait continuer 10 03/2020
Les réunions sur Zoom ne supportent pas le chiffrement de bout en bout, Zoom a donc la capacité technique d'espionner les réunions vidéo privées 45 03/2020
« J'ai obtenu mon profil auprès de Clearview AI et ça m'a fait peur », a déclaré Thomas Smith dont le profil contient des articles, des images, des URL, des pages de réseaux sociaux et autres 5 03/2020
Aucun problème majeur de congestion d'Internet n'a été constaté en Europe à cause du confinement dû à l'épidémie de COVID-19, selon l'agence de régulation des télécommunications de l'UE 41 03/2020
Découvrez comment ABBYY FlexiLayout Studio permet aux devs d'améliorer les interactions avec les clients, à l'occasion d'un webinaire technique le 09 avril 03/2020
À partir du 21 avril 2020, vous ne parlerez plus d'Office 365 mais de Microsoft 365. L'éditeur va enrichir son offre par abonnement pour séduire le plus grand nombre 25 03/2020
Swift 5.3 sera officiellement disponible et pris en charge sur Windows, ainsi que sur d'autres distributions Linux 6 03/2020
Covid-19 : l'OMS recommande de jouer aux jeux vidéo « chacun de son côté, mais ensemble » le temps de l'épidémie, pour la promotion à grande échelle des mesures de distanciation sociale 2 03/2020
Le moteur CRYENGINE va supporter les plateformes mobiles. Une campagne bêta pour tester le support d'Android arrivera plus tard dans l'année 0 03/2020
L'environnement de développement Code::Blocks passe en version 20.03 et marque le passage à la bibliothèque d'interface wxWidgets 3.x 4 03/2020
Les patrons accélèrent l'automatisation au moment où le Covid-19 maintient les travailleurs à domicile : plus du tiers relèvent leurs investissements dans la filière pour préparer l'après pandémie 1 03/2020
Le Covid-19 peut-il accélérer la recherche en robotique dans le but de lutter contre les maladies infectieuses ? Oui, selon un groupe d'experts en robotique 0 03/2020
AWS Ground Station, le service entièrement géré qui permet de contrôler les communications satellitaires sans avoir à créer votre infrastructure de stations au sol, gagne en fonctionnalités 1 03/2020
Covid-19 : des experts de la cybersécurité se réunissent pour lutter contre le piratage au sein d'une coalition mondiale qui mobilise plus de 40 nationalités 0 03/2020
Linux 5.6 est disponible avec l'implémentation du VPN WireGuard et la prise en charge d'Arm EOPD 4 03/2020
Google utilise l'intelligence artificielle pour concevoir des puces plus efficaces et moins gourmandes en énergie qui accéléreront le développement de l'IA, selon l'entreprise 0 03/2020
Hub 2020.1 est disponible, l'application d'autorisation et de gestion des utilisateurs introduit les Organisations et prend en charge Swagger 0 03/2020
L'éditeur de l'application de vidéoconférence Zoom retire le code du SDK Facebook de la version iOS, car celui-ci transférait les données des utilisateurs vers le réseau social 45 03/2020
L'Arabie saoudite soupçonnée de mener une campagne d'espionnage téléphonique aux États-Unis, en exploitant le système SS7 pour localiser les téléphones des Saoudiens pendant leurs séjours aux USA 1 03/2020
Microsoft Azure note une augmentation de 775 % de la demande dans les régions qui ont imposé le confinement, Teams compte désormais plus de 44 millions d'utilisateurs quotidiens 0 03/2020
Que se passe-t-il lorsque le responsable d'une bibliothèque JS téléchargée 26 millions de fois par semaine va en prison pour avoir tué quelqu'un avec une moto ? Core-js vient de le découvrir 31 03/2020
Le compilateur C++ clang passe en version 10 et officialise le support des concepts du C++20 1 03/2020
Microsoft annonce la sortie de la version bêta de TypeScript 3.9 qui vient avec l'accélération du compilateur, la réduction de latence dans l'éditeur VS Code ainsi que plusieurs autres changements 2 03/2020
La première préversion de Microsoft Defender Advanced Threat Protection pour Linux est disponible, dans un effort de Microsoft « d'aller encore plus loin dans l'amélioration de la sécurité pour tous » 5 03/2020
Visual Studio 2019 version 16.6 Preview 2 est disponible avec de nouvelles fonctionnalités, dont une expérience de débogage instantané améliorée, un nouvel outil .NET Async et autres 5 03/2020
Google prévient que ses algorithmes d'indexation vont donner la priorité au mobile-first dès septembre 2020, pour améliorer les résultats affichés sur les dispositifs des mobinautes 9 03/2020
Coronavirus : Alphabet, maison mère de Google, fera un don de plus de 800 millions de dollars pour faire face à la pandémie, dont 600 millions en crédits publicitaires 1 03/2020
IA contre le coronavirus : un nouveau consortium de scientifiques va utiliser l'IA et certains des supercalculateurs les plus avancés, pour endiguer les pandémies actuelles et futures 0 03/2020
Slack bat des records d'utilisation et atteint les 12 millions d'utilisateurs actifs par jour à cause du COVID-19 et la demande pour le travail à distance continue d'augmenter 25 03/2020
Covid-19 : faut-il pister les téléphones pour cibler les lieux de rassemblements ? Le PM canadien n'écarte pas l'idée d'aller vers un « totalitarisme sanitaire », d'après les défenseurs des libertés 814 03/2020
Le gouvernement suisse fait appel à Swisscom pour lui signaler les regroupements d'individus, dans une tentative pour faire respecter les mesures de distanciation sociale 814 03/2020
Les médecins confrontés au COVID-19 utilisent les médias sociaux pour trouver des solutions en temps réel, même si cela amène parfois à adopter de nouvelles manières de faire dans la profession 2 03/2020
L'Europe est le terrain d'une guerre entre les entreprises technologiques qui veulent pister les utilisateurs en quarantaine et les défenseurs de la vie privée 814 03/2020
Quoi de neuf dans Space 2020 prévu pour fin 2020 ? L'environnement collaboratif prend en charge NuGet et NPM, workflows personnalisés sur un changement de référentiel et autres 0 03/2020
L'utilisation d'Internet augmente de 70 % et le streaming de plus de 12 % à cause du coronavirus, selon un rapport 41 03/2020
Des opérateurs téléphoniques européens se disent prêts à partager leurs données de géolocalisation avec la Commission, pour tenter d'enrayer la progression de l'épidémie de coronavirus 814 03/2020
Le secteur des services informatiques face à Armageddon, alors que le confinement dû au Covid-19 force les annulations de projets, d'après des analystes 7 03/2020
JetBrains publie Big Data Tools EAP 6 qui peut s'intégrer maintenant avec Google Cloud Storage, la configuration de connexion pour Spark et Zeppelin prend désormais en charge les proxy HTTP 0 03/2020
Microsoft suspendra "toutes les versions facultatives non liées à la sécurité" dès mai de son processus de MàJ, pour les produits clients et serveurs allant de Windows 10 v1909 à Windows Server 2008 1 03/2020
