标签： 竞赛题

凤凰网科技讯 12月24日，字节跳动Seed团队近日推出新一代形式化数学推理模型Seed Prover 1.5。该模型基于大规模智能体强化学习训练，在数学竞赛题的形式化证明能力上有所提升。 据官方信息 … Continue reading 达到金牌分数线：字节跳动推出新一代数学推理专用模型Seed Prover 1.5

OpenAI终于重新发布开源模型gpt-oss-120b和 gpt-oss-20b。这是其自从GPT-2之后 ，首次发布开源语言模型。 这也是上半年DeepSeek-R1发布，引发中国掀起一股开源狂潮 … Continue reading OpenAI发布开源模型“王者归来”，DeepSeek剧情会反转吗