【okooo澳客官網科技消息】OpenAI近日發布研究文章，正式披露了代號為Astra的下一代大模型。據OpenAI介紹，Astra被定位為"我們的下一個主要模型"，其內部版本已在數學和理論計算機科學領域取得十項重大進展，所解決的問題在過去至少十年內未有實質性突破，部分難題甚至困擾學界更長時間。

OpenAI

　　OpenAI的研究涵蓋了多個高深的數學領域，包括高維幾何、編碼理論、算術電路復雜性、群論、量子復雜性、格密碼學和極值組合學等。具體成果涉及非sofic群的存在性證明、對Connes剛性猜想的否證、高維球體堆積的新邊界，以及解決了數學家Paul Erds提出的多個問題。OpenAI指出，使用其Sol API按token計費，解決這些問題的總成本約為2000美元。

　　在研究流程上，人類研究人員利用Astra模型構建論證思路并撰寫手稿，隨后Astra將每一個論證形式化為Lean證書，使證明過程能夠通過數學驗證系統進行檢驗。這種"人機協作"模式展示了Astra在處理需要長期推理和嚴格驗證的復雜任務方面的能力。

　　據The Information獨立確認，OpenAI確實正在開發Astra，這是一個專為長時運行工作負載設計的新模型家族。Astra的核心特性在于支持AI智能體在更大問題的不同部分上進行協作，這意味著它不僅能夠完成單一任務，還能協調多個智能體分工合作，共同攻克復雜度極高的學術難題。

　　關于Astra的最終命名，OpenAI尚未做出決定。該模型可能以GPT-5.7、GPT-6或其他名稱發布。有分析指出，Astra作為一次重大突破性模型，其發布策略可能參考Anthropic的做法：向普通消費者提供一個版本，而功能更強大的變體則需要經過特殊審批才能訪問。

版權所有，未經許可不得轉載