CodeGrapher

Mach2平台增强了AI代理在科学发现中的可靠性

一篇新的研究论文介绍Mach2，一个旨在提高语言模型代理在科学发现中可靠性的平台。Mach2通过集成Eigen编排和对工具请求、代码更改及工件合约进行确定性检查，来解决确保代理遵守操作规则的挑战。该系统使用可执行谓词来强制执行领域要求，防止不合规的操作并保留发现以供纠正。它还结合了TDD、通过CodeGrapher进行的AST分析以及用于验证和优化的进化搜索，生成特定任务的代理包，以便在各种端点上执行。