Renaissance 资助「Agentic Approach to Computer Algebra Systems」项目

Renaissance Philanthropy 的 AI for Math Fund 2026 资助 Bartosz Naskręcki 启动计算机代数系统智能体项目，由 Adam Mickiewicz 大学与华沙理工大学联合承担，为期两年。项目将构建开源 agentic CAS 中间层，让 LLM 在沙箱中调用 CAS、执行与自修复并交叉核对结果，再生成可由 Lean 机器校验的证明凭证。