字节跳动Seed Prover取得IMO 2025银牌分数
2025-07-23 15:48:36
分享
7月23日消息，字节跳动Seed团队受IMO官方邀请参加了IMO 2025比赛，其形式化数学推理专用模型Seed Prover通过3天的尝试，完整解决了6道题目中的4道以及一道题的部分证明，IMO 官方认证Seed Prover的成绩为30分，达到了银牌的分数（六道题得分为2/7/7/7/7/0）。团队在赛后进行了额外的尝试，完整证明了前5道题目。
更加详细情况，请关注本站最新动态。
7月23日消息，字节跳动Seed团队受IMO官方邀请参加了IMO 2025比赛，其形式化数学推理专用模型Seed Prover通过3天的尝试，完整解决了6道题目中的4道以及一道题的部分证明，IMO 官方认证Seed Prover的成绩为30分，达到了银牌的分数（六道题得分为2/7/7/7/7/0）。团队在赛后进行了额外的尝试，完整证明了前5道题目。