computer-algebra-system

AXIOM是一种信任优先的神经符号执行架构，用于数学推理。其中LLM作为规范化器，将自然语言问题重写为由确定的CAS管道处理的模式，在可解析查询上实现了94.36%的正确率和100%的信任度。

本文探讨了利用大型语言模型（特别是 Claude）结合计算机代数系统（Maple）来执行理论物理中的算法计算，例如分析宇宙学扰动。