Anthropic : le dernier théorème de Fermat formalisé dans Lean
La démonstration comprend 13 millions de lignes de code Lean et environ 29 500 théorèmes intermédiaires.
Modèles, agents, applications : l’intelligence artificielle mise au travail sur des problèmes réels.
Ici, l’intelligence artificielle est jugée sur pièces : ce qu’elle fait, pour qui, à quel coût. La rubrique suit les modèles et leurs progrès mesurables, les agents qui exécutent de vraies tâches, et surtout les déploiements — un hôpital qui dépiste plus de patients, un réseau électrique mieux piloté, une administration qui répond plus vite. L’IA spectacle, les levées de fonds sans produit et les prophéties n’y ont pas leur place.
Nous privilégions les cas d’usage documentés, chiffres à l’appui : combien d’examens, quel taux d’erreur, quelle économie. Les acteurs non occidentaux — laboratoires chinois, indiens, émiratis — y sont traités au même titre que les américains, parce que c’est là que se joue une bonne part du déploiement réel. Chaque article cite ses sources et distingue le prototype du service en production.
La démonstration comprend 13 millions de lignes de code Lean et environ 29 500 théorèmes intermédiaires.
Melody Flip est un plug-in pour stations audionumériques, pas un générateur de chansons en un clic.
Il peut retoucher des images, organiser des albums et transformer des photos de prospectus de concerts en rendez-vous de calendrier.
Le jeu de données WORLD 2026 d’AGIBOT couvre 14 tâches industrielles et domestiques.
Des chercheurs ont testé extra trees et gradient boosting sur le jeu de données MIMIC-III.
Geonho Lee et Min-Soo Kim l’ont conçu comme une extension PostgreSQL pour corriger des requêtes de manière ciblée.
Le niveau « xhigh », disponible publiquement, atteint 61 points dans l’Intelligence Index.
Il vise le génie logiciel sur des tâches longues, les agents intelligents capables d’appeler des outils en continu et les workflows complexes en entreprise.
Anglian Water a signé une prolongation de deux ans avec Samotics pour le suivi Sam4 de plus de 250 actifs d'eau potable.
Gmail, Docs et Notes peuvent être parcourus, résumés et alimentés par la voix naturelle.
Des chercheurs du MIT Sloan et de Johns Hopkins ont testé des équipes humain-IA personnalisées avec plus de 1 200 participants américains.
Slackbot peut utiliser le contexte des conversations et de Canvas pour créer des PDF, des images et des vidéos.
ACE-Ego-Hand est conçu pour les vidéos en vue subjective filmées par un casque : il analyse une séquence entière en une fois et restitue la pose, la forme et la position 3D métrique des deux mains.
Le lancement concerne d’abord les abonnés payants à Google AI sur Android et iOS.
Des chercheurs de l’Université de Southampton ont testé la session DISCERN-AI auprès de plus de 600 participants.
Dans un système de prise de rendez-vous fondé sur l’apprentissage automatique, les patients noirs ont attendu environ 30 % plus longtemps que les autres.
JanAI a interrogé 797 enseignants dans l’Uttar Pradesh, le Karnataka, le Jharkhand et le Maharashtra.
Gmail Live trouve des informations dans les fils d’e-mails, répond aux questions de suivi et affiche les messages sources associés dans une transcription en direct.