外媒：北京大学研究团队开发的双智能体AI框架在数小时内自主解决了美国数学家Dan Anderson于2014年提出的交换代数开放猜想，且几乎无需人工干预即可完成证明的形式化验证。
该框架通过整合数十年数学文献，弥合了自然语言推理与形式化机器验证之间的鸿沟，其解题速度超越人类数学家，并能独立完成通常需要跨领域专家协作的任务。
研究团队于4月4日在arXiv发布了这一尚未经同行评审的预印本论文，称这是AI实质性自动化数学研究的具体范例。数学家Anderson已于2022年去世，享年73岁。
