Agentic Diagrammatica：面向高能物理的自主符号计算

我们 presented Diagrammatica，这是一个扩展至HEPTAPOD智能体框架的符号计算工具，使 LLM 智能体能够规划和执行多步骤的理论计算。符号计算为 LLM 智能体带来了独特的可靠性挑战，因为正确性由隐含的数学规范所决定，而这些规范未以易于在计算后端进行检查的形式编码。我们识别了两种互补的补救措施：工具受限计算和针对性知识 grounding，并将第一种方法作为主要架构 pursuing。具体而言，我们将智能体的行动分布集中于具有规范固定语义的工具调用上，在这种情况下，智能体指定一个紧凑、人类可审计的图示规范，而可信后端则准确执行符号或数值操作。该工具包提供两种互补的计算路径，消耗共享的图示规范：朴素维数分析（NDA）用于数量级速率估计，以及通过自动 FeynCalc 代码生成的精确图示分析（EDA）用于树级符号计算，两者都配备了自动 Feynman 图枚举和可导航的理论知识库。该架构在两个基准测试中得到验证：（1）完整目录中所有树级单顶点 $1\to 2$ 部分衰变宽度，覆盖标量、费米子和矢量母体，包含完整的无质量极限和阈值限制以及标准模型验证；（2）NDA 对μ 衰变重数 $\mu^+ \to \nu_\mu\bar{\nu}_e + n(e^+e^-) + e^-$ 的灵敏度研究，确定当前和计划中的μ 实验可观测到的最大 $n$。