SolutionsX：超引力理论/解即代码，具备机器可验证物理的智能体工作流
SolutionsX: supergravity theories/solutions as code, with an agentic workflow for machine-verifiable physics
浏览论文内容
中文总结 AI 辅助
SolutionsX将xAct环境转化为机器可验证的代码记录，通过智能体工作流在数小时内正确编码超引力论文，并内置验证机制确保物理主张可靠。
中文摘要 AI 辅助
文献中的超引力解是一种无法在不重新推导的情况下进行验证的产物：约定可能未被明确说明，论文存在笔误，代数运算繁琐。SolutionsX是一个Mathematica包，它将xAct环境（无论其描述何种物理）转变为存储的、机器可验证的记录：代码可在全新内核中重放，自带验证功能，并可随后获取以供重用或扩展。随附示例为超引力理论及其解，但适用范围涵盖xAct所能触及的一切：抽象张量、微分形式、任意维度的旋量。我们跟随一篇已发表的解走完整个工作流程，将包的组件引擎与xAct的进行基准测试，并报告了三次智能体工作流的盲测运行，其中AI编码智能体在给定包和一个小工具包的情况下，在三小时内正确地将一篇近期论文编码化。此类记录的数据库对当今研究人员有用，并为智能体提供可学习的实例。该包在智能体的思考过程中充当内部验证器：主张在内核中先被检查，然后才被提出。
英文摘要
A supergravity solution in the literature is an artifact that cannot be verified without re-deriving it: conventions might not be clearly stated, papers have typos, algebra is tedious. SolutionsX is a Mathematica package that turns an xAct environment, whatever physics it may describe, into a stored, machine-verifiable record: code that replays in a fresh kernel, carries its own verification, and can later be fetched for re-use or extension. The shipped examples are supergravity theories and their solutions, but the scope is anything xAct reaches: abstract tensors, differential forms, spinors in any dimension. We follow one published solution through the entire workflow, benchmark the package's component engine against xAct's, and report on three blind runs of an agentic workflow in which an AI coding agent, given the package and a small toolkit, correctly codified a recent paper in under three hours. A database of such records is useful to researchers today and gives agents worked examples to learn from. The package acts as an internal verifier during the thought process of an agent: a claim is checked in the kernel before it is made.
发表机构
- INRNE, Bulgarian Academy of Sciences（保加利亚科学院核物理与核能研究所）
机构由 AI 辅助整理，请以论文原文为准。
