SeedProver1.5
字节 Seed 新模型问世:数学竞赛金牌实力爆表,AI 推理迈入新阶段!
近日,字节跳动旗下的 Seed AI 团队发布了一款名为 Seed Prover1.5的数学推理模型,该模型在国际数学奥林匹克(IMO)比赛中表现卓越,成功获得金牌,标志着人工智能在数学领域的又一突破。 Seed Prover1.5采用了 Scaling Law 理论,并在16.5小时内解决了 IMO2025的前五道题,仅失一题,最终以35分的成绩达到了金牌标准。 这一成绩与谷歌 Gemini 并驾齐驱,而字节之前的模型在当时需用三天才完成四道题,最终仅获得银牌。
字节跳动发布 Seed Prover1.5:推动形式化数学推理的新进展
近日,字节跳动 Seed 团队推出了其最新的形式化数学推理模型 Seed Prover1.5,标志着在数学推理领域的一次重要突破。 此次模型的推出,得益于对大规模 Agentic 强化学习的深入探索,使得其在推理能力和效率方面都取得了显著提升。 在参加2025年国际数学奥林匹克(IMO)比赛时,Seed Prover 展现了其强大的性能。
资讯热榜
标签云
AI
人工智能
OpenAI
AIGC
模型
ChatGPT
谷歌
DeepSeek
AI绘画
大模型
机器人
AI新词
数据
Midjourney
开源
Meta
微软
智能
用户
GPT
学习
智能体
技术
Gemini
英伟达
马斯克
Anthropic
图像
AI创作
训练
LLM
论文
代码
AI for Science
苹果
算法
腾讯
Agent
Claude
芯片
Stable Diffusion
具身智能
蛋白质
xAI
开发者
人形机器人
生成式
神经网络
机器学习
AI视频
3D
RAG
大语言模型
Sora
百度
研究
字节跳动
GPU
生成
工具
华为
AGI
计算
大型语言模型
AI设计
生成式AI
搜索
视频生成
亚马逊
AI模型
DeepMind
特斯拉
场景
深度学习
Transformer
架构
Copilot
MCP
编程
视觉