已收录文章摘要，完整内容可前往原文阅读。
导语AI 找到公式，就算理解了科学吗？清华大学数据科学与智能实验室提出 SRHarness，让智能体更可靠地从观测数据中发现数学公式；同时构建 MechBench，检验 AI 能否揭示公式背后的机制。