国内首次实现AI自主解决数学开放问题 6日，记者从北京大学北京国际数学研究中心了解到，该中心董彬教授课题组与合作者组建的AI4Math团队用自主构建的自动化AI框架解决了交换代数中一个开放问题——安德森猜想，并在用 … 继续阅读 国内首次实现AI自主解决数学开放问题
