周一,Anthropic宣布,一款尚未发布的模型在黎曼猜想方面取得了重大进展。黎曼猜想是150多年来一直未解的重大数学难题,其悬赏金额高达100万美元。 该AI模型显著提高了该假说成立的解的下界,这一发现已得到Anthropic内部数学家的证实。