字节Seed数学新模型，SOTA了
字节Seed数学新模型，SOTA了不仅能达IMO银牌水准，更能解决普特南数学竞赛难题，甚至超越顶尖模型o4-mini！ 字节发布全新复杂数学解决模型——Seed-Prover。
来自主题: AI技术研报
9689 点击 2025-08-04 20:45
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
不仅能达IMO银牌水准，更能解决普特南数学竞赛难题，甚至超越顶尖模型o4-mini！ 字节发布全新复杂数学解决模型——Seed-Prover。
大家好，我是歸藏（guizang），今天给大家带来昨天探索的 AI 许愿祈福壁纸教程。昨天做了几张 AI 玄学的那种祈福壁纸，除了常见的文字花纹还加上了对应的神仙和一些现代化的处理。
Qwen最近属实声势不小，开源方面刚靠Qwen3-Coder炸场，在翻译领域也卷出花
OpenRouter 再度上线了一款新模型，Horizon Beta 。这款模型是之前上线的模型Horizon Alpha 的提升版本。不出意外，这款模型也是来自于 OpenAI。
不知道大家是否还记得，人工智能先驱、强化学习之父、图灵奖获得者 Richard S. Sutton，在一个多月前的演讲。 Sutton 认为，LLM 现在学习人类数据的知识已经接近极限，依靠「模仿人类」很难再有创新。
今天玩点轻松的。是 RoboNeo 的一些用法和提示词分享。其实这个7月初就出了，之前一直没写是因为我起初确实不信任他们，之前我早早体验了美图的那个 Whee 觉得挺失望，感觉浪费了我的订阅费。所以看到了 RoboNeo 宣传视频也无动于衷。
AI教父Geoffrey Hinton来上海了。他腰杆挺直，神情专注。这一坐，就是很久。对于77岁高龄的诺贝尔奖+图灵奖双奖得主来说，这个再平常不过的动作，却是他人生中最奢侈的体验。因为过去有近18年，他几乎无法坐下—— 一次坐下的代价，可能是数周的卧床不起。
上下文工程（Context Engineering）现在有多火，就不用多说了吧。
长期以来，科学家（研究者）和工程师的角色定位泾渭分明。这种分野不仅存在于学术界，也深植于大众文化之中。比如在美剧《生活大爆炸》中，物理学家谢尔顿・库珀就时常以「真正的科学家」自居，对身为工程师的霍华德・沃洛维兹冷嘲热讽，两者的职业差异甚至成为该喜剧的重要素材。
最近整个 AI 圈的目光似乎都集中在 GPT-5 上，相关爆料满天飞，但模型迟迟不见踪影。昨天我们报道了 The Information 扒出的 GPT-5 长文内幕，今天奥特曼似乎也坐不住，发了推文表示「惊喜很多，值得等待」。