AnswersPublished18 sources
Tsinghua lanserar verktyg för AI-forskning – och testar vad systemen faktiskt förstår
SRHarness är en körmiljö för AI agenter som söker efter matematiska formler i vetenskapliga data. MechBench prövar en svårare fråga: kan en AI hitta den underliggande mekanismen, inte bara ett samband som passar observationerna?
Publicerad avRedigerad med GPT-6 LunaBilder genererade med GPT Image 2
Research answer
Key takeaways
- SRHarness är en körmiljö för AI agenter som söker efter matematiska formler i vetenskapliga data.
- MechBench prövar en svårare fråga: kan en AI hitta den underliggande mekanismen, inte bara ett samband som passar observationerna?
- I ett test återfann Codex med GPT 5.6 sol lagar i 35 procent av fallen, 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
Forskare vid Tsinghuauniversitetets Data Science and Intelligence Lab presenterade den 14 oktober 2026 två verktyg för AI inom vetenskap: SRHarness, en körmiljö för agenter som söker efter matematiska formler i data, och MechBench, ett test som undersöker om AI kan återfinna mekanismerna bakom formlerna. 6
8
10
Skillnaden kan beskrivas med Kepler och Newton: Keplers lagar fångar hur planeter rör sig, medan Newtons gravitationsteori försöker förklara varför. På motsvarande sätt är det en sak för ett AI-system att hitta ett mönster i mätdata – en annan att identifiera mekanismen som ger upphov till mönstret. 6
SRHarness hjälper agenter att söka efter formler
SRHarness är en domänspecifik körmiljö för så kallad agentbaserad symbolisk regression. Den låter språkmodeller förbereda vetenskapliga data, använda analys- och anpassningsverktyg, spara utvärderade hypoteser och förfina begripliga formler under längre sökningar. 9
På testet LSR-Transform rapporterar forskarna en symbolisk träffsäkerhet på 93,69 procent med modellen DeepSeek-v4-flash-0731. Som jämförelse nådde SR-Scientist 62,16 procent med samma modellbas. 1
När testet tog bort vetenskapliga beskrivningar och betydelsen av variablerna sjönk SRHarness resultat till 72,97 procent. SR-Scientist nådde då 39,64 procent, medan Codex med samma DeepSeek-modellbas fick 20,72 procent. 1
10
Forskarna beskriver SRHarness resultat på det anonymiserade testet som jämförbart med Codex med GPT-5.5, men det tillgängliga underlaget anger ingen exakt procentsiffra för den jämförelsen.
MechBench skiljer mellan att hitta och att förklara
En formel som passar observationerna behöver inte i sig visa att systemet förstått vad som orsakar dem. MechBench är utformat för att skilja mellan att återskapa en observerad lag och att hitta den bakomliggande mekanismen. 2
15
På benchmarkens kärnuppsättning återskapade Codex med GPT-5.6-sol lagar i 35,00 procent av fallen, men mekanismer i bara 13,75 procent. 4
6
Resultatet pekar på ett tydligt avstånd mellan att upptäcka regelbundenheter och att förklara hur de uppstår – åtminstone i det här testet. MechBench gör det möjligt att mäta förmågorna var för sig, i stället för att behandla en träffsäker formel som bevis på vetenskaplig förståelse. 4
6
SRHarness finns som ett offentligt GitHub-projekt under tsinghua-fib-lab/SRHarness. 9
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 lanserar verktyg för AI-forskning – och testar vad systemen faktiskt förstår"?
SRHarness är en körmiljö för AI agenter som söker efter matematiska formler i vetenskapliga data.
What are the key points to validate first?
SRHarness är en körmiljö för AI agenter som söker efter matematiska formler i vetenskapliga data. MechBench prövar en svårare fråga: kan en AI hitta den underliggande mekanismen, inte bara ett samband som passar observationerna?
What should I do next in practice?
I ett test återfann Codex med GPT 5.6 sol lagar i 35 procent av fallen, men mekanismer i 13,75 procent.