Chinese AI solves decade-old maths problem in hours, with no human intervention | 中国AI数小时内解决十年数学难题，无需人工干预

由北京大学团队主导研发的中国人工智能框架，自主解决了美国数学家十余年前提出的一个开放性问题，这标志着AI在复杂数学推理领域取得重要突破。该问题由爱荷华大学已故教授丹·安德森于2014年提出，长期以来未被破解。研究团队在4月4日发布的预印本论文中宣布，其双智能体框架通过综合分析数十年的数学文献，成功找到了解决方案。

这一成果不仅展示了AI在深度学术研究方面的潜力，也体现了中国在人工智能基础研究领域的进展。该框架通过模拟人类研究者的思维模式，对已有理论进行梳理与创新性组合，最终解决了这个遗留多年的数学难题，为AI辅助科学探索提供了新范式。

via South China Morning Post