Jane Street 演讲:把代码库调教得更适合 Agent 的类型反馈、Expect Test 与正式方法
作者转述 @yminsky 在 Bug Bash 的演讲,讲如何把代码库改造成更利于 Agent 工作的环境。核心观点包括用类型表达全局不变量、用 expect test 和库级确定性仿真提供毫秒级反馈、Agent 时代 code review 更重要,以及正式方法因成本结构变化从被冷落变为 Jane Street 正在组建团队投入的方向。
首页已经看过的不重复列。下面从更早的内容继续,可以一直往下滚。
作者转述 @yminsky 在 Bug Bash 的演讲,讲如何把代码库改造成更利于 Agent 工作的环境。核心观点包括用类型表达全局不变量、用 expect test 和库级确定性仿真提供毫秒级反馈、Agent 时代 code review 更重要,以及正式方法因成本结构变化从被冷落变为 Jane Street 正在组建团队投入的方向。
MiniMax 官方账号转发用户内容,确认 MiniMax H3 的 FastH3 Omni 正式开源,并称可节省 GPU 预算。据引用内容,该版本从文生视频升级为全能模式,支持图片、视频、音频作为参考,一次生成画面与同步音频,可控制角色、动作和声音,并支持消费级显卡本地部署。
Nanbeige(BOSS直聘研究团队)发布开源权重模型Nanbeige4.3-33B,Thomas Wolf 称其在多数 Agent 基准上超过 Qwen 27B。官方称其为约30B级开源模型中 Agent 性能最强,在 Agent 编码等基准表现突出,后续将作为教师模型蒸馏出 Nanbeige4.3-3B。
英伟达开源机器人数据引擎 Flora:标注成本较 GPT-6Astra 降至125倍 · · Oct 26, 2026 近日,英伟达旗下GEAR研究实验室正式开源其开放数据引擎 Flora 。该系统基于三个微调的 Qwen3.5模型 构建,旨在为机器人视频训练提供高效的文本标注与评分支持,实现对机器人价值链的关键布局。
松下卓越运营(PEX)于本月 23 日发布公告,一名负责人力资源信息系统项目的员工违反规则,将员工及家属数据上传到禁止使用的外部生成式 AI 服务平台。事件影响松下集团统一人力资源系统的 7.5 万名现员工、17.8 万名前员工及合计 8.1 万名员工家属,共约 33.4 万人,数据包括编号、地址、电话和电邮。
Kimi 就会员使用 K3.1 Pro 时的限流及不必要额度消耗致歉。所有有效期内订阅会员将获得月度总额 25% 的补偿性重置,相当于一周用量,当前用量不足月度总额 25% 的将重置为 0;同时已调整配置,正在减少不必要的子 Agent 调用和输出长度,让同样额度完成更多实际任务。
清华大学与 CUHK 研究者开源 AKV,一个构建在 SGLang 上的 KV cache 工程服务系统,让智能体通过 Drop 和 Repos(RoPE 旋转重定位)操作丢弃或重排 KV 条目而不改写文本历史。
Gartner 调研:44% 的 CEO 说不清 AI 到底赚没赚钱 · · Oct 26, 2026 31.9k Gartner 在 2026 年 4 月至 5 月做了"2027 年 Gartner CEO 调研",访谈全球 203 位 CEO 及企业高管。结果戳中一个尴尬现实:44% 的受访 掌门人 ,难以向股东和利益相关方证明 AI 带来的财务回报。
Lauren Tan 转述 Yaron Minsky 关于为智能体改进代码库的演讲要点:智能体依赖反馈,类型是最好的反馈之一,用类型让非法状态不可表示可在全代码库强制执行全局规则。
针对近日传闻称字节 Seed AI 研发核心负责人之一周畅已提出离职并将创业、方向或为具身智能,接近字节人士 10 月 26 日回应称周畅没有离职。周畅 2024 年 8 月加入字节跳动,现任豆包大模型视觉多模态生成方向负责人,此前曾任通义千问大模型技术负责人。
三星电子宣布依托AI将新型半导体材料研发周期由5年缩短至2年 · · Oct 26, 2026 31.9k 三星电子于周一在韩国产业协会论坛举办的工业研发人工智能应用研讨会上宣布,计划全面引入人工智能技术,将新型半导体材料的研发周期从传统的5年大幅压缩至2年,缩短耗时达3年。
IT之家 10 月 26 日消息,爱尔兰利默里克大学研究人员在本月初发布的一篇研究论文中指出,在一项涉及 189 位知识工作者的实验中, 人类更喜好拟人形象 AI 智能体 , 但也存在“性别”偏见 。 参测者在一个虚拟办公室中同 3 个基于相同底层模型的智能体同事协同完成工作。
最后提醒。⏳ 首届 Robbyant 具身智能挑战赛的资格赛提交将于今天(10 月 26 日)23:59(GMT+8)截止。 请完成上传并再次核对提交状态,确认已成功接收。期待你的创意作品。
Reddit 开源社区 r/opensource 封杀 AI 项目,开发者另起炉灶 · · Oct 26, 2026 31.9k Reddit 旗下开源讨论社区 r/opensource 于当地时间 10 月 24 日推出新投稿规则,最具争议的一条:凡使用 AI、由 AI 生成,或专为 AI 服务的项目,一律不欢迎发布。
作者深度实测豆包工作「无限画布」功能,以万圣节活动物料为例,演示从创意发散、多风格定稿、多比例延展、分图层导出 PSD 到批量生成海报、邀请函、贴纸、长图、手环等全套物料的端到端高效工作流。
作者发现开源 AI 智能体 Cindy 当天登上 GitHub Trending 第一。引用内容称该项目突破 5000 星,它是一个可驱动浏览器、电脑和手机的开源 AI 智能体,仓库地址 https://github.com/makecindy/cindy。
作者引述 Anthropic 工程实践,介绍 Claude Code 团队在做约九成代码由 Claude 编写、变更量暴涨的背景下如何重做 Code Review。
图灵1951年在BBC广播演讲《智能机器,一种异端理论》中推演,AI会先引发宗教式排斥与知识分子失业恐慌,但真正转折在于机器不会死、能互相交流迭代(自我博弈与多智能体协作),跨过门槛后将迅速甩开人类智力并走向接管控制。推文认为这几乎精准预言了从人机对齐到多 Agent 自我进化与超级智能失控的整条叙事线。
我真的非常期待未来几年编程语言领域将会出现的所有创新
社区不断打开新的大门,H3 生态的发展速度超出预期。 更快的生成、更好的控制,以及能在更多地方运行…… 确实是共同构建的。💜
邵猛称自 X Subscription 大一统订阅推出后,此前赠送的 Cursor Ultra 一年订阅可能随时被强制升级。他这些天高频使用 Grok Bot,把生活、学习和工作内容都搬了上去,Cursor 和 Codex 基本处于保号状态、打开越来越少。他还向前同事推荐了 Grok Bot 和 Templates,并约定一周后看效果。
全球大模型周调用量突破188万亿:中国AI包揽前五,DeepSeek新模型强势登顶 · · Oct 26, 2026 最新 行业数据显示,上周全球AI大模型总调用量达到188万亿Token,环比增长14.63%。
睡前给智能体一个想法,醒来就能玩到由 Tripo CLI + Unreal 驱动的可玩游戏。↓
Claude Code 团队介绍其代码评审流程:Claude 写了约 90% 的代码,6 月到 9 月合并的 PR 数量翻倍以上,需要回退的 PR 占比下降超过 40%。
ParallelWorld 将多步预演引入具身智能体的高层规划,通过比较候选动作的未来结果来改善决策,将任务成功率从 56% 提升至 83%。
数美万物开源 Hi3D V1.0,基于 Sparc3D 架构以 200 万 3D 资产训练、1536³ 有效稀疏分辨率实现几何生成新高度,多视角保真度与细节丰富度双项指标领跑,并推出 Hi3D Agent 探索自然语言驱动的三维创作新范式。
智能时代的慈善工作就是:你明知道这个事情可以让你的 AI Agent 来完成,但你非要雇一个人,教这个人用 Agent 来完成这个工作。这样可以很好地培训人类,以及解决失业问题😅
AI 时代,年轻人应该怎么办?很简单,几个关键词: 1. Stranford CS336 2. Sebastian Raschka: Build a Reasoning Model 3. Nathan Lambert: Reinforcement Learning from Human Feedback 4. 谭成义三分化