字节推出形式化数学推理专用模型Seed Prover 1.5
创始人
2025-12-24 12:13:06
0次
炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！
（来源：界面新闻）
12月24日，字节跳动Seed团队宣布推出形式化数学推理专用模型Seed Prover 1.5。据介绍，相比上一代模型，Seed Prover 1.5在16.5小时内，针对IMO 2025的前5道题目生成了完整可编译验证的Lean证明代码，换算成绩为35/42，达到此前IMO评分标准的金牌分数线。Seed Prover 1.5的技术报告已对外公开，后续将开放API，邀请感兴趣的数学和AI研究者体验该模型。
相关内容
热门资讯
国金宏观：增长的盛夏，就业的寒...
炒股就看金麒麟分析师研报，权威，专业，及时，全面，助您挖掘潜力主题机会！ 增长的盛夏，就业...
“玲龙一号”全球首堆完成非核冲...
转自：北京日报客户端12月23日，全球首个陆上商用模块式小型堆——中国核电旗下海南昌江多用途模块式小...
德恩精工聘任60岁贺圣国为非独...
12月24日，德恩精工公告，聘任贺圣国先生为公司非独立董事。资料显示，贺圣国先生：1965年出生，中...
绿能慧充393.5万限售股将于...
绿能慧充12月25日发布公告称，公司部分限售股即将解禁上市，本次解除限售股份的数量为393.5万股，...
盛达资源A股股东户数减少123...
12月23日消息，数据显示，截至2025年12月19日，盛达资源A股股东总户数为3.51万户，较上期...
欧普康视与三只羊等合资公司注销
来源：金综科技近日，合肥欧普三羊科技有限公司登记状态由存续变更为注销。此前，该公司已发布简易注销公告...
投资者提问：董秘你好，本人在广...
投资者提问：董秘你好，本人在广东罗森、711等便利店看到魔芋零食品牌包括大魔王、卫龙之外，还有贤哥、...
这项“30岁”的“青椒计划”，...
（来源：上观新闻）在上海，有一项面向青年学者的“青椒”人才计划“30岁”了。24日，2025年度“曙...
美股开盘丨三大指数小幅低开 英...
道指跌0.08%，纳指跌0.03%，标普500指数跌0.02%。英特尔跌3%，据悉英伟达暂停测试英特...
封禁大疆或致美国安全能力全面降...
（来源：猛犸新闻） #专家解读美国封禁大疆#【#封禁大疆...