AI「生肉证明」堆爆GitHub！陶哲轩重磅发声：只会解题没用了（在新窗口打开）
陶哲轩最新判断，数学正在从「证明稀缺」进入「证明过剩」时代——数学家最值钱的工作已不再只是「做出证明」，而是验证它、消化它，并把一块 AI 吐出的「生肉证明」变成人类真正吃得下的知识。
内容栏目
AI资讯
聚合人工智能领域的重要资讯、产品发布、行业动态与商业变化。
OpenAI公告正经解释：为什么GPT-5.5爱说“哥布林”（在新窗口打开）
OpenAI正儿八经写了一篇研究复盘，标题看起来却像个段子： GPT-5.5爱说哥布林，正是这两天OpenAI用户最热议话题。起初，是有人发现Codex系统提示词中特别强调了两遍：禁止谈论哥布林、妖精、巨魔等生物。
豆包，盯上淘宝京东大本营（在新窗口打开）
最近，越来越多的AI助手盯上了“帮你花钱”这件事。ChatGPT早已上线购物功能，Gemini也在今年补齐AI购物体验。国内的淘宝、京东等电商平台，也都尝试将AI融入购物决策链路。原因也不难猜测：谁能帮用户更快、更准地做出消费决策，谁就有望握住离交易最近的那个入口。
监管叫停外资收购Manus背后，有一个被忽视的关键问题｜甲子光年（在新窗口打开）
Manus收购案在AI的商业化发展中具有标志性意义。这其中，一个被科技圈忽视，但已经在法律界引起讨论的关键问题是：为什么这次对Manus的监管启动的是外商投资安全审查？
谷歌掀桌：深度研究智能体进入自动驾驶时代（在新窗口打开）
OpenAI刚用Deep Research抢了先手，谷歌直接掀桌！DeepMind祭出研究智能体双杀，Max版质量评分从66.1%暴拉到93.3%，知识工作自动化的军备竞赛正式进入贴身肉搏。
净利暴涨80%，谷歌靠AI猛吸金，Geimini用户破3.5亿人（在新窗口打开）
今天凌晨，谷歌母公司Alphabet公布2026财年第一季度财报。本财季，营收和净利润超出市场预期，营收达1098.96亿美元（约合人民币7506亿元），同比增长22%，按固定汇率计算同比增长19%，实现连续11个季度的两位数增长；归母净利润625.78亿美元（约合人民币4274亿元），同比暴增81%；摊薄EPS 5.11美元，同比增长82%。
成本砍半！国产黑马攻破机器人「瘫痪」难题，大厂纷纷上车（在新窗口打开）
深圳机器人凭什么惊艳全球？答案不在整机，在一颗电机。小象电动用轴向磁通路线突破量产瓶颈，累计出货近7万台，杀入华为、比亚迪、广汽、美团供应链，完成超亿元融资。这是深圳底层硬科技崛起的缩影，也是中国机器人产业链从「能做样机」到「真正量产」的关键一跃。
Claude 定价反复横跳：先把你养熟，再一刀一刀「割」（在新窗口打开）
4 月 20 日之后，想要给 Claude 花钱的人有难了：想花钱却下不去手。新的 Claude Pro 套餐付费用户，可能不包含 Claude 最强势的编程功能，Code 将会被「抬」进到 Max 5x 套餐，也就是每月 100 刀的订阅费用。
Snapchat推出AI Sponsored Snaps，让广告主自己的AI Agent直接触达近10亿用户（在新窗口打开）
Snapchat 近日宣布，在其核心聊天功能中推出全新广告产品 AI Sponsored Snaps。这一产品是在原有 Sponsored Snaps 广告形式基础上的全新升级，广告主可以将自有 AI Agent 接入 Snapchat 聊天界面，与用户展开实时、个性化的深度交流互动。
硅谷这一夜，属于中国机器人！图灵奖得主、英伟达大牛全来了（在新窗口打开）
美西时间4月28日，具身智能行业有史以来，第一场全球性峰会在硅谷落幕！这场大会星光熠熠—— 2015年图灵奖得主、公钥密码学奠基人Martin Hellman做开场主旨演讲，主题是「安全、智能与物理世界的交汇」。
星际之门进度：提前三年交付 10GW（在新窗口打开）
OpenAI 的「星际之门」计划，今天有了新进度：承诺29年建成的10GW算力，现已超额完成，最近 90 天单独又加了 3GW。
AI的下一步，是从工具变成同事 | 对话Helio王文锋（在新窗口打开）
Helio.im创始人王文锋在即刻上发了一个内测帖，介绍了Sheet 0团队的新产品Helio，计划进行一场小范围的内部测试。结果第二天醒来，官网申请列表因访问量过大自动扩容了4次。整个周末，团队都被潮水般涌来的消息和几百条用户建议淹没了……
AI硬件SpeakON：按下说话松开出字，让手机拥有AI代写能力（在新窗口打开）
上周二，一款名为 SpeakON 的AI硬件设备在美国发售，试图用简单的方式解决这个问题。一颗贴在 iPhone 背面的 MagSafe 按钮，按下说话，松开出字。不需要解锁，不需要切换 App。做这件事的人叫张岩（Ryan Zhang）。他曾联合创办摩拜单车，后来创立了 AI 转录平台 Notta，五年间做到全球超 1000 万用户。
平头哥发布首款智能网卡「磐脉 920」，补齐 AI 算力最后一块短板（在新窗口打开）
在数字中国建设峰会上，平头哥发布首款智能网卡磐脉 920。这是国内首个内置 PCIe Switch 的 400G 智能网卡，最大支持 400Gbps 吞吐带宽，可应用于万卡智算集群、通算集群和高性能存储等场景，目前已经量产，并将率先部署在阿里云数据中心。
“物理AI界独角兽”：硅谷自动驾驶都在忙着做两件事：提效和评估！创始人爆料：真正瓶颈不在模型，是物理约束！机器人已进入高阶工程阶段（在新窗口打开）
今天，大洋彼岸，硅谷自动驾驶领域的秘密，终于有大佬站出来分享了。如果你对自动驾驶、人形机器人中炙手可热的 VLA、世界模型还有疑惑，全球“物理 AI” 领域头部的基础设施平台 Applied Intuition 两位创始人：CEOQasar Younis、CTO Peter Ludwig的分享可真的是太对口了。
最新！Karpathy：Vibe Coding只是抬高了地板，真正的战场在这里（在新窗口打开）
Andrej Karpathy（OpenAI 联合创始人、前特斯拉 AI 负责人、现 Eureka Labs 创始人）在 AI Ascent 2026 上与红杉合伙人 Stephanie Zhan 对话，谈论自他提出 "vibe coding" 一年以来的变化。他解释了为什么作为程序员他从未感到如此落后，为什么 agentic engineering 是在 vibe coding 之上
12个舵机，60套动作，Petoi 开源AI机器狗，基于乐鑫ESP32开发板Arduino编程，带你复刻波士顿动力Spot四足机器人（在新窗口打开）
Petoi Bittle 是一款开源、可编程、四足仿生AI机器狗，尺寸为20cm×11cm×11cm，只有手掌大小，重量不到280g，它的肚子下可以携带450g的「货物」。Bittle 机器狗有12个舵机，组合60多套动作，可跑可跳，还可以爬上纸箱子，能在实时指令下表演更多的花样。如果摔倒了，它会自己爬起来。就连在下雨天想走，沙地上也都完全没问题。
开源「洁癖.skill」，让你的Agent越用越聪明。（在新窗口打开）
今天没选题了，所以想开源一个我自己做的，已经用了快1个多月，迭代了好多版的一个我觉得很有用的Skill。我把它称为，洁癖.Skill。名字可能听着还挺呆逼的，但是我觉得它能干的事，虽然看着非常的简单，但是却又很实用，在公司内部同事和一些我们的合作伙伴使用后，还都反馈挺不错的。
独家！百度内测一站式AI短剧创作平台“Hogee”，或开启AI短剧2.0创作时代（在新窗口打开）
《读佳》独家获知，百度智能云团队做了一款AI短剧创作平台Hogee AI，并会推出APP版本。据了解，Hogee为AI短剧全链路创作平台，依托百度自研的OpenClaw数字员工体系，用不同工种的AI智能体替代传统短剧团队中的部分岗位，让创作者依托大模型实现从剧本到成片的落地，有利于优质故事以低成本走向市场。
马斯克终于出庭！自曝每周工作100小时，OpenAI：他没分到钱酸了（在新窗口打开）
据The Verge等多家外媒报道，今天凌晨，埃隆·马斯克（Elon Musk）与OpenAI CEO萨姆·奥尔特曼（Sam Altman）的世纪庭审在加州奥克兰联邦法院进入开庭陈词阶段。当天，马斯克身穿黑色西装、系黑色领带，出现在联邦法院。马斯克方、OpenAI方与微软方依次发表开庭陈词，随后马斯克作为本案第一证人进行举证。
参与交流
查看 AINRK 交流群说明
了解加入交流群的方式，阅读内容无需登录。