AnswersPublished18 sources
Tsinghua lancerer værktøj til formeljagt og test af AI’s videnskabelige forståelse
SRHarness er et runtime værktøj, der hjælper AI agenter med at analysere data, afprøve hypoteser og søge efter formler. MechBench skelner mellem at finde en regel i observerede data og at afdække den mekanisme, der skaber reglen.
Udgivet afRedigeret med GPT-6 LunaBilleder genereret med GPT Image 2
Research answer
Key takeaways
- SRHarness er et runtime værktøj, der hjælper AI agenter med at analysere data, afprøve hypoteser og søge efter formler.
- MechBench skelner mellem at finde en regel i observerede data og at afdække den mekanisme, der skaber reglen.
- På MechBench’s kernesæt fandt Codex med GPT 5.6 sol love i 35,00 procent af tilfældene, men mekanismer i 13,75 procent.
AI Prompt
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
Forskere ved Data Science and Intelligence Lab på Tsinghua-universitetets institut for elektronikteknik præsenterede to bidrag til AI og videnskab den 14. oktober 2026: SRHarness, et værktøj til AI-agenters søgning efter matematiske formler, og MechBench, en test af, om agenter også kan finde mekanismerne bag formlerne. 6
8
10
Forskellen kan beskrives med astronomi: Keplers love fortæller, hvordan planeter bevæger sig; Newtons teori forklarer, hvorfor de gør det. Tsinghua-projekterne retter sig mod hver sin del af den opgave: først at finde mønstre i observationer, dernæst at undersøge, om AI kan forklare, hvad der frembringer dem. 8
Fra data til formler med SRHarness
SRHarness er et runtime-værktøj til såkaldt symbolsk regression: at finde en matematisk formel, som beskriver data. Det giver sprogmodelbaserede agenter mulighed for at forberede videnskabelige data, bruge analyse- og tilpasningsværktøjer og holde styr på afprøvede hypoteser, mens de søger efter fortolkelige formler. 9
Forskerne rapporterer resultater på LSR-Transform med DeepSeek-v4-flash-0731. Når de videnskabelige beskrivelser og variablernes betydning er med, opnår SRHarness en symbolsk nøjagtighed på 93,69 procent mod 62,16 procent for SR-Scientist. 1
| Test | SRHarness | SR-Scientist | Codex |
|---|---|---|---|
| Med videnskabelige beskrivelser og variabelbetydninger | 93,69 % |
62,16 % |
— |
| Uden beskrivelser og variabelbetydninger | 72,97 % |
39,64 % |
20,72 % med samme DeepSeek-model |
På den anonymiserede test var SRHarness’ resultat desuden på niveau med Codex med GPT-5.5, oplyser forskerne. Der er ikke angivet en præcis procentsats for den sammenligning i det tilgængelige materiale.
SRHarness’ kode er tilgængelig på GitHub. 9 De tilgængelige kilder fastslår ikke et konkret PyPI-pakkenavn eller en adresse til en onlinedemo.
MechBench tester, om AI kan finde forklaringen
At finde en formel, der passer til observationerne, er ikke det samme som at finde den skjulte mekanisme, der skaber dem. MechBench er udviklet til at holde de to opgaver adskilt og måle, om AI-agenter kan gå fra at beskrive en sammenhæng til at afdække, hvad der ligger bag. 2
15
På benchmarkens kernesæt fandt Codex med GPT-5.6-sol de observerede love i 35,00 procent af tilfældene, men de underliggende mekanismer i kun 13,75 procent. 2
4
Forskellen peger på en vigtig begrænsning: På denne test er det lettere for AI at genfinde mønstre end at identificere den mekanisme, der skaber dem. Resultaterne viser derfor ikke i sig selv, at AI har opnået en dyb forståelse af videnskab. MechBench’ bidrag er snarere at måle formelfinding og mekanismeopdagelse hver for sig, så fremskridt på det ene område ikke forveksles med fremskridt på det andet. 2
4
Studio Global AI
Continue your research
This page includes a source-backed answer you can continue inside Studio Global.
People also ask
What is the short answer to "Tsinghua lancerer værktøj til formeljagt og test af AI’s videnskabelige forståelse"?
SRHarness er et runtime værktøj, der hjælper AI agenter med at analysere data, afprøve hypoteser og søge efter formler.
What are the key points to validate first?
SRHarness er et runtime værktøj, der hjælper AI agenter med at analysere data, afprøve hypoteser og søge efter formler. MechBench skelner mellem at finde en regel i observerede data og at afdække den mekanisme, der skaber reglen.
What should I do next in practice?
På MechBench’s kernesæt fandt Codex med GPT 5.6 sol love i 35,00 procent af tilfældene, men mekanismer i 13,75 procent.