AI Agent搞定世纪首次菲尔兹奖成果形式化！一周时间独立完成，20万行代码已公开（在新窗口打开）
5天时间，AI就搞定了原本需要6个月完成的菲尔兹奖级数学成果的形式化证明。
内容栏目
AI资讯
聚合人工智能领域的重要资讯、产品发布、行业动态与商业变化。
OpenClaw 让每个聊天软件都有机会变成微信（在新窗口打开）
当 AI agent 需要一个「家」的时候，它们没有住进独立的 App，而是搬进了聊天软件。
对话「光年之外」团队：关于 Tabbit 浏览器的一些产品思考（在新窗口打开）
Tabbit 背后的团队，是美团的光年之外 对，就是那个最早由王慧文老师创办，后来并入美团的那个光年之外
当一家代工厂决定做AI硬件，3年干到3亿年销｜对话一线（在新窗口打开）
1 月中旬，白鲸出海受亚马逊全球开店活动邀请，前往东莞与多位卖家交流出海经验，除了此前报道过的计划用 AI 赋能家庭娱乐的音箱品牌 Ikarao，在相距不到 20分钟的车程内，另一家主打“硬核”产品的 BOSGAME 同样成绩不俗，跨境业务三年复合增长率 120%。但由于产品性质的巨大差异，专攻 PC 硬件的 BOSGAME，分享了完全不同的成长思考。
阿里千问大模型掌舵人林俊旸卸任（在新窗口打开）
me stepping down. bye my beloved qwen.（我将卸任。再见了，我深爱的 qwen。） 3 月 4 日凌晨，阿里通义千问（Qwen）技术负责人林俊旸在 X 突然发文，向自己一手带大的开源模型项目告别。
美团 AI 浏览器被指抄袭个人开发者：开源不代表可以白嫖（在新窗口打开）
前段时间 AI 浏览器扎堆上线，从 OpenAI 的 Atlas 到 Perplexity Comet，国内的 QQ浏览器、夸克/千问纷纷进入赛道。浏览器这个「老古董」突然成了 AI 赛道的香饽饽。大小厂都在抢，都想占个入口位置。
年入5000万美元的个人开放者AI项目Cal AI，今天被同赛道No. 1收购（在新窗口打开）
全球最大的卡路里追踪平台 MyFitnessPal 正式宣布，已完成对后起之秀 Cal AI 的收购。CalAI，这个由高中生 Zach Yadegari 发起的创业项目也迎来阶段性的结局，收购后，产品仍将独立运营，Zach Yadegari 在内 7 名成员均将加入 MyFitnessPal。（可参见我们的置顶文章《17岁高中生做AI App，不到4个月入账百万美元，独立开发者迎来春天？》）
Claude全球宕机，机房爆炸！美财政部全面停用，恐遭英伟达断供（在新窗口打开）
Claude深夜宕机，全网哀嚎一片。就在今天，美财政部官宣：全面停用Claude。硅谷数百名CEO和大佬联名，掀起Anthropic保卫战。
马斯克大赞阿里 AI，9B 参数硬刚 120B，海外网友：这叫小模型？（在新窗口打开）
昨天深夜，阿里通义千问团队在 X 平台正式发布了 Qwen3.5 小模型系列，覆盖 0.8B、2B、4B 和 9B 四个参数规格。甫一发布，便在海外科技圈引发强烈反响。马斯克也在该推文下评论称：「Impressive intelligence density」（令人印象深刻的智能密度）。这股热度的背后，APPSO 也好奇，为什么这几款小模型能够激起如此大的波澜？
编程进入「对讲机」时代！Claude抢发语音写代码，转录Token全免费（在新窗口打开）
Claude Code 正式上线语音模式：输入 /voice，长按空格说话，松开即完成输入。语音转录实时流入光标位置，和键盘无缝切换，转录Token完全免费。编程的下一个战场不是模型智商，而是交互方式。
分享一个贼牛的开源项目Edit banana，让你轻松肢解 AI 图（在新窗口打开）
莫理这两天在 GitHub 上淘到了一个开源的实用工具，刚好能把这块短板给彻底补齐！这就是咱们今天的主角：Edit Banana，通用内容再编辑器。
这届MWC真成了中国AI主场，小米直接把AI从对话框里拽出来接管物理世界了（在新窗口打开）
在这一众身位领先的选手中，小米展现出的「AI浓度」高得有那么亿点点离谱——此次，小米将AI赋能的「人车家全生态」首次亮相海外，从手机到汽车再到智能家居，AI贯穿生活动线，在真实环境中形成协同运转。
GEO服务商「PureblueAI清蓝」完成数千万元天使轮融资，发布新AI营销数字员工平台 | 智能涌现首发（在新窗口打开）
PureblueAI清蓝也同步发布了新产品——AI 营销数字员工平台mkter.ai，以及 AI 口碑营销数字员工“Mark”。
杭州这家民营AI公司，提前53天预警美军打击伊朗（在新窗口打开）
当传统媒体还在急于拼凑前线的碎片，当西装革履的智库专家还在连夜召开研讨会时，一个残酷的现实已经摆在所有人面前：在信息爆炸的地缘政治博弈中，如果你还在依赖人工分析和新闻推送来观察一场战争，你已经彻底沦为信息差的最底端。
上海一群青年，造了个学术版OpenClaw—大圣（在新窗口打开）
不卖关子，它正是由上海科学智能研究院（上智院）联合复旦大学最新发布的超级科研合伙人——大圣。是一个系统级的、面向科学探索的高能动性智能体，致力于持续推动科研范式变革。
刚刚，OpenClaw登顶GitHub软件星标历史第一！已超越Linux（在新窗口打开）
仅用两月，本地AI框架OpenClaw击败Linux，登顶GitHub星标榜！本文回顾了OpenClaw爆火之路，及其背后反映的开源社区趋势变化。
GPT-5.4据传下周上线！200万上下文窗口+持久化状态，告别频繁遗忘（在新窗口打开）
OpenAI 意外泄露 GPT-5.4！新版凭 200 万 Tokens 与「状态化 AI」实现跨会话持久记忆，并支持全分辨率视觉直读。AI 将从聊天工具向「全自动代理」进化，彻底重塑工作流并引爆底层硬件内存之战。
AI 助手的「硬件实体」，还能怎么变？（在新窗口打开）
「Her」的实体化在所难免。 作者｜靖宇 在斯派克 ·琼斯执导的电影《Her》里，影帝华金·菲尼克斯饰演的男主人公，把手机揣在上衣兜里，开启摄像头，来让 AI 助手 Smantha 能看到外部世界。
去Polymarket上与人类赌博的OpenClaw，已经月入数万美元了（在新窗口打开）
2月13日，OpenClaw官方的博文提到，一个由OpenClaw驱动的机器人证明了自主智能体在预测市场的强大潜力——单周狂揽11.5万美元利润。1月底，Polymarket也发布过一条有趣的帖子：Agent们正在Polymarket上进行交易，试图补贴自己的token成本。
OpenClaw不如狗一条（在新窗口打开）
比如他描述Elys为「光屁股版的即刻」。前两天又锐评Openclaw，「我觉得这是一个情感陪伴产品」。我深刻怀疑，松辽平原存在一种魔力，让东北孩子说话都像小嘴淬了蜜。
参与交流
查看 AINRK 交流群说明
了解加入交流群的方式，阅读内容无需登录。