形式化数学推理专用模型

字节推出形式化数学推理专用模型Seed Prover 1.5

字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。