据监测,Anthropic 数学家 Levent Alpöge 使用 Claude Fable 找到雅可比猜想的三维反例。该问题自 1939 年提出后长期未解,并被列入 21 世纪重要数学难题清单。Claude Fable 给出的多项式映射中,雅可比行列式恒为 −2,但会将三个不同输入映射到同一输出,因此不可能可逆,三维及更高维版本由此被证伪,二维版本仍未解决。随后,OpenAI 研究员 Aaron Lou 让内部 Codex 在不联网条件下独立尝试,模型也找到了本质相同的反例,并写出推导过程。原文同时提到,AI 可用于并行寻找开放问题中的反例、漏洞和新思路,但也可能批量生成看似严谨的错误证明,增加学界验证压力。
据报道,三星成立机器人事业部门后,公司股价出现上涨。该事项显示三星正在将机器人相关业务纳入更明确的组织架构中推进。原文信息主要指向三星新设机器人部门及资本市场反应,未涉及具体业务范围、产品计划或投入规模。
据报道,小鹏汽车 AI 基础架构部负责人陆思渊即将离职,目前正在交接工作,下一站为 OpenAI,将参与具身智能机器人研发。陆思渊在小鹏负责从模型训练到上车量产的整套 AI 基础设施,直管约 200 人,工作覆盖训练框架、GPU 集群、自研芯片编译器、模型量化优化和车端部署。
由于小鹏采用自研芯片路线,编译器和推理运行系统均需自建,该岗位涉及核心基础设施能力;在暂未找到接替者的情况下,其团队预计拆分为三个以上独立团队。OpenAI 官网目前仍在招聘机器人软件、仿真和固件工程师,官方称机器人团队正在研发可在真实环境工作的通用机器人,并打通模型、硬件和软件。
据监测,Kimi K3 在 Arena Agent 榜的综合净提升为 9.62%,排名第 4,位于 Claude Fable 5、Claude Opus 4.8 Thinking 和 GPT-5.6 Sol 之后。该榜基于真实用户任务和工具调用记录,按五项净提升取平均计算综合分。K3 目前已积累 8344 次测试会话,其中用户确认成功指标净提升 14.42%,排名第一;表扬多于投诉指标提升 20.62%,排名第三。相比之下,它的纠错执行排名第 14,Bash 报错恢复排名第 17。
据报道,Oracle 可能因威斯康星州数据中心项目面临约70亿美元抵押品账单。该事项涉及数据中心建设相关的资金安排与潜在担保压力,金额规模达到数十亿美元级别。数据中心是AI算力和云服务的重要基础设施,相关资本开支、融资条件及抵押品要求会影响项目推进成本和企业资产负债安排。
据报道,腾讯云高管日前在世界人工智能大会分论坛表示,腾讯将大规模部署中国国产化算力,以进一步降低AI推理成本。该高管同时提到,公司预计在2026年第4季度部署NPO(近封装光学)超级节点。围绕相关基础设施建设,腾讯云还呼吁国内外推动NPO行业标准统一。此次表态涉及AI推理成本优化、国产算力部署以及光互连相关基础设施演进。
据报道,Sysdig 研究人员将同一 Langflow 服务器上的第二次攻击与此前披露的 AI Agent 驱动攻击者 JADEPUFFER 关联,并发现其部署新型 Go 编译勒索软件 ENCFORGE。该攻击仍利用 Langflow 1.3.0 之前版本中未鉴权的 /api/v1/validate/code 接口,漏洞 CVE-2025-3248 的 CVSS 评分为 9.8,已于 2025 年 5 月 5 日进入 CISA 已知被利用漏洞目录。
ENCFORGE 面向模型权重、向量索引、训练数据集等 AI 基础设施文件,默认覆盖 PyTorch、TensorFlow、SafeTensors、ONNX、GGUF、FAISS、Parquet 等约 180 类扩展名,使用 AES-256-CTR 加密并追加 .locked 后缀。研究人员称,样本未包含数据外传、云存储或 Tor 支付门户能力,勒索联系邮箱与此前活动相同。攻击者还通过暴露的 Docker socket 创建特权容器并挂载宿主机文件系统,尝试从容器突破到宿主机执行加密。
据报道,腾讯已将 QClaw 产品中心相关业务和部分团队划入云产品六部,QClaw 将继续运营,并与 WorkBuddy 归入同一部门。云产品六部于今年 4 月成立,负责 CodeBuddy、WorkBuddy 等 AI 原生生产力产品的建设和商业化。
QClaw 基于 OpenClaw 打造,产品定位更偏向个人用户及远程操控电脑场景;WorkBuddy 则主打职场和企业办公场景。此次调整意味着腾讯内部 AI 智能体产品线在组织层面进一步集中。
据动察 Beating 监测,Kimi K3 走红后,美国 AI 圈围绕中国开源模型的争论已进入特朗普政府,主张限制甚至封杀的一方正推动将立场转化为具体政策。此前,美国商务部曾考虑将多家中国 AI 实验室列入实体清单,白宫也讨论过要求美国公司为托管中国模型承担安全责任,但相关方案因担心扼杀创新在去年被叫停。
随着支持开放竞争的官员陆续离开,国家安全鹰派影响力上升,Kimi K3 的能力和热度又让这些方案重新回到决策桌上。即便美国未必直接宣布禁令,采购限制、安全警告和实体清单威胁也可能迫使企业转向其他模型。
据动察 Beating 监测,谷歌正在研发Frozen v2 AI推理芯片,计划最早于2028年部署。该芯片会将Gemini的部分架构直接固化进芯片,以减少模型运行时的计算和数据搬运。
谷歌内部预计,Frozen v2每瓦可处理的Token数将达到最新TPU的6至10倍。谷歌希望借此缓解算力短缺,相关缺口已迫使Google Cloud拒绝部分外部客户订单。Frozen v2将与TPU并行存在,前者以灵活性换效率,后者则可运行不同模型。
据动察Beating监测,另类数据与市场研究公司YipitData估算,Anthropic最新年化收入已达795亿美元。6月底这一数字还是690亿美元,约三周内增加105亿美元。按月度增量看,Anthropic从3月到6月分别增加100亿、110亿、140亿和150亿美元,单月增幅连续保持在百亿美元级别。本月增量预计也将超过100亿美元。
据动察 Beating监测,持续两年的 Anthropic 图书版权集体诉讼已正式收尾,美国联邦法官批准 15 亿美元和解,创下美国已知版权和解金额纪录。该案也是美国 AI 训练版权诉讼中,首个走完审理、裁决和解程序的重大案件。
法院此前认定,用图书训练 Claude 属于合理使用,但 Anthropic 下载并保存超过 700 万本盗版书,仍构成侵权。超过 91% 的相关作者和出版商已申请赔偿,部分权利人退出和解后仍在另案起诉 Anthropic。
据动察 Beating 监测,腾讯混元发布科研智能体 Hyra-1.0,面向模型研发、数学发现和工程优化等任务。Hyra 采用轻量循环机制,多个 Agent 并行生成方案,系统在独立沙盒中运行并打分,再将代码、日志和反馈写回经验库;
在没有现成评估器时,它还会同步改进评分标准,减少智能体通过钻规则漏洞刷分的情况。腾讯称,Hyra 在收集的 55 道数学开放问题中刷新了 29 项历史最好结果,并将 NanoGPT 达到目标损失的时间缩短至 76.4 秒,同时设计出仅含 15 个可训练参数、可完成 10 位数加法的 Transformer。
据报道,周一美股盘前交易时段,阿里巴巴美股上涨约5%,被列入当日盘前主要上涨个股之一。同期,美股股指期货表现分化,投资者一方面评估中东冲突升级带来的市场不确定性,另一方面关注本周大型科技公司密集财报。
报道将阿里巴巴列为盘前涨幅较突出的股票,但未给出完整的公司层面催化因素。该变动反映出在地缘风险与科技股财报预期并存的背景下,部分大型科技相关个股仍出现明显盘前波动。
据报道,上周中国量化对冲基金遭遇近阶段较大回撤,本地市场跌势在全球芯片股抛售后进一步加深。受市场波动影响,多只以指数增强为目标的量化产品表现承压,其中 DeepSeek 创始人旗下、一只以跑赢中证 1000 指数为目标的量化基金回撤约 16%。该事件显示,芯片股全球性下跌向中国本地市场传导后,不仅影响相关股票交易情绪,也放大了量化策略在快速下跌环境中的净值波动。
据报道,Prysmian 已与 Molex 签署一项最高金额达 55 亿欧元的协议,合作内容涉及数据中心光缆供应。该协议的核心对象是面向数据中心场景的光通信线缆,属于支撑服务器集群、网络互联和高带宽数据传输的基础设施环节。
随着 AI 训练、推理和云端服务对数据中心内部与跨机房连接能力提出更高要求,光缆等底层网络组件在算力基础设施中的重要性持续上升。此次交易金额上限达到 55 亿欧元,显示相关供应链订单规模较大,Prysmian 与 Molex 的合作将围绕数据中心连接需求展开。
据报道,Trend Micro 分析 2026 年 3 月 19 日至 4 月 21 日的 200 份 Gemini CLI 会话日志后发现,俄语威胁行为者“bandcampro”滥用 Google 开源 Gemini CLI 执行黑客任务,并控制一个小型僵尸网络。该行为者使用 AI 破解密码、搭建住宅代理、入侵 WordPress 商户,并规划面向美国和加拿大老年人的电话加密货币诈骗。日志显示,其还借助 AI 迁移 C&C 服务器,控制一家牙科诊所 8 台电脑并访问 OpenDental 数据库。整个 C&C 操作由约 5KB 的 3 个明文文件组成,AI 曾在未被要求时主动提出 59 次改进建议,并在 6 分钟内完成新架构迁移和错误修复。
据报道,网传 DeepSeek 向一名清华姚班实习生开出税前 5500 元日薪,按每月 22 天计算,对应月薪超过 12 万元。DeepSeek 尚未公开确认这一薪资信息。
公开实习岗位中,DeepSeek 常见日薪区间通常为 500 元至 1000 元。围绕高薪招聘引发的薪资倒挂问题,网传说法称,如果新人薪资高于组内老员工,需要先由多名老员工打分,达到及格标准后才能通过。相关信息目前仍停留在网传层面。
据报道,Recursive 联合创始人、前 Meta FAIR 研究总监田渊栋回忆称,月之暗面联合创始人吴育昕在 2015 年曾是他的实习生。为说服上级录用吴育昕,田渊栋曾在 Facebook 办公楼屋顶争论一个小时,最后甚至押上自己的声誉。
此后,吴育昕加入 FAIR,与何恺明共同提出 Group Normalization,并创建 Detectron2。如今,他在月之暗面参与 Kimi 基础模型研发。田渊栋还表示,大模型时代更需要亲自看数据、写代码和快速试错的技术型实干者,创始人也不例外。
据报道,市场分析师 qinbafrank 表示,仅靠发布更多大模型、披露更高 Token 使用量或继续上调资本开支,已不足以扭转市场对 AI 投资回报的担忧。其认为,市场更关注一组能够相互印证的基本面信号,包括 AI 收入来源持续扩大,企业客户数、生产级工作负载、付费席位、续约率和单客户支出同步增长,且在剔除 OpenAI、Anthropic 等少数大客户后需求仍保持强劲。
与此同时,AI 新增毛利额需持续快于折旧、能源、网络和人才等新增成本增长,在单位推理成本下降的同时,总毛利额继续提升。投资者也将重点观察订单积压能否在未来 12 至 24 个月加快转化为收入,新建算力上线后的利用率、客户消费是否超过初始承诺,以及自研芯片和模型优化能否带来可验证的经济效益。对于即将公布的二季度财报,市场更期待 AI 与云收入超预期、利润率基本稳定、资本开支受控且自由现金流停止恶化;若收入质量、毛利率和现金流未改善,相关担忧或将进一步加剧。
共享一手资讯和项目机会,与 10w+ AI 爱好者同行。