RecodeX 重构消息，清华大学研究人员发布开源运行时SRHarness，用于支持智能体式符号回归任务，帮助AI智能体自动搜索并发现数学公式。团队同时推出评测基准MechBench，用于检验AI在给出公式之外，能否还原公式背后的内在机制。两项成果均已公开。