字节Seed数学新模型，SOTA了
字节Seed数学新模型，SOTA了不仅能达IMO银牌水准，更能解决普特南数学竞赛难题，甚至超越顶尖模型o4-mini！ 字节发布全新复杂数学解决模型——Seed-Prover。
来自主题: AI技术研报
6676 点击 2025-08-04 20:45
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
不仅能达IMO银牌水准，更能解决普特南数学竞赛难题，甚至超越顶尖模型o4-mini！ 字节发布全新复杂数学解决模型——Seed-Prover。
Anthropic突然撤销了OpenAI员工对Claude的访问权，声称该公司违反了其服务条款。
刚刚，腾讯混元团队宣布一口气开源了 4 款小模型 —— 最大的只有 7B，另外还包括 4B、1.8B 和 0.5B 三个型号。
今天的主角是：Codeway，网址👉 https://www.codeway.co/ 今天介绍的是一家土耳其的 AI 初创公司，之前我们介绍了很多中国和美国的 AI 初创公司，大多是专注1-2个产品，拥有“核心科技”和华丽团队背景和资源的“二代型”公司。
两年前，大家还把 AI 聊天工具当做效率外挂；2024 年开始，“情感陪伴”忽然成了热门赛道——从 Replika 的温柔治愈，到 Character.AI 的角色扮演，再到专供成人模式的 Nastia。Paradot 的切入点更大胆：它想做你独一无二的“数字亲密关系”，既能撒娇，也能深聊，还能陪你写小说、练口语、听白噪音入睡。
2025 年已过半，今年的大模型热度明显下降，关于基础模型的关注大多收敛到了 DeepSeek 与阿里通义上。相比之下，曾一度被标榜为大模型“国产替代”、信创之光的智谱 AI 所受到的关注度明显下降，过往高调的战略打法也渐显低迷。
在这场赛中，Meta 刚刚打出了一记最具冲击力的“王炸”——为年仅 24 岁的 AI 研究员 Matt Deitke，开出高达 2.5 亿美元的薪酬包，刷新行业纪录。
在人工智能快速发展的今天，我们已逐渐习惯于让 AI 识别图像、理解语言，甚至与之对话。但当我们进入真实三维世界，如何让 AI 具备「看懂场景」、「理解空间」和「推理复杂任务」的能力？这正是 3D 视觉语言模型（3D VLM）所要解决的问题。
2025 年 AI 产品井喷，浪潮夹杂着泡沫，到底什么产品能穿越周期？ WAIC 世界人工智能大会已经结束，APPSO 系列专题继续，我们希望梳理这半年来重要的 AI 产品和趋势，并在现场挖掘有用有趣的产品，同时探讨产品背后的一些细节
全球首个真正实现项目级开发的AI IDE，正在重新定义AI编程。这就是AI编程初创团队芸思智能（AIYouthLab）推出的全新AI IDE——Vinsoo。无论你是新手码农还是资深架构师，它都能帮你完成从需求分析到最终交付的完整开发流程。