FARMS发布可验证计算科学知识基础

2026年10月30日，arXiv cs.AI/cs.LG 最新报道，FARMS 为自动化计算科学构建可验证的计算数学知识基础。其做法是把计算数学转化为 AI 可用知识，通过来源整理、可复用表示和语义审阅，将形式化陈述与来源上下文、算法含义及量化保证连接起来。在随机数值线性代数和数值偏微分方程的171个目标中，157个被流水线接受；各来源每个目标的平均估计成本为0.85至2.29美元。目前进展为上述流水线评测的接受情况与成本数据。

AI 根据报道生成 · 1 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。