週一,Anthropic宣佈,一款尚未發佈的模型在黎曼猜想方面取得了重大進展。黎曼猜想是150多年來一直未解的重大數學難題,其懸賞金額高達100萬美元。 該AI模型顯著提高了該假説成立的解的下界,這一發現已得到Anthropic內部數學家的證實。