美國人工智能(AI)公司 OpenAI 發表新一代模型系列「Astra」，據介紹，僅用2000美元(約1.56萬港元)算力，拆解10條至今尚未解決的數學難題。 這批數學難題涵蓋高維幾何、編碼理論、群論、量子複雜性及極值組合學等多個前沿領域，每條的學術積壓時間均超過10年。這些成果由其新一代主力模型 Astra 的內部版本達成，在Sol API費率下，有關問題的解決方案所需總詞元(token)成本約為2000美元。 這些論點隨後由使用相同模型的人員整理成文稿。之後，該模型將每個論點形式化為一份精益證書(Lean certificate)(在新視窗中開啟)，將為每個解決方案發布一份模型對其思考過程的敍述。 10條難題包括高維球體堆積(High-dimensional sphere packing)、二進制與球面碼(Binary and spherical codes)、埃爾哈特體積猜想(Ehrhart's volume conjecture)等。(BC) #OpenAI #美股 #Astra
<匯港通訊>