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