RéponsesPublié17 sources
À Tsinghua, deux outils pour distinguer les lois scientifiques de leurs causes
Présentés par des chercheurs de l’université Tsinghua le 14 octobre 2026, SRHarness est un environnement de recherche de formules et MechBench un test de découverte des mécanismes sous jacents. Avec DeepSeek v4 flash 0731, SRHarness obtient 93,69 % de récupération symbolique sur LSR Transform, contre 62,16 % pour SR...
Publié parModifié avec GPT-6 LunaImages générées avec GPT Image 2
Réponse de recherche
Points clés à retenir
- Présentés par des chercheurs de l’université Tsinghua le 14 octobre 2026, SRHarness est un environnement de recherche de formules et MechBench un test de découverte des mécanismes sous jacents.
- Avec DeepSeek v4 flash 0731, SRHarness obtient 93,69 % de récupération symbolique sur LSR Transform, contre 62,16 % pour SR Scientist.
- Sur la variante anonymisée, où les descriptions scientifiques et le sens des variables sont retirés, SRHarness atteint 72,97 %.
Prompt IA
openai.comCreate a landscape editorial hero image for this Studio Global article: What did researchers at Tsinghua University’s Data Science and Intelligence Lab in the Department of Electronic Engineering introduce with S. Article summary: Tsinghua University’s Data Science and Intelligence Lab introduced two complementary contributions: SRHarness, a runtime for agents that discover mathematical formulas from data, and MechBench, a benchmark testing whethe. Topic tags: general web, openai, chatgpt, llm, agents. Style: premium digital editorial illustration, source-backed research mood, clean composition, high detail, modern web publication hero. Use reference image context only for broad subject, composition, and topical grounding; do not copy the exact image. Avoid: logos, brand marks, copyrighted characters, real person likenesses, fake screenshots, UI text, readable text, watermarks, charts wi
Des chercheurs du laboratoire Data Science and Intelligence, au département de génie électronique de l’université Tsinghua, ont présenté deux projets complémentaires : SRHarness, un environnement destiné aux agents d’IA qui cherchent des formules dans des données, et MechBench, un benchmark qui teste s’ils peuvent aussi retrouver les mécanismes à l’origine de ces formules. Leur présentation a été rapportée le 14 octobre 2026. 10
16
L’idée centrale : repérer une régularité ne revient pas à expliquer sa cause. C’est la différence illustrée par les lois orbitales de Kepler, qui décrivent le mouvement des planètes, et la gravitation de Newton, qui en propose une explication. 11
Un environnement pour chercher des formules
SRHarness fournit aux agents fondés sur des modèles de langage des outils d’analyse et d’ajustement qu’ils peuvent combiner. Ils peuvent préparer les données scientifiques, tester des hypothèses, conserver les résultats évalués et améliorer progressivement des formules interprétables au fil de recherches prolongées. 9
Les résultats rapportés sur le test LSR-Transform mesurent la capacité à retrouver exactement des expressions symboliques. Avec le même modèle de base, DeepSeek-v4-flash-0731, SRHarness atteint 93,69 %, contre 62,16 % pour SR-Scientist. 1
| Condition du test LSR-Transform | SRHarness | SR-Scientist | Codex |
|---|---|---|---|
| Descriptions scientifiques et sens des variables conservés | 93,69 % |
62,16 % |
Chiffre non établi dans les éléments disponibles |
| Descriptions et sens des variables retirés | 72,97 % |
39,64 % |
20,72 % avec DeepSeek-v4-flash-0731 |
La seconde condition anonymise les problèmes : l’agent ne peut plus s’appuyer sur les descriptions scientifiques ni sur la signification des variables. Les auteurs indiquent que le résultat de SRHarness est comparable à celui de Codex avec GPT-5.5, sans que les éléments disponibles précisent le taux exact de GPT-5.5.
Ces scores portent sur la récupération de formules, pas sur la découverte des mécanismes physiques qui les expliquent. 1
8
Mesurer l’écart entre loi et mécanisme
MechBench s’intéresse à cette étape supplémentaire : retrouver non seulement une relation observable entre entrées et sorties, mais aussi le mécanisme caché qui la produit. 15 Les informations disponibles décrivent cette distinction, mais ne permettent pas de détailler avec précision les modalités des tests portant sur les quantités internes ou le traitement des mécanismes équivalents du point de vue des observations.
Sur le jeu de base de MechBench, Codex associé à GPT-5.6-sol retrouve les lois dans 35 % des cas, mais les mécanismes dans seulement 13,75 %. 8
11 L’écart invite à distinguer deux réussites souvent confondues : reproduire un motif observé et en retrouver l’explication sous-jacente.
MechBench vise ainsi à évaluer ces capacités séparément. Une bonne performance en ajustement de formules ne suffit pas, à elle seule, à démontrer qu’un agent comprend les mécanismes d’un phénomène. 8
Le dépôt GitHub de SRHarness est référencé sous le nom tsinghua-fib-lab/SRHarness. 9 Les éléments disponibles ici ne permettent pas de confirmer le nom d’un paquet PyPI ni l’adresse d’une démonstration en ligne.
Studio Global AI
Continuez vos recherches
Cette page comprend une réponse basée sur la source que vous pouvez continuer dans Studio Global.
Les gens demandent aussi
Quelle est la réponse courte à « À Tsinghua, deux outils pour distinguer les lois scientifiques de leurs causes » ?
Présentés par des chercheurs de l’université Tsinghua le 14 octobre 2026, SRHarness est un environnement de recherche de formules et MechBench un test de découverte des mécanismes sous jacents.
Quels sont les points clés à valider en premier ?
Présentés par des chercheurs de l’université Tsinghua le 14 octobre 2026, SRHarness est un environnement de recherche de formules et MechBench un test de découverte des mécanismes sous jacents. Avec DeepSeek v4 flash 0731, SRHarness obtient 93,69 % de récupération symbolique sur LSR Transform, contre 62,16 % pour SR Scientist.
Que dois-je faire ensuite en pratique ?
Sur la variante anonymisée, où les descriptions scientifiques et le sens des variables sont retirés, SRHarness atteint 72,97 %.