智能体计算机代数项目启动

数学研究者 Bartosz Naskręcki 宣布启动“Agentic Approach to Computer Algebra Systems”项目。该项目获 Renaissance Philanthropy 的 AI for Math Fund 2026 资助，由 Adam Mickiewicz 大学与华沙理工大学联合承担，为期两年。 项目拟构建开源的智能体计算机代数系统中间层，使大语言模型可在沙箱中调用计算机代数系统、执行任务并自修复和交叉核对结果，再生成可由 Lean 机器校验的证明凭证；这些属于项目计划，并非已完成成果。

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

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