桌面版
查询
实时行情
市场
新闻
指数
恒生指数
1
25,818.93
+44.79
925.24亿
国企指数
1
8,915.12
+1.29
342.72亿
返回
放大 +
缩小 -
字节推形式化数学推理专用模型Seed Prover 1.5
2025-12-24 13:12:23
字节跳动Seed团队宣布推出形式化数学推理专用模型SeedProver1.5，面向国际数学奥林匹克(IMO)赛事场景。该模型在16.5小时内生成IMO2025前5题完整Lean证明，得分35/42，达金牌分数线。
团队同步发布技术报告，披露模型架构、训练数据与验证流程，并计划近期开放API接口，邀请全球数学与人工智能研究者测试体验。(ta/u)~
阿思达克财经新闻
网址: www.aastocks.com
