OpenAI發佈Astra模型解決10道數學難題

Astra攻克羣論及密碼學等長期停滯難題，推翻原有猜想，證明成本約2000美元。

據 Woofun AI 消息，OpenAI 正式推出旗艦模型 Astra，該模型在 10 個長期未解決的數學及理論計算機科學難題上取得突破。Astra 在羣論領域首次構建出非索菲羣，推翻了康尼斯的剛性猜想，並解決了 3 個埃爾德什提出的難題。

此外，該模型還在球面填充、編碼理論、量子複雜性及後量子密碼學領域提供了新的上下界數值與難度證明。