PSI 借助 Anthropic 未发布模型证明阿伦森－安拜尼斯猜想

物理研究机构 PSI 宣布，借助 Anthropic 一款尚未发布的 AI 模型，2008 年提出的阿伦森－安拜尼斯猜想得到证明，其研究系统由技术人员戴维·图尔图雷安开发，仅用三天完成证明。