RecodeX 重构消息，Anthropic宣布，其未发布AI模型在黎曼猜想上取得重大进展，显著提高了该猜想成立解的下界。黎曼猜想是未解超过150年的数学难题，悬赏100万美元至今无人领取。值得关注的是，一名没有接受过专业数学训练的Anthropic员工促使该模型进行相关尝试。