OpenAI表示,一款尚未發佈的內部AI模型僅憑一個提示詞就解決了數百道未解決的數學問題。據NS3.AI稱,該公司週二在GitHub上發佈了722篇手稿,不過這個數字指的是手稿數量,而非解決的問題數量。
一位OpenAI發言人表示,幾乎所有成果都來自給一個AI智能體的一條提示詞,不過部分結果可能需要多次嘗試才能得出。麻省理工學院數學家安德魯·薩瑟蘭表示,在研究人員能夠訪問該模型並復現結果之前,關於“單條提示詞、單個智能體”的說法仍未得到驗證。
根據該代碼庫的形式化目錄,只有162篇手稿的主要結果經過計算機檢驗。OpenAI還警告稱,一些尚未形式化的結果可能存在問題。
