AnswersPublished18 sources
נוסחה היא לא הסבר: שני כלים חדשים בוחנים מה AI באמת מגלה במדע
SRHarness מספק סביבת עבודה לסוכני AI שמחפשים נוסחאות מתמטיות בנתונים ומחדדים השערות לאורך החיפוש. MechBench בוחן שאלה נפרדת: האם הסוכן מסוגל לזהות את המנגנון שיוצר את החוק הנצפה, ולא רק לשחזר את הנוסחה.
פורסם על ידינערך באמצעות GPT-6 Lunaהתמונות נוצרו באמצעות GPT Image 2
Research answer
Key takeaways
- SRHarness מספק סביבת עבודה לסוכני AI שמחפשים נוסחאות מתמטיות בנתונים ומחדדים השערות לאורך החיפוש.
- MechBench בוחן שאלה נפרדת: האם הסוכן מסוגל לזהות את המנגנון שיוצר את החוק הנצפה, ולא רק לשחזר את הנוסחה.
- במבחן הליבה של MechBench, Codex עם GPT 5.6 sol שחזר חוקים ב־35% מהמקרים, אך מנגנונים ב־13.75% בלבד.
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
חוקרים ממעבדת מדעי הנתונים והבינה במחלקה להנדסת חשמל באוניברסיטת צינגחואה הציגו ב־14 באוקטובר 2026 שני פרויקטים משלימים: SRHarness, סביבת ריצה לסוכני AI שמגלים נוסחאות מתוך נתונים, ו־MechBench, מבחן שבודק אם אותם סוכנים מצליחים גם לגלות את המנגנונים שמאחורי הנוסחאות. 6
10
ההבחנה שבבסיס העבודה פשוטה אך חשובה: למצוא חוק שמתאר מה קורה אינו זהה להסביר למה זה קורה. הדוגמה המקובלת היא ההבדל בין חוקי המסלול של קפלר, שתיארו את תנועת כוכבי הלכת, לבין כוח הכבידה של ניוטון, שהציע הסבר למנגנון שמאחורי התנועה. הפרויקטים מבקשים להבחין בין התאמה של נוסחה לתצפיות לבין הבנה של הגורם שמייצר אותן. 6
סביבת עבודה לחיפוש נוסחאות
SRHarness היא סביבת ריצה ייעודית ל״רגרסיה סימבולית״ — חיפוש אחר נוסחה מתמטית שמייצגת דפוסים בנתונים. לפי תיאור המאגר, היא מאפשרת לסוכני שפה להכין נתונים מדעיים, להשתמש בכלי ניתוח והתאמה שניתן לשלב, לשמור השערות שכבר נבדקו ולשפר נוסחאות לאורך חיפוש ממושך. 9
המאגר הציבורי של SRHarness זמין ב־GitHub. 9
16 המידע הזמין כאן אינו מאמת את פרטי ההפצה ב־PyPI או כתובת של הדגמה מקוונת.
איך נראו תוצאות שחזור הנוסחאות?
במבחן LSR-Transform, עם מודל הבסיס DeepSeek-v4-flash-0731, דיווחו החוקרים על דיוק סמלי של 93.69% ל־SRHarness, לעומת 62.16% לשיטה SR-Scientist. 1 בגרסה אנונימית של המבחן, שבה הוסרו תיאורים מדעיים ומשמעויות המשתנים, SRHarness הגיע ל־72.97%, לעומת 39.64% ל־SR-Scientist.
1
באותה גרסה אנונימית, Codex עם אותו מודל בסיס השיג 20.72% לפי הדיווחים. בפרסום נוסף תואר ביצועי SRHarness ככאלה שדומים לאלה של Codex עם GPT-5.5, אך המקורות הזמינים אינם מציינים את שיעור ההצלחה המדויק של GPT-5.5. 5
6
חשוב להבחין: אלה מדדים לשחזור נוסחאות, ולא הוכחה לכך שהמערכות גילו את המנגנון הפיזיקלי שמאחוריהן. 1
8
MechBench מודד את הפער
כאן נכנס MechBench: במקום לשאול רק אם סוכן הצליח לשחזר חוק נצפה, הוא בודק אם הצליח לשחזר גם את המנגנון שמייצר אותו. כך אפשר למדוד בנפרד התאמה של נוסחה לנתונים והסבר של התהליך שמאחוריה. 2
8
במערך הליבה של המבחן, Codex עם GPT-5.6-sol שחזר חוקים ב־35.00% מהמקרים, אבל מנגנונים ב־13.75% בלבד. 8 הפער אינו מוכיח שמערכות AI אינן מסוגלות להבין מדע, אך הוא מראה שבמבחן הזה קל להן יותר לזהות דפוסים נצפים מאשר להסיק את הגורמים שיוצרים אותם.
8
התרומה המרכזית של MechBench היא להפוך את ההבדל הזה למדיד: הצלחה בהתאמת נוסחה אינה מוצגת אוטומטית כהבנה של המנגנון. כך אפשר לעקוב בנפרד אחר ההתקדמות בגילוי חוקים ואחר ההתקדמות בהסברם. 8
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 באמת מגלה במדע"?
SRHarness מספק סביבת עבודה לסוכני AI שמחפשים נוסחאות מתמטיות בנתונים ומחדדים השערות לאורך החיפוש.
What are the key points to validate first?
SRHarness מספק סביבת עבודה לסוכני AI שמחפשים נוסחאות מתמטיות בנתונים ומחדדים השערות לאורך החיפוש. MechBench בוחן שאלה נפרדת: האם הסוכן מסוגל לזהות את המנגנון שיוצר את החוק הנצפה, ולא רק לשחזר את הנוסחה.
What should I do next in practice?
במבחן הליבה של MechBench, Codex עם GPT 5.6 sol שחזר חוקים ב־35% מהמקרים, אך מנגנונים ב־13.75% בלבד.