Sky-T1 – NovaSky 開源的推理 AI 模型，可從零開始復現該模型

Sky-T1是加州大學伯克利分校Sky Computing實驗室的NovaSky團隊推出的一款開源推理人工智能模型，型號為Sky-T1-32B-Preview。這一模型的推出標志著開源推理模型的首次實現，所有訓練數據和代碼均已公開，用戶能夠從零開始復現該模型。Sky-T1的訓練成本低于450美元，顯著低于傳統同類模型的數百萬美元開銷。其訓練數據來源于阿里巴巴的QwQ-32B-Preview推理模型，通過精細篩選和重構，基于OpenAI的GPT-4o-mini進行處理，極大地提升了模型訓練的高效性。在性能方面，Sky-T1在MATH500（一個“競賽級”數學挑戰集合）上的表現超越了OpenAI早期版本o1的預覽版，并在LiveCodeBench的編程評估中也展現了優異的能力。

Sky-T1是什么

Sky-T1是由加州大學伯克利分校Sky Computing實驗室的NovaSky研究團隊發布的一款開源推理人工智能模型，型號為Sky-T1-32B-Preview。這是首個開源的推理模型，用戶可以訪問公開的訓練數據集和代碼，從零開始復現該模型。Sky-T1的訓練成本不到450美元，遠低于以往同類模型數百萬美元的訓練費用。其訓練數據來源于阿里巴巴的QwQ-32B-Preview推理模型，經過精心篩選和重構，基于OpenAI的GPT-4o-mini進行處理，使得模型訓練更加高效。在各項性能測試中，Sky-T1在MATH500數學挑戰上表現優于OpenAI早期版本o1，同時在LiveCodeBench的編程評估中也名列前茅。

Sky-T1的主要功能

• 開源特性：Sky-T1提供的訓練數據集和代碼完全開放，用戶可以復現模型，促進了研究和開發的共享。
• 經濟高效的訓練：模型的訓練成本低于450美元，顯著降低了學習和開發的經濟門檻。
• 卓越的推理能力：Sky-T1具備有效的自我事實核查能力，能夠避免常見的推理陷阱，解決方案的生成可能需要幾秒到幾分鐘不等，特別在物理、科學和數學領域表現出色。
• 優質的訓練數據與硬件配置：Sky-T1的訓練數據由阿里巴巴的QwQ-32B-Preview推理模型生成，經過精細篩選，基于OpenAI的GPT-4o-mini進行重構，提升了數據處理效率。該模型擁有320億個參數，訓練時間約為19小時，使用了8臺Nvidia H100 GPU。
• 出色的性能表現：在MATH500數學挑戰中，Sky-T1超越了OpenAI的o1早期預覽版本，并在LiveCodeBench的編程評估中獲得了優異成績。

Sky-T1的項目地址

• 項目官網：https://novasky-ai.github.io/posts/sky-t1
• HuggingFace模型庫：https://huggingface.co/NovaSky-AI/Sky-T1-32B-Preview

Sky-T1的應用場景

• 數學問題解決：Sky-T1在MATH500數學挑戰中的卓越表現使其在教育、科研及競賽領域尤其適用，能有效解決復雜的數學問題。
• 編程評估：在LiveCodeBench的評估中，Sky-T1表現不俗，能夠協助開發者進行代碼生成、優化和錯誤檢測，適合軟件開發、編程教育及自動化測試等應用場景。
• 科學研究：盡管在GPQA-Diamond測試中（涵蓋物理學、生物學和化學等研究生水平問題）表現稍遜于o1版本，但Sky-T1在物理、科學和數學領域的可靠性較高，為科學研究和學術探索提供了強有力的支持。