Railway, plateforme cloud agent-native, atteint 3M d'utilisateurs avec 100K inscriptions/semaine. Infrastructure sur serveurs dédiés, dépenses agents de code >$200K, suppression des pull requests traditionnelles.
OpenAI annonce qu'un modèle de raisonnement général a découvert un contre-exemple à la conjecture d'Erdős sur les distances unitaires en géométrie discrète. Le modèle a construit des ensembles de points planaires avec plus de n^{1+δ} distances unitaires, réfutant la borne supérieure conjecturée. La preuve a été vérifiée par un pipeline d'évaluation IA puis révisée par des mathématiciens.
Comparaison de 5 modèles (Opus 4.7, GPT-5, Sonnet 4.6, DeepSeek V4 Pro, Hunyuan Hy3) sur 8 tâches de refactoring Python avec MCP. Écart de qualité <2% (96-99% de succès au premier appel) mais différence de coût 10x : Opus $15, GPT-5 $11, Sonnet $4, DeepSeek <$2, Hunyuan $1.50.
Google AI Studio génère désormais des applications Android natives à partir de prompts en Kotlin avec Jetpack Compose, testables dans un émulateur navigateur. Pour les apps utilitaires simples (trackers, listes), le Play Store pourrait devenir moins pertinent. Apple bloque les apps générées par IA.
Algorithme RL personnalisé NOML pour le contrôle de vol continu en 6-DoF. Combine TD3 avec politique d'ancrage (action sûre fixe), acteur hiérarchique (3 MLPs indépendants pitch→roll→reste) et apprentissage miroir (symétrie gauche-droite). Résout l'instabilité oscillatoire du TD3 vanilla. Code open-source Apache 2.0.
Google DeepMind intègre son modèle monde Genie 3 aux données Street View : les utilisateurs placent une épingle sur une carte et explorent un monde généré par IA basé sur un lieu réel. Street View devient ressource d'entraînement stratégique pour les agents IA et robots.
Lance est un format lakehouse ouvert pour l'IA multimodale. Convertit depuis Parquet en 2 lignes de code avec accès aléatoire 100x plus rapide, indexation vectorielle et versioning. Compatible Pandas, DuckDB, Polars, PyArrow, PyTorch.
Gemini 3.5 Flash coûte 5,5 fois plus cher que son prédécesseur en benchmark. Sur les tâches d'agents, le coût total dépasse Gemini 3.1 Pro de 75% en raison de plus d'étapes d'interaction. Google suit la tendance générale : les modèles IA deviennent plus chers chez Anthropic et OpenAI aussi.
Grok Build 0.1, modèle de codage bêta entraîné pour le codage agentique, est désormais disponible sur Vercel AI Gateway. Le modèle fonctionne avec effort de raisonnement non configurable et sans mode non-raisonnement. Vercel AI Gateway offre une API unifiée pour appeler les modèles, suivre l'utilisation et les coûts, avec routage intelligent et retries automatiques.
Des garde-fous (guardrails) améliorent les performances d'un modèle 8B de 53% à 99% sur des tâches agentiques, selon un preprint ACM CAIS '26. La technique renforce le contrôle et la fiabilité des agents IA.
Article arXiv proposant un cadre adaptatif pour améliorer la prédiction spatiotemporelle en harmonisant les représentations spatiales et temporelles. Utilise la compression dimensionnelle par plongement matriciel de faible rang et un horizon temporel étendu. Démontre des gains substantiels sur trafic urbain, météorologie et épidémiologie. Code disponible sur GitHub.
MAFIG, un framework multi-agent, utilise plusieurs agents LLM et des évaluateurs spécialisés pour générer des items de compréhension de lecture avec contrôle de difficulté robuste. La méthode construit des séquences de contraintes de features produisant une difficulté monotoniquement croissante, surpassant les approches single-agent existantes.
Un article de position critique les méthodes d'Uncertainty Quantification (UQ) pour LLMs, arguant qu'elles ne font que du clustering non supervisé. Ces approches quantifient la cohérence interne des générations plutôt que leur exactitude externe, échouant à détecter les « hallucinations confiantes ». L'auteur propose un changement de paradigme vers une UQ ancrée dans la vérité objective.
Nouvelle méthode RALC pour calibrer les expressions linguistiques de confiance dans les LLM. Modélise la confiance comme distribution de probabilités perçues, introduit la métrique Faithfulness Divergence (FD), et utilise la réécriture augmentée par récupération. Améliore la fidélité jusqu'à 66% et la calibration jusqu'à 58% sur trois benchmarks QA et cinq familles de modèles.
EmbGen est un pipeline de génération de données synthétiques qui décompose un corpus en paires entité-description, les réassemble via similarité d'embeddings, puis génère des paires QA avec sampling par proximité et clusters spécialisés. Sur trois datasets, EmbGen améliore la précision binaire de 12,5% (5M tokens) à 88,9% (20M tokens) sur le dataset le plus hétérogène comparé aux baselines.
AgentNLQ, une méthode multi-agent, atteint 78,1% de précision sémantique sur le benchmark BIRD pour convertir le langage naturel en SQL. Le système utilise un orchestrateur optimisé pour planifier, réfléchir et auto-corriger les requêtes, enrichit le schéma avec des métadonnées contextuelles, et intègre les règles métier fournies par l'utilisateur.
Papier arXiv proposant LONSREX, un pipeline de synthèse de données pour affiner les LLM en détection de désinformation explicable. Les auteurs identifient deux problèmes : les rationales filtrées sur label binaire sont insuffisantes, et les LLM forts produisent des rationales verbeux inutiles. LONSREX introduit une métrique évaluant la nécessité et suffisance de chaque étape de vérification.
Learn-by-Wire Guard (LBW-Guard) est une couche de gouvernance autonome qui supervise l'optimiseur AdamW pendant l'entraînement de modèles de langage. Testé sur Qwen2.5-7B avec WikiText-103, LBW-Guard réduit la perplexité finale de 13.21 à 10.74 (−18.7%) et accélère l'entraînement de 1.10×. Sous stress de learning-rate extrême (LR=3e-3), AdamW échoue (perplexité 1885.24) tandis que LBW-Guard reste stable (11.57).
MOTAB, une nouvelle méthode de distillation du raisonnement LLM, résout le problème des biais d'exposition dual en surveillant dynamiquement la génération de l'étudiant et en revenant en arrière quand elle s'écarte d'une limite de sécurité adaptative. Testé sur LIMO-v2 et AceReason, MOTAB améliore les performances de ~3% en atténuant les biais d'exposition classiques et inverses.
VCR est un framework auto-supervisé pour l'apprentissage de représentations robustes à partir de capteurs portables incomplets. Il utilise un tokenizer orthogonal pour séparer les sémantiques partagées des résidus spécifiques à chaque modalité, et un backbone mixture-of-experts conscient des absences. VCR améliore les performances en santé numérique même avec modalités manquantes simples ou multiples.
Étude empirique de l'impact de la quantification (2-6 bits) sur 8 LLMs évalués sur MMLU-Pro, CRUXEval et MuSR. Résultats : précision 8-bit (Q8_0) optimale, quantification agressive (Q2_K) acceptable mais avec pertes variables selon modèles/tâches. Modèles 7-9B offrent meilleur équilibre efficacité/performance.
StampFormer est un modèle deep learning multimodal qui prédit les champs physiques en emboutissage de tôles en fusionnant géométrie et propriétés matériaux. Testé sur panneaux acier/aluminium, il atteint <8.5% d'erreur relative en <1 seconde, remplaçant les analyses FEA coûteuses.
Système d'alerte de sécurité pour piétons aux carrefours urbains utilisant un jumeau numérique couplé à des capteurs (caméra, UWB) et modélisation prédictive de trajectoires. Déployé sur le testbed COSMOS à New York, le système génère des alertes en temps réel via edge-cloud computing et réduit significativement les temps de réaction des usagers vulnérables.
Article théorique sur l'élicitation efficace des désaccords collectifs entre votants. Propose la matrice de pluralité, généralisation des comparaisons par paires, pour identifier l'information préférentielle minimale nécessaire au calcul de mesures de désaccord. Montre que certaines mesures (variance de rang, divisivité) requièrent des sous-ensembles de taille 3, pas seulement des paires.
Étude systématique de 77 travaux sur les agents LLM en trading financier. Seuls 19 études satisfont les critères minimum (action + évaluation en boucle fermée). Résultat clé : absence de protocoles comparables, reproducibilité insuffisante (aucune étude R3), et manque de documentation sur les coûts de transaction et la gestion de l'univers.
Framework formel pour décrire les capacités des graphes de connaissances vis-à-vis des agents. Étend les standards VoID/DCAT avec l'Agentic Affordance Profile (AAP) pour spécifier ce qu'un agent peut prouver, les hypothèses de fermeture et l'alignement vocabulaire. Identifie les divergences entre schéma et régime d'inférence comme source d'échecs épistémiques.
Formalisation de l'étalonnage de la confiance pour les agents autonomes via apprentissage de préférences. Un gateway utilise un processus gaussien pour modéliser la tolérance au risque humain à partir de retours binaires (approuver/refuser), et escalade les décisions incertaines à l'humain. Approche structurée comme optimisation bayésienne préférentielle.
Nouveaux estimateurs non-paramétriques (KM-ARL et KM-ADD) pour évaluer les détecteurs de changement de point rapide sur des séquences courtes et irrégulières. Utilise l'analogie avec l'analyse de survie pour modéliser les probabilités de détection. Code Python disponible.
BLINKG est un benchmark pour évaluer la capacité des LLM à générer des graphes de connaissances à partir de sources hétérogènes. Les tests sur plusieurs LLM montrent des résultats prometteurs mais limités en scénarios complexes. Le benchmark définit des exigences pour automatiser la construction de KG.
Étude arXiv évaluant l'intégration des LLM dans la recherche par sondage sur la préparation aux catastrophes. Framework à 5 étapes testé sur 946 résidents de Floride (ouragan Milton 2024). Le modèle A-TLM proposé surpasse les méthodes classiques d'imputation (RMSE 1.439 vs 1.496) en conditions MNAR avec structure théorique PMT.
Fully Looped Transformer résout l'instabilité d'entraînement des modèles loopés en réutilisant les blocs Transformer. Deux modifications sans paramètres supplémentaires : distribution inter-loop et injection d'attention. Stable jusqu'à 12 itérations, améliore la performance de 13,2% et permet d'ajuster le calcul à l'inférence.
CPSS (Constraint Projection Safety Shield) convertit les budgets de sécurité cumulatifs en seuils de contrôle adaptatifs au niveau des états pour l'apprentissage par renforcement non-stationnaire. Le mécanisme ajuste dynamiquement les contraintes de risque selon le contexte, garantit la satisfaction des seuils par état et réduit les violations de sécurité dans des scénarios de fusion autoroutière.
IMLJD est un dataset de 3,613 jugements indiens couvrant les litiges matrimoniaux (IPC 498A, loi sur la protection des femmes contre la violence domestique, CrPC 482). Données de la Cour suprême (2000-2024, 1,474 cas) et de la Haute Cour du Karnataka (2018-2024, 2,139 cas). Taux d'annulation : 57,6% à la Cour suprême vs 39,7% au Karnataka. Dataset, code et graphe de connaissances publiés en open source.
ReElicit est un framework d'optimisation bayésienne pour tuner les system prompts avec feedback agrégé uniquement. Un LLM élicite dynamiquement un espace de features compact et interprétable, puis un processus Gaussien sélectionne des vecteurs cibles optimisés en prompts déployables. Sur 10 tâches avec budget de 30 évaluations, ReElicit surpasse les baselines d'optimisation de prompts.
Étude comparative de Kolmogorov-Arnold Networks (KANs) vs MLPs pour la reconnaissance d'activité humaine (HAR) basée sur IMU. Les KANs excellent sur données propres mais échouent sur données bruitées réelles. L'architecture hybride KAN-MLP proposée atteint +5,33% de F1-score macro sur 8 datasets publics, surpassant les baselines pures.
Prototype de prévision du temps d'attente aux urgences utilisant des modèles de séries temporelles (DLinear, NLinear) sur données hospitalières réelles. Intègre météo, jours fériés et événements locaux. Horizons de prévision : 6, 8, 10, 12 et 24 heures. Application MLOps développée pour déploiement opérationnel.
GRAM (Generative Recursive reAsoning Models) étend les modèles de raisonnement récursif déterministes en introduisant des trajectoires latentes stochastiques multiples. Entraîné par inférence variationnelle amortie, GRAM améliore les baselines sur tâches de raisonnement structuré et satisfaction de contraintes multi-solutions, avec capacité de génération inconditionnelle.
Spectral Gradient Surgery (SGS) améliore la distillation de dataset pour la généralisation hors-distribution. La méthode sépare les composantes discriminatives de classe des informations spécifiques au domaine dans les données synthétiques compressées, via analyse spectrale des gradients inter-domaines. SGS s'intègre aux méthodes Distribution Matching existantes.
SIGMA est un framework multi-agent basé sur graphes signés qui modélise explicitement les relations de confiance, conflit et neutralité entre agents LLM. Via passage de messages conscient des conflits et agrégation pondérée, il supprime les signaux contradictoires et renforce les agents fiables. Tests sur 6 benchmarks montrent des gains de précision et résilience aux conflits.
Nouvelle méthode de compression de transformers basée sur le découplage par B-splines. L'approche R-CMTF-BSD utilise une factorisation matricielle-tensorielle contrainte pour réduire les paramètres tout en maintenant la précision. Validée sur Vision Transformer et Swin Transformer avec réductions substantielles de paramètres.