ОтветыОпубликовано17 источники
ИИ уже находит научные формулы. Но понимает ли он, почему они работают?
14 октября 2026 года исследователи из лаборатории данных и интеллектуальных систем факультета электронной инженерии университета Цинхуа рассказали о двух связанных проектах: SRHarness для поиска формул и MechBench для... Разница напоминает переход от законов Кеплера, описывающих движение планет, к теории тяготения Н...
ОпубликовалОтредактировано с помощью GPT-6 LunaИзображения созданы с помощью GPT Image 2
Ответ на исследование
Ключевые выводы
- 14 октября 2026 года исследователи из лаборатории данных и интеллектуальных систем факультета электронной инженерии университета Цинхуа рассказали о двух связанных проектах: SRHarness для поиска формул и MechBench для...
- Разница напоминает переход от законов Кеплера, описывающих движение планет, к теории тяготения Ньютона, объясняющей его причину: обнаружить закономерность не то же самое, что раскрыть механизм.
- На анонимизированном тесте LSR Transform SRHarness показал точность символического восстановления 72,97% против 39,64% у SR Scientist; результат Codex с той же базовой моделью DeepSeek составил 20,72%.
- На основном наборе MechBench Codex с GPT 5.6 sol восстановил наблюдаемые законы в 35% случаев, но механизмы — только в 13,75%.
Промпт ИИ
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 помогает ИИ-агентам искать формулы по научным данным, а MechBench проверяет, способны ли они восстановить механизмы за этими формулами. 10
16
От Кеплера к Ньютону
Историческая аналогия помогает понять замысел. Законы Кеплера описывают, как движутся планеты; теория Ньютона объясняет, почему их движение подчиняется таким закономерностям. Иными словами, найти формулу, согласующуюся с наблюдениями, — не то же самое, что определить механизм, который эти наблюдения порождает. 11
SRHarness сосредоточен на первом шаге — поиске формул. MechBench выделяет второй в самостоятельную задачу, чтобы успех в подгонке уравнения не принимали за доказательство научного понимания. 8
Как устроен SRHarness
SRHarness — специализированная среда выполнения для так называемой агентной символьной регрессии: поиска интерпретируемых формул по данным. Она позволяет языковым моделям подготовить научные данные, использовать сочетаемые инструменты анализа и подгонки, сохранять проверенные гипотезы и уточнять формулы в ходе длительного поиска. 9
Речь идёт не только о том, чтобы попросить модель угадать уравнение в одном запросе: агент может последовательно выдвигать и проверять варианты. При этом доступные описания не дают достаточно подробностей, чтобы уверенно утверждать, как именно реализованы все запрошенные функции — например, хранение состояния вне контекста диалога или управление ветвлением, перезапуском и остановкой поисковых траекторий.
Код SRHarness опубликован на GitHub в репозитории tsinghua-fib-lab/SRHarness. 9 Подтверждённых сведений о точном названии пакета PyPI или адресе онлайн-демонстрации в доступных материалах нет.
Результаты поиска формул
В тесте LSR-Transform авторы сравнили символьное восстановление при использовании DeepSeek-v4-flash-0731. В обычном варианте SRHarness достиг точности 93,69%, а SR-Scientist — 62,16%. 1
В анонимизированном варианте из задания убрали научные описания и значения переменных. Здесь SRHarness получил 72,97% против 39,64% у SR-Scientist. Codex с той же базовой моделью DeepSeek показал 20,72%. Авторы также сообщают, что результат SRHarness сопоставим с Codex на GPT-5.5, но точное значение для этой конфигурации в приведённых материалах не указано. 1
| Условие теста | SRHarness | SR-Scientist | Codex |
|---|---|---|---|
| Научный контекст и значения переменных сохранены | 93,69% |
62,16% |
Точное значение не указано |
| Научные описания и значения переменных удалены | 72,97% |
39,64% |
20,72% с той же базовой моделью DeepSeek |
Это результаты восстановления формул, а не свидетельство того, что модель раскрыла физическую причину наблюдаемого явления. Именно поэтому отдельная проверка механизмов имеет значение. 1
8
Что измеряет MechBench
MechBench разделяет две цели: восстановить наблюдаемый закон «вход — выход» и восстановить скрытый механизм, который его порождает. 8
15 В материалах к проекту также описаны вопросы о внутренних величинах системы. Однако доступные выдержки не позволяют подробно проверить, как именно устроены такие проверки и как отбираются механизмы, которые дают одинаковые наблюдаемые результаты.
На основном наборе MechBench Codex с GPT-5.6-sol восстановил законы в 35% случаев, а механизмы — в 13,75%. 8
11 Разрыв указывает на конкретное ограничение: в рамках этого теста найти закономерность заметно легче, чем объяснить её происхождение.
Поэтому вывод не в том, что ИИ уже «понимает науку», или, наоборот, совсем не способен к открытиям. Результаты показывают, почему важно оценивать поиск формул и поиск механизмов раздельно. MechBench задаёт для второго отдельную меру и помогает отслеживать прогресс, не приравнивая удачную подгонку данных к объяснению явления. 8
11
Studio Global AI
Продолжайте свое исследование
На этой странице есть ответ, подтвержденный источником, который вы можете продолжить внутри Studio Global.
Люди также спрашивают
Каков краткий ответ на вопрос «ИИ уже находит научные формулы. Но понимает ли он, почему они работают?»?
14 октября 2026 года исследователи из лаборатории данных и интеллектуальных систем факультета электронной инженерии университета Цинхуа рассказали о двух связанных проектах: SRHarness для поиска формул и MechBench для...
Какие ключевые моменты необходимо проверить в первую очередь?
14 октября 2026 года исследователи из лаборатории данных и интеллектуальных систем факультета электронной инженерии университета Цинхуа рассказали о двух связанных проектах: SRHarness для поиска формул и MechBench для... Разница напоминает переход от законов Кеплера, описывающих движение планет, к теории тяготения Ньютона, объясняющей его причину: обнаружить закономерность не то же самое, что раскрыть механизм.
Что мне делать дальше на практике?
На анонимизированном тесте LSR Transform SRHarness показал точность символического восстановления 72,97% против 39,64% у SR Scientist; результат Codex с той же базовой моделью DeepSeek составил 20,72%.