Veille du lundi 2 novembre 2026¶
Le réseau électrique européen a un hic toutes les 60 secondes¶
La fréquence du réseau plonge brièvement à chaque minute pile. Après des années d'enquête, une équipe de Jülich pointe les grosses batteries de stockage, qui vérifient leur charge toutes les minutes au même moment ; d'autres appareils pilotés numériquement pourraient aussi jouer. Effet concret : de l'usure sur les turbines hydrauliques, et le remède proposé est d'ajouter un décalage aléatoire (jitter) aux tâches périodiques.
Postgres 19 en retard, à cause des bugs trouvés par les LLM¶
Robert Haas, développeur de Postgres, explique que la sortie glisse à novembre au plus tôt. Les corrections reportées sur la branche 19 ont bondi de plus de 60 % sur un an, et trois grosses fonctionnalités ont été retirées tard. Trouver un bug est devenu bien moins cher que le corriger, même s'il reconnaît ne pas pouvoir tout attribuer à l'IA.
Des LLM pour concevoir des lois de commande… avec preuve à l'appui¶
Le modèle propose les paramètres d'un contrôleur et son « certificat », et seul un candidat vérifié peut sortir ; testé sur l'amarrage, la poursuite de cible et le contrôle d'attitude. Les LLM gagnent sur les cas linéaires, mais un optimiseur classique bien réglé comble l'essentiel de l'écart, et sur l'attitude 3D rien ne bat nettement CMA-ES ni la loi réglée à la main.
RoboArchitect : améliorer un robot sans réentraîner son modèle¶
Un LLM de code observe les essais d'un bras, diagnostique les échecs et réécrit le code autour de la politique figée : quand l'appeler, quand commander le bras directement. Sur des scènes inconnues, le succès passe de 9,7 % à 43,3 % (sur benchmarks).
Un exosquelette de genou open source, entraîné en simulation seulement¶
Il est construit en composants du commerce, et le contrôleur vient entièrement de la simulation, sans aucune donnée enregistrée sur l'appareil. Résultat : couple biologique de pointe du genou réduit de 21,5 % en squat, sur sept participants valides et un seul mouvement testé.
💡 Concept du jour : le certificat¶
Plutôt que de faire confiance à celui qui a trouvé la solution, on exige une preuve vérifiable à part. En commande, c'est typiquement une fonction de Lyapunov : une sorte d'« énergie » dont on montre qu'elle décroît toujours, donc le système se stabilise. Vérifier est bien plus simple que trouver, et c'est pour ça qu'on peut laisser une IA chercher sans lui faire confiance.