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