近日，Daya Guo在社交媒體平臺上興奮地分享了他的最新見聞：在春節(jié)期間，他親眼目睹了R1-Zero模型性能曲線的不斷攀升，這讓他深刻感受到了強化學(xué)習(xí)（RL）技術(shù)的巨大潛力。
在大年初四這個特殊的日子里，Daya Guo不僅沉浸在節(jié)日的喜悅中，還積極回應(yīng)了網(wǎng)友們關(guān)于DeepSeek R1模型及公司未來計劃的諸多提問。他透露，盡管R1只是他們研究項目的起點，但團隊內(nèi)部的研發(fā)工作卻從未停歇，即便是在春節(jié)期間，研究人員也依然堅守崗位，致力于推動研究成果的不斷突破。
Daya Guo進一步表示，他們正在積極探索將R1模型應(yīng)用于形式化證明環(huán)境的可能性，并期望能夠盡快向?qū)W術(shù)界和社區(qū)發(fā)布性能更為卓越的模型版本。他坦言，團隊在這一領(lǐng)域已經(jīng)取得了顯著的進展，并對未來的研究充滿了期待。
Daya Guo還透露，他們正緊鑼密鼓地籌備著更重磅的模型發(fā)布計劃，這無疑將為相關(guān)領(lǐng)域的研究注入新的活力。他的這番言論，無疑讓廣大網(wǎng)友和研究者對DeepSeek的未來充滿了無限的遐想與期待。
