近日，Daya Guo在社交媒體平臺(tái)上興奮地分享了他的最新見聞：在春節(jié)期間，他親眼目睹了R1-Zero模型性能曲線的不斷攀升，這讓他深刻感受到了強(qiáng)化學(xué)習(xí)（RL）技術(shù)的巨大潛力。

在大年初四這個(gè)特殊的日子里，Daya Guo不僅沉浸在節(jié)日的喜悅中，還積極回應(yīng)了網(wǎng)友們關(guān)于DeepSeek R1模型及公司未來計(jì)劃的諸多提問。他透露，盡管R1只是他們研究項(xiàng)目的起點(diǎn)，但團(tuán)隊(duì)內(nèi)部的研發(fā)工作卻從未停歇，即便是在春節(jié)期間，研究人員也依然堅(jiān)守崗位，致力于推動(dòng)研究成果的不斷突破。

Daya Guo進(jìn)一步表示，他們正在積極探索將R1模型應(yīng)用于形式化證明環(huán)境的可能性，并期望能夠盡快向?qū)W術(shù)界和社區(qū)發(fā)布性能更為卓越的模型版本。他坦言，團(tuán)隊(duì)在這一領(lǐng)域已經(jīng)取得了顯著的進(jìn)展，并對未來的研究充滿了期待。

Daya Guo還透露，他們正緊鑼密鼓地籌備著更重磅的模型發(fā)布計(jì)劃，這無疑將為相關(guān)領(lǐng)域的研究注入新的活力。他的這番言論，無疑讓廣大網(wǎng)友和研究者對DeepSeek的未來充滿了無限的遐想與期待。