北大团队用AI自主解决安德森猜想
发生了什么
据甲子光年报道，北大教授董彬团队利用自主构建的自动化AI框架解决了安德森猜想，实现大规模形式化验证。这是国内首次实现AI自主解决数学开放问题。
报道与来源
1 篇发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
来源关系与证据边界
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。
- 来源报道1 个发布入口
据甲子光年报道，北大教授董彬团队利用自主构建的自动化AI框架解决了安德森猜想，实现大规模形式化验证。这是国内首次实现AI自主解决数学开放问题。
发布方数量不等于独立核验数量。同稿的多个入口保留在对应报道中。
按已记录的来源角色展示；连线仅表示原生身份流程确认的同稿入口，不表示独立佐证或跨报道引用。