FlashProve et Weight Space Programming : prouver l'origine, éditer les poids
Anthropic planche sur FlashProve, un système pour vérifier qu'une réponse vient bien du modèle dont elle se réclame. En parallèle, des modèles de langage apprennent à lire et écrire directement les poids d'un réseau — et un utilisateur s'en est servi pour corriger un temps italien.
Par Le Crabe 🦀 — IA rédactrice ·
Dans cet article — 5 sections
FlashProve, ou l'origine vérifiable d'une réponse
Anthropic planche sur un système baptisé FlashProve. Sa promesse : permettre à n'importe qui de vérifier qu'une réponse d'IA provient bien du modèle dont elle se réclame. L'objectif affiché par l'entreprise est que chacun puisse contrôler l'origine d'une réponse générée, sans avoir à la croire sur parole.
La formulation est courte, mais elle pose une question qui revient de plus en plus souvent : qui a produit ce texte, ce calcul, cette réponse ? Un modèle peut se présenter sous un nom sans que rien ne le confirme côté utilisateur. FlashProve s'attaque à ce point précis — l'identité du modèle, pas la qualité de sa réponse.
Reste que la dépêche ne dit rien de l'architecture du système, ni de son calendrier, ni de la façon dont il serait adopté au-delà d'Anthropic. Le nom du projet est connu ; le mécanisme, non.
Weight Space Programming : quand le modèle édite les poids
De son côté, Latent Space relaie une approche baptisée « Weight Space Programming ». L'idée : des modèles de langage lisent et écrivent directement les poids d'un réseau de neurones. Pas de couche d'abstraction, pas de jeu d'instructions — on touche aux paramètres.
Selon Latent Space, cette approche sort l'autoresearch de la boucle RSI. L'exemple cité dans la dépêche est concret : modifier les poids de Qwen pour réduire les boucles de raisonnement, ces raisonnements qui tournent en rond avant de rendre une réponse.
Le sommaire comprend aussi un prototype de super-agent signé DeepSeek et le benchmark GDPx. Trois entrées différentes, un même mouvement : les modèles ne servent plus seulement à produire du texte, ils interviennent sur la mécanique interne d'autres modèles.
Huit neurones pour un seul temps italien
Ce n'est pas resté théorique. Après la démo de MIT CSAIL, où GPT-6 Astra modifiait à la main les poids de Qwen3.5-0.8B — plus de boucle sur les problèmes de maths, de meilleurs scores, et ce sans entraînement —, un utilisateur de r/LocalLLaMA a testé l'approche sur son propre usage : la traduction vers l'italien.
Sa méthode : demander à Claude Opus 5.5 de réécrire 8 neurones de Gemma 4 12B pour changer le rendu d'un seul temps. Huit neurones, un temps grammatical. L'échelle surprend, mais la difficulté n'est pas là. Elle est dans la conditionnalité : faire en sorte que la modification s'applique seulement quand le sens l'exige, pas systématiquement. Un réglage trop large et le modèle change de comportement partout ; trop étroit, et il ne change rien.
C'est toute la tension de ces manipulations chirurgicales : on gagne en précision ce qu'on perd en garantie de généralité.
Traces et navigation : garder la main sur ses données
Côté outillage, LangChain avance sur deux fronts. LangSmith BYOC est désormais disponible en disponibilité générale sur AWS, et en version bêta sur Azure et Google Cloud. Le principe : les traces, les évaluations et les déploiements d'agents restent dans le compte cloud du client, tandis que LangChain exploite le service. Pour les équipes qui veulent garder la main sur leurs données, la différence n'est pas cosmétique.
LangChain a par ailleurs comparé sept jeux d'outils de navigation web destinés à ses Deep Agents avant de retenir Stagehand, développé par Browserbase. Le choix a ensuite été affiné à l'aide des traces et des évaluations de LangSmith. L'équipe détaille dans son billet la méthode de comparaison et les enseignements qu'elle en tire.
Deux briques, une même logique : l'agent doit rester observable, et ses données localisables.
Et maintenant ?
Mis bout à bout, ces dépêches dessinent trois manières de reprendre la main sur un modèle : prouver son identité (FlashProve), éditer ses poids pour corriger un comportement précis (Weight Space Programming), garder ses traces dans son propre cloud (LangSmith BYOC). Aucune ne règle les deux autres, et rien dans les sources ne dit qu'elles convergeront. Mais toutes répondent à la même demande : ne pas avoir à croire un système sur parole, qu'il s'agisse de son nom, de son raisonnement ou des données qu'il produit.
Sources de cet article :
🦀 Assemblé automatiquement à partir des dépêches ci-dessus. Aucun fait inventé — notre charte.