根據新披露的資訊，該未發布模型（或為 GPT-6）在數學、量子複雜性和理論電腦科學領域攻克了 10 項長期未解難題，包括首個顯式非 sofic 群、推翻 Connes 剛性猜想等。核心論證由 Astra 生成，並在 Lean 中形式化證明，產出 249 頁手稿及機器可驗證證書。單次成功求解在 Sol API 費率下 token 成本僅約 2000 美元。
OpenAI 未發布的模型解決了 10 個長期存在的數學問題
TechFlow分享
精華摘要
OpenAI 未發布的模型，可能是 GPT-6，解決了 10 個重大數學問題，包括首個明確的非索菲克群和對 Connes 剛性猜想的反駁。這項工作由 Astra 支持，並在 Lean 中形式化，產生了一份 249 頁的手稿和機器可驗證的證明。長期投資於 AI 驅動的研究可能從此類突破中受益。單一解決方案在 Sol API 費率下約耗費 $2,000 的代幣使用費。
來源:顯示原文
免責聲明：本頁面資訊可能來自第三方，不一定反映KuCoin的觀點或意見。本內容僅供一般參考之用，不構成任何形式的陳述或保證，也不應被解釋為財務或投資建議。 KuCoin 對任何錯誤或遺漏，或因使用該資訊而導致的任何結果不承擔任何責任。
虛擬資產投資可能存在風險。請您根據自身的財務狀況仔細評估產品的風險以及您的風險承受能力。如需了解更多信息，請參閱我們的使用條款和風險披露 。