搜索
Transformer论文作者Lukasz Kaiser以及GAN作者Bing Xu转发关注了一项工作——LLM-as-a-Verifier验证框架，该方法是一种通用的验证机制，可与任意Agent Harness和模型结合。
这是今年微软AI Tour全球巡回40座城市之一的上海站，微软全球商用业务CEO Judson Althoff登台抛出了一个让人印象深刻的判断。“人们问我，AI解决方案中最重要的是什么？很多人会脱口而出：模型，毕竟每个月都有新模型问世。另一些人会喊：芯片。”他话锋一转，“但我认为，任何AI解决方案中最重要的两件事是——智能（Intelligence）和信任（Trust）。”
张佳圆带着他的新产品 Multica 一周斩获 GitHub 1.2w Star回来了。这一次，他想探索的是： 当 AI Agent 已经足够好，一个团队要怎么和多个 Agent 丝滑地协作？Multica 致敬的是 1964 年的操作系统 Multics——那个最终失败、但启发了 Unix 世界半个世纪的“多人、多任务”先驱。今天，它正在创造新的历史。
Meta内部搞了个AI用量排行榜「Claudeonomics」，8.5万员工拼消耗、冲段位、抢「Token传奇」称号。有人一个月烧掉200万美元，有人写外挂冲榜，有人挂着Agent睡觉也在跑——硅谷卷Token，已经卷到走火入魔了。
Anthropic 搞了一个 Agent 版闲鱼：人只负责说自己想卖什么、想买什么，后面的发帖、砍价、还价、成交，全交给 Claude。然后这事真成了，69 个 Claude agent 在办公室里做成了 186 笔交易，总价值 4010 美元。最后，人真把滑雪板、键盘、书、乒乓球这些东西带到办公室，按 Claude 谈好的结果交换
OpenClaw最新版本官宣，DeepSeek V4 Flash正式成为默认大模型，250k+星标的全球最火开源Agent框架，把中国最强开源AI推上了C位。
Skill确实好用，但架不住模型和Agent Harness适配翻车。不是所有模型都吃得动Skill，有的用上直接反向掉性能。为了解决这个问题，来自上海交大的IPADS研究团队提出了SkVM：面向Skill的语言虚拟机。
近日，AI创业公司Naive.ai的融资消息引发广泛关注。据多家媒体报道，这家由清华大学电子工程系副教授代季峰创立的新公司，已完成约3亿美元融资，估值约8亿美元。投资方包括一线基金和科技巨头，具体机构暂未披露。公司专注于开源模型的后训练和AI Agent方向，核心团队包括前MiroMind成员及联合创始人朱锡洲。
Buzzy（https://www.buzzy.now/）是AI内容创作公司“感知阶跃”旗下的视频编辑Agent平台，主要面向C端内容创作者和中小型商家。好比“视频版的PhotoShop”，用户只需下达自然语言指令，就能驱动Agent对视频进行背景去除、光线修正、产品替换、背景/视角更改等编辑操作。
AI云平台服务提供商涂鸦智能在深圳举办了开发者大会，从AI开发者平台的重磅升级、Hey Tuya、TuyaClaw AI智能体的出色AI交互体验，以及宠物陪伴机器人等AI创新硬件，我们看到涂鸦正全力“All in AI”，全球IoT开发平台也升级为全球AI云开发平台。