AI 资讯 - AI 中文社区 - 一个学习交流 AI 人工智能技术的中文社区

AI 中文社/资讯

返回

Seed Prover 1.5 标签，匹配到约1个结果, 耗时0.0828秒

字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5

字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5

字节跳动发布新一代形式化数学推理专用模型 Seed Prover 1.5

相比上一代模型，Seed Prover 1.5 在 16.5 小时内，针对 IMO 2025 的前 5 道题目生成了完整可编译验证的 Lean 证明代码，换算成绩为 35/42，达到此前 IMO 评分标准的金牌分数线。...

2025-12-24 · 浏览19次

关于我们/ 免责声明/ 问与答/ 积分奖励消耗规则/ 联系我们/ Markdown 教程

Copyright © 2022-2025 aizws.net · 网站版本: v1.2.6·内部版本: v1.25.5· 页面加载耗时 0.00 毫秒·物理内存 103.6MB ·虚拟内存 1307.5MB

欢迎来到 AI 中文社区（简称 AI 中文社），这里是学习交流 AI 人工智能技术的中文社区。为了更好的体验，本站推荐使用 Chrome 浏览器。