AIPress.com.cn报道12月24日消息，字节跳动 Seed 团队发布了新一代形式化数学推理模型 Seed Prover 1.5。该模型基于全新的 Agentic 架构 ...

自动驾驶汽车如何才能真正像人类司机一样思考和行驶？这个让无数研究者头疼的难题，最近迎来了令人兴奋的突破性进展。ByteDance ...

据蓝鲸新闻，近期，搭载深度AI功能的“豆包手机”引发市场关注，其背后中兴通讯与字节跳动的合作模式也成了业界焦点。近日中兴通讯相关人士被问及是否接触其他大模型厂商时表示，公司秉持“开放即创新”的理念，这也是其“AI for All”战略的核心。目前已收到部分合作邀约，相关沟通正在推进。这意味着与字节跳动的合作可能只是一个开端，中兴正逐步构建更加开放的AI生态体系。

这一成绩与7月官方认证的IMO金牌“选手”谷歌Gemini打平。而字节自己的前代模型，当时的成绩是3天完成了6道题目中的4道，以及一道题的部分证明，达到银牌成绩。 值得关注的是，Seed Prover ...

Seed是 字节跳动 旗下科研团队，成立于2023年，研究方向涵盖大语言模型（LLM）、语音、视觉、世界模型、基础架构、AI Infra及下一代AI交互等领域，其研发的豆包大模型已应用于50余个场景。

在人工智能飞速发展的今天，很多人都在讨论AI什么时候能完全替代人类程序员。然而，字节跳动Seed中国团队联合M-A-P、2077AI、Humanlaya ...

字节跳动旗下Seed团队近日宣布，其研发的新一代形式化数学推理模型Seed Prover 1.5正式发布。该模型通过引入创新的Agentic架构与大规模强化学习训练方法，在多项高难度数学评测中取得突破性进展，刷新了形式化数学推理领域的性能纪录。 在备受瞩目的国际数学奥林匹克（IMO 2025）模拟测试中，Seed Prover 1.5展现出强大实力。模型仅用16.5小时便完成前5道赛题的完整形式化 ...

凤凰网科技讯 12月24日，字节跳动Seed团队近日推出新一代形式化数学推理模型Seed Prover 1.5。该模型基于大规模智能体强化学习训练，在数学竞赛题的形式化证明能力上有所提升。 据官方信息，该模型在IMO ...

2023年初，当GPT-4如海啸般席卷全球科技界，字节内部却弥漫着浓浓的焦虑——在生成式AI这场决定未来十年格局的竞赛中，他们似乎已经落后。彼时，公司尚无统一的大模型战略，多个业务线各自为战，AI Lab早已从“前沿探索”转向“技术中台”，研究重心倾斜于推荐优化，技术积累与时代浪潮之间出现了一道危险的裂隙。

2025年12月25日消息，昨夜今晨，科技圈都发生了哪些大事？行业大咖抛出了哪些新的观点？ 《科技速递》即刻为您梳理关键资讯： 2025云厂商大模型中标成绩出炉，百度智能云中标项目数和中标金额最多 ...