字节Seed数学新模型,SOTA了 字节Seed数学新模型,SOTA了 关键词: AI新闻,Seed-Prover,数学模型,Seed数学模型 不仅能达IMO银牌水准,更能解决普特南数学竞赛难题,甚至超越顶尖模型o4-mini! 字节发布全新复杂数学解决模型——Seed-Prover。 来自主题: AI技术研报 6706 点击 2025-08-04 20:45