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
Sortie d'une nouvelle version stable de Chrome et de Chrome OS, et premier "Elite Award" pour le fix d'un bogue dans Chromium 3 01/2011
L'essor des tablettes affecte les ventes de PCs, le marché a été très touché à Noël et cela pourrait continuer en 2011 9 01/2011
Mandriva Linux 2010.2 est disponible, elle dépoussière la version sortie fin 2010 avec un nouveau bureau 40 01/2011
Webmatrix disponible en version finale dans les heures qui viennent, Microsoft dévoile son nouvel EDI ce soir 18 01/2011
Internet Explorer : Microsoft rejoint la Phishing Initiative, un projet commun avec Paypal et le CERT-LEXSI contre l'hameçonnage 0 01/2011
A quel point l'Internet est-il étendu ? Il compterait actuellement 255 millions de sites et 1.97 milliards d'utilisateurs 9 01/2011
iOS 4.3 est disponible en version bêta, elle apporte le tactile à cinq doigts et transforme les iPhones en spots Wi-Fi 16 01/2011
La reconnaissance vocale sera l'avenir de l'informatique, d'après le co-fondateur d'Apple Steve Wozniak 25 01/2011
Google lance la version alpha d'un traducteur universel oral pour Android, disponible aujourd'hui pour l'Anglais et l'Espagnol 15 01/2011
Un Web évangéliste de Microsoft critique avec humour la fin du support du H.264 dans Chrome et compare WebM à l'Espéranto 107 01/2011
Le CEO d'AMD renvoyé sans ménagement, il aurait sous-estimé le marché des appareils mobiles 4 01/2011
La qualité de la recherche en ligne est-elle subjective ? Bing serait meilleur que Google d'après Search Engine Land 13 01/2011
Hadopi : le code de ses logiciels sécuritaires sera totalement open-source, de quoi ouvrir la porte aux éditeurs 81 01/2011
Intel et Nvidia signent un accord de partages de technologies, pour enterrer un procès vieux de deux ans 2 01/2011
Microsoft conteste la marque déposée "App Store", et pense que tous les acteurs du secteur des applications devraient pouvoir l'utiliser 40 01/2011
Windows 7 : sortie du SP1 avant fin janvier ? Microsoft publie une mise à jour qui le laisse penser 85 01/2011
Croissance de 544 % pour l'Android Market sur 2010 et percée de l'iPhone en entreprise confirmée, d'après Distimo 3 01/2011
Une API pour le service de raccourcissement d'URL de Google à la disposition des développeurs Web 01/2011
Microsoft publie une nouvelle solution pour sécuriser Internet Explorer contre des attaques utilisant les feuilles de style 2 01/2011
Sortie de la version 0.7 de Apache Cassandra, le SGBD NoSQL phare du Cloud Computing, utilisé par Facebook et Twitter 10 01/2011
Le Projet Hudson change de nom et devient Jenkins pour respecter les droits d'Oracle, sa migration vers GitHub devrait suivre 41 01/2011
JRuby 1.6 passe en RC, support de Ruby 1.9.2 et compatibilité Windows pour l'implémentation alternative de Ruby sur la JVM 11 01/2011
Chrome ne supportera plus le H.264, Google ne veut soutenir que « des technologies et des codecs complètement ouverts » 107 01/2011
Salesforce ajoutera des fonctionnalités de communication en temps réel à Chatter, sa plate-forme de collaboration d'entreprise 1 01/2011
IBM, numéro 1 des dépôts de brevets pour la 18eme année consécutive avec un record de 5.896 brevets, Microsoft dans le top 3 10 01/2011
Microsoft : le responsable de la Division Serveurs sur le départ, en cause ses résultats dans le Cloud ? 7 01/2011
Oracle lance « Financial Analytics for SAP », une application de Business Intelligence destinée aux clients de SAP 0 01/2011
Bruxelles questionne l'impartialité de Google AdWord et envoie des questionnaires aux acteurs du Web européen, selon Le Figaro 0 01/2011
Joomla 1.6 est disponible avec l'arrivée du code sémantique, Drupal 7, Wordpress 3 ou Joomla 1.6, quel est votre CMS favoris en 2011 ? 18 01/2011
Sortie de Redmine 1.1.0, le gestionnaire de projet basé sur Ruby on Rails propose une API REST totalement remise à neuf 0 01/2011
Oodrive lance AdBackup Pro V5.0 pour simplifier et optimiser la télé-sauvegarde des documents et des données des PME 1 01/2011
Les mardis sont les journées les plus dangereuses en ligne, une étude révèle les pics de prolifération des menaces sur le Web 7 01/2011
L'interface de Windows 8 se prénommerait Mosh, et un Windows App Store tournant autour de Jupiter serait en chantier 588 01/2011
Green IT : Les entreprises de plus en plus interessées par le "smart bluiding", pour des bureaux plus économes en énergie 1 01/2011
Microsoft se réjouit de la future fonctionnalité "Tracking Protection" d'IE 9, et espère que ses concurrents "feront pareil" 10 01/2011
JavaScript sera-t-il bientôt un standard des applications d'entreprises ? Une conférence tentera de répondre à cette question le 20 janvier 14 01/2011
SAP s'attaque très sérieusement au marché des PME avec quatre nouveaux revendeurs français pour sa suite SAP Business ByDesign 6 01/2011
