Microsoft research

Preuve d'une conjecture ouverte depuis 31 ans, confirmée par des preuves indépendantes parallèles et une formalisation Lean 4, qui rend inconditionnels de nombreux résultats dépendants de KLS.

Microsoft Research présente Flint-interactive, un langage qui permet aux agents IA de générer des graphiques explorables : clic, filtrage, zoom, surbrillance et interactions entre graphiques.

Un chercheur de Microsoft et un collaborateur résolvent la conjecture KLS, problème central de la géométrie en grande dimension, grâce à une recherche pilotée par des humains et assistée par des agents IA.

Microsoft Research présente Magnetar, un système de preuves à divulgation nulle de connaissance pour programmes Rust, Go ou C, 10 à 39 fois plus rapide que les systèmes comparables précédents.

Microsoft Research présente StudentSim, un système qui entraîne des simulateurs d'élèves personnalisés pour évaluer et améliorer des tuteurs IA avant tout test avec de vrais apprenants.

Microsoft Research Asia propose une approche où le même harnais d'agent utilisé en production participe directement à l'apprentissage par renforcement, sans réimplémentation coûteuse.

Un modèle du monde multimodal de la biologie couplé à des outils scientifiques, déjà utilisé pour prioriser des composés anticancéreux avec le Broad Institute.

Microsoft Research présente Flint, un langage déclaratif permettant aux agents IA de générer des graphiques soignés à partir de spécifications simples.

Validation expérimentale, inférence accélérée et nouveau modèle multi-tâches : MatterSim franchit plusieurs étapes clés en science des matériaux.

Microsoft Research publie un benchmark évaluant la capacité des agents IA à négocier efficacement pour leurs utilisateurs dans des contextes sociaux réalistes.