OpenAI AI 模型取得數學突破：發布密碼學、量子計算等 10 個長期未解問題研究成果

ChainCatcher 消息，據官方消息，OpenAI 發布研究成果稱，其下一代 AI 模型 Astra 在數學與理論計算機科學領域取得進展，涉及高維幾何、編碼理論、群論、量子復雜性、后量子密碼學以及極值組合數學等領域，其公布的 10 項成果涉及：高維球堆積問題、二進制與球面編碼問題、非 sofic 群問題、Connes 剛性猜想、算術電路復雜性問題、量子并行重復問題、最近向量問題、Ehrhart 體積猜想、多色 Ramsey 數問題、極值圖論猜想。 據介紹，這些成果由內部版本的 Astra 模型完成推導，尋找解決方案所消耗的計算成本約為 2000 美元（按 Sol API 價格計算）。 隨后，人類研究人員利用同一模型協助整理成論文，并通過 Lean 形式化證明系統生成可驗證證明證書。

• 喜歡使用社交軟體關注？關注我們的 Twitter，或者加入 Telegram！
• 想關注最新資訊？ 下載CoinCarp App吧
• 有新聞需要爆料，官方公告需要發布? 來給我們發郵件吧！[email protected]