搜索
国内首次实现AI自主解决数学开放问题
2 小时前
6日，记者获悉，北京大学北京国际数学研究中心董彬教授课题组与合作者组建的AI4Math团队，利用自主构建的自动化AI框架，成功解决了交换代数中的开放问题——安德森猜想。该团队还在用于形式化验证数学定理的编程语言和定理证明器Lean中，完成了约19000行的形式化验证。这是国内首次运用AI框架攻克交换代数难题并实现大规模形式化验证，为数学与AI的深度融合开辟了新路径。
