DeepSeek發佈V3.2標準版與深度思考版。評測顯示，V3.2在128k上下文場景下與GPT-5互有勝負；深度思考版在多項基準測試中與Gemini3Pro持平，並在IMO2025盲測中達到金牌分數線。核心升級是轉正稀疏注意力技術，通過優化token路由，顯著降低了長文本的計算複雜度、顯存佔用，並提升了推理速度，首次在開源模型中實現了百萬token的單卡推理能力。
字節跳動Seed團隊研發的自動定理證明系統Seed-Prover在IMO2025比賽中表現亮眼，成功解決四道數學難題。該系統在幾何題上僅用2秒完成證明，數論題則需3天並生成數千行證明，組合代數題還展現了創新解法。雖然比賽期間未能及時完成第一題，但賽後成功補證。目前該項目尚未開源模型權重，僅提供論文和項目資料。這一成果展示了AI在數學證明領域的潛力，爲學術研究提供了新工具。
Tencent
$15
輸入tokens/百萬
$45
輸出tokens/百萬
4
上下文長度
%20--%3e%3cdefs%3e%3cstyle%3e%20.st0%20{%20fill:%20%23061b40;%20}%20.st1%20{%20fill:%20%23306af1;%20}%20.st2%20{%20fill:%20%235ce5cf;%20}%20%3c/style%3e%3c/defs%3e%3cg%3e%3cpath%20class='st0'%20d='M55,10.5h9v3h-9v9h12V7.5h-12v3ZM64,19.5h-6v-3h6v3Z'/%3e%3cpolygon%20class='st0'%20points='69%2016.5%2078%2016.5%2078%2019.5%2069%2019.5%2069%2022.5%2081%2022.5%2081%2013.5%2072%2013.5%2072%2010.5%2081%2010.5%2081%207.5%2069%207.5%2069%2016.5'/%3e%3cpolygon%20class='st0'%20points='95%2010.5%2095%207.5%2083%207.5%2083%2022.5%2095%2022.5%2095%2019.5%2086%2019.5%2086%2016.5%2095%2016.5%2095%2013.5%2086%2013.5%2086%2010.5%2095%2010.5'/%3e%3cpath%20class='st0'%20d='M40,1.5v21h11.6l1.4-1.4v-7.6h0c0,0-1.4-1.5-1.4-1.5l1.4-1.4V2.9l-1.4-1.4h-11.6ZM50,19.5h-7v-6h7v6ZM50,10.5h-7v-6h7v6Z'/%3e%3c/g%3e%3cpath%20class='st1'%20d='M23.1,24L14.7,4.8l-4.9,11.2h3.8l-1.8,4H3.3L12.1,0H2C.9,0,0,.9,0,2v20c0,1.1.9,2,2,2h21.1Z'/%3e%3cpath%20class='st2'%20d='M34,0h-16.8l10.6,24h6.2c1.1,0,2-.9,2-2V2C36,.9,35.1,0,34,0ZM32.5,20h-4V4h4v16Z'/%3e%3c/svg%3e)
