近日，字节跳动旗下的 Seed AI 团队发布了一款名为 Seed Prover1.5的数学推理模型，该模型在国际数学奥林匹克（IMO）比赛中表现卓越，成功获得金牌，标志着人工智能在数学领域的又一

在最近的国际数学奥林匹克（IMO2025）比赛中，ByteDance Seed 团队的自动定理证明系统 Seed-Prover 表现出色，成功解决了比赛中的四道题目。这一成果标志着 Seed-Pr

在最近的國際數學奧林匹克（IMO2025）比賽中，ByteDance Seed 團隊的自動定理證明系統 Seed-Prover 表現出色，成功解決了比賽中的四道題目。這一成果標誌着 Seed-Pr

DeepSeek 发布 V3.2（标准版）与 V3.2-Speciale(深度思考版)，官方评测显示: - V3.2在128k 上下文场景下与 GPT-5互有胜负 - V3.2-Special