搜索
AFK 推出 Personal Agent Comma，主打 24 小时持续在线与围绕目标主动推进，通过 Cloud for work, your device for identity 的物理隔离设计解决信任问题，重新定义个人 Agent 从「等你下一句」到「你离开后任务才开始」的交互范式。
去年此时，有些应用的明星公司被盯得很紧，那时大家觉得它们飞黄腾达得太快，成立一年多就估值几亿美金，好夸张。 但在今年，只能说这些公司瞬间眉清目秀了起来。一批数据公司成立不满一年，就已经诞生了
GPT-6 Astra一发布，3D圈已经坐不住了…它能用Blender盖出这样一栋房子，再直接导进Unreal Engine 5，变成能走进去逛的漫游场景：社交媒体上，网友很快玩出了更多新花样。
AMD以82亿美元全股票收购世界模型公司World Labs，文章解析世界模型从生成内容迈向生成可交互数字世界的技术路径与产业影响，梳理李飞飞的空间智能路线、杨立昆的JEPA架构以及谷歌Genie 3、英伟达Cosmos等巨头的不同押注方向。
AI短剧《非妖哉》导演不吃榨菜以"聊斋"志怪为壳，讲述现实中"谁被社会定义成妖"的人心母题，凭不写完整剧本、边做边推的创作方式结合LibTV等AI工具，三集播放量破亿并斩获抖音AI创作大赛最佳剧本奖，计划年底前完结六集。
Claude Opus 5.5并不具备视频生成能力，它通过编写代码逐帧绘制画面，再由无头浏览器和FFmpeg合成MP4文件，实现所谓的"一句话做视频"。
海马云旗下RunningHub发布自研生成式视频超分模型RH Upscale，在13组横向评测中以综合得分0.539位列第一，通过内容保真约束下的时空联合重建与五档模式设计，解决视频超分中"放大而不改内容"的难题。
Nuanced创始人Ayman Nadeem发文宣布「Plan Mode已死」，指出随着AI模型能力提升，传统计划模式在AI编程中已不再必要，而规划与执行的边界正在逐渐融合。
北京大学AI for Math团队宣布在Lean 4中完整形式化庞加莱猜想，约320万行代码、半个月内完成、成本不到3万美元，是首个同时通过Lean编译与Comparator双重验证的版本。
LinkedIn 公开其 AI 职位搜索的多教师蒸馏训练基础设施，通过基于 SGLang 的定制框架结合在线与离线蒸馏方案，并叠加 LiGer、多节点训练、FSDP2 及 H200 集群等优化，实现约 8 倍训练加速，将 80 亿参数相关性模型和 17 亿参数互动模型的知识压缩至 6 亿参数排序模型，使职位搜索 NDCG@10 提升 24.48%。