Anthropic 的智能代理推进了黎曼猜想 —— 无需人类数学家介入
anthropic 一个未发布的模型通过 60 个自主子代理测试了 650 个想法，从而推进了黎曼猜想，这标志着向 ai 发现科学真理的转变。
Anthropic 公布了一款未发布的模型通过协调 60 个子代理来生成和验证 650 种不同的数学方法，从而提高了黎曼假设的下限。该系统自主运行了 36 小时，在计算中花费了 3100 万美元，以产生一个随后由人类数学家使用 Lean 证明助手验证的证明。这一突破凸显了多代理架构在处理复杂科学工作流方面的潜力，在数学界重新引发了关于未来发现中人类研究人员的作用以及贡献归属的担忧。