12月24日，字节跳动Seed团队发布全新数学推理模型Seed Prover 1.5。该模型专为形式化数学证明设计，在16.5小时内成功为IMO 2025前五道题生成了完整、可运行的Lean证明代码，综合得分35分（满分42分），达到国际数学奥林匹克金牌水平。相关技术细节已公开，后续将开放API，供数学与人工智能领域的研究者试用。