AnswersPublished17 sources
AI kan finne en formel – men vet den hvorfor?
SRHarness hjelper AI agenter med å lete etter matematiske formler i vitenskapelige data, mens MechBench undersøker om de også kan finne mekanismene bak formlene. Med DeepSeek v4 flash 0731 fikk SRHarness 93,69 prosent symbolsk nøyaktighet på LSR Transform, og 72,97 prosent da beskrivelser og variabelbetydninger var...
Publisert avRedigert med GPT-6 LunaBilder generert med GPT Image 2
Research answer
Key takeaways
- SRHarness hjelper AI agenter med å lete etter matematiske formler i vitenskapelige data, mens MechBench undersøker om de også kan finne mekanismene bak formlene.
- Med DeepSeek v4 flash 0731 fikk SRHarness 93,69 prosent symbolsk nøyaktighet på LSR Transform, og 72,97 prosent da beskrivelser og variabelbetydninger var fjernet.
- På MechBench kjernesettet fant Codex med GPT 5.6 sol lover i 35 prosent av tilfellene, men mekanismer i bare 13,75 prosent.
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 ved Tsinghua-universitetets elektronikkavdeling presenterte 14. oktober 2026 to prosjekter som undersøker hver sin del av AI-basert vitenskapelig oppdagelse: SRHarness, et verktøy for å finne formler i data, og MechBench, en test av om AI kan finne mekanismene som ligger bak formlene. 6
8
10
Skillet kan illustreres med Kepler og Newton. Keplers lover beskrev hvordan planetene beveger seg; Newtons gravitasjonsteori forsøkte å forklare hvorfor. På samme måte er det én ting for en AI å finne en formel som passer til observasjoner, og noe mer krevende å forklare hva som skaper mønsteret. 11
SRHarness: støtte for leting etter formler
SRHarness er et kjøremiljø for AI-agenter som arbeider med symbolsk regresjon – altså å finne matematiske uttrykk som beskriver sammenhenger i data. Agentene kan klargjøre vitenskapelige data, bruke ulike analyse- og tilpasningsverktøy, ta vare på hypoteser de har vurdert og forbedre formlene gjennom lengre søk. 9
Forskerne rapporterer at SRHarness med språkmodellen DeepSeek-v4-flash-0731 oppnådde følgende resultater på LSR-Transform: 1
| Test | SRHarness | SR-Scientist | Codex |
|---|---|---|---|
| Vitenskapelig kontekst og betydningen av variablene beholdt | 93,69 % |
62,16 % |
Ikke oppgitt i det tilgjengelige materialet |
| Vitenskapelige beskrivelser og variabelbetydninger fjernet | 72,97 % |
39,64 % |
20,72 % med samme DeepSeek-modell |
I den anonymiserte testen lå SRHarness ifølge rapporteringen på nivå med Codex med GPT-5.5, men en nøyaktig prosentsats for GPT-5.5 er ikke oppgitt i materialet her. Resultatene måler hvor godt systemene gjenfinner symboler og formler – ikke om de dermed har avdekket de fysiske mekanismene bak dem. 1
8
SRHarness er tilgjengelig på GitHub i laboratoriets repository tsinghua-fib-lab/SRHarness. 9 De tilgjengelige kildene gir ikke tilstrekkelig grunnlag for å oppgi en eventuell PyPI-pakke eller nettbasert demo.
MechBench tester om AI finner forklaringen
MechBench retter seg mot et annet spørsmål enn formeloppdagelse: Kan en agent gjenfinne mekanismen som skaper en observert sammenheng, ikke bare selve sammenhengen? Dermed skiller testen mellom å finne en lov i dataene og å forklare hva som ligger bak. 2
8
På kjernesettet til MechBench fant Codex med GPT-5.6-sol de observerte lovene i 35,00 prosent av tilfellene, men de underliggende mekanismene i bare 13,75 prosent. 8
11
Forskjellen peker på en tydelig begrensning: På denne testen er det langt enklere for AI å finne mønstre som passer med observasjonene enn å finne ut hva som har produsert dem. MechBench bidrar ved å måle disse ferdighetene hver for seg – slik at gode resultater med formeltilpasning ikke automatisk blir tolket som vitenskapelig forståelse. 8
11
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 "AI kan finne en formel – men vet den hvorfor?"?
SRHarness hjelper AI agenter med å lete etter matematiske formler i vitenskapelige data, mens MechBench undersøker om de også kan finne mekanismene bak formlene.
What are the key points to validate first?
SRHarness hjelper AI agenter med å lete etter matematiske formler i vitenskapelige data, mens MechBench undersøker om de også kan finne mekanismene bak formlene. Med DeepSeek v4 flash 0731 fikk SRHarness 93,69 prosent symbolsk nøyaktighet på LSR Transform, og 72,97 prosent da beskrivelser og variabelbetydninger var fjernet.
What should I do next in practice?
På MechBench kjernesettet fant Codex med GPT 5.6 sol lover i 35 prosent av tilfellene, men mekanismer i bare 13,75 prosent.