据 1M AI News 监测,Elon Musk 在 X 上发帖称,诉 OpenAI 案中「任何胜诉所得都将捐给慈善机构,绝不会以任何方式让自己获利」。
该案由 Musk 于 2024 年提起,指控 OpenAI CEO Sam Altman 及合作伙伴微软背弃了 OpenAI 创立时的非营利使命,转向营利结构谋取商业利益。Musk 是 OpenAI 联合创始人之一,2015 年参与创立并投入约 3800 万美元,2018 年离开,目前领导 AI 公司 xAI。
3 月 13 日,主审法官 Yvonne Gonzalez Rogers 在加州奥克兰的庭前会议上裁定,不排除 Musk 方专家证人、经济咨询公司 Berkeley Research Group 经济学家 C. Paul Wazzan 的损害赔偿报告。该报告测算,若陪审团认定 OpenAI 违约,OpenAI 应赔偿最高 1090 亿美元。Wazzan 另外测算微软应赔偿 250 亿美元,但法官尚未就此作出裁定。法官同时初步裁定 Musk 不得寻求惩罚性赔偿。
不过法官指出,即使 Musk 胜诉,实际赔偿额仍可能远低于 1090 亿美元:部分诉求可能已过诉讼时效,陪审团也可能认定 Musk 对 OpenAI 的成功只应获得部分功劳。案件定于 4 月 28 日进入陪审团审判。OpenAI 和微软否认全部指控。
据 1M AI News 监测,360 安全团队就安全龙虾(OpenClaw)通配符证书和私钥泄露事件作出回应,称系业务失误将内部域名证书打包进安装包。涉事证书 *.myclaw.360.cn 实际解析地址为 127.0.0.1 本地回环地址,仅在用户本机使用,不对外提供任何服务。
收到多名安全研究员报告后,360 已申请吊销该证书,目前证书已失效,无法再用于任何合法的 HTTPS 加密通信,普通用户不受影响。泄露期间中间人劫持的理论风险仍然存在,但由于证书对应服务仅运行于本机环境,实际风险相对有限。
据 1M AI News 监测,前 DeepSeek 研究员、小米 MiMo 大模型负责人罗福莉与北京大学合作团队近日在 arXiv 发表论文,提出用于 Agent 强化学习的动作级资源管理系统 ARL-Tangram,已部署于 MiMo 系列模型的训练中。罗福莉为末位作者(注:末位作者通常是科研项目负责人、导师,在学术论文中居最后一位,多为该研究的通讯作者)。
ARL-Tangram 的核心思路是将外部资源管理粒度从轨迹级或任务级细化至动作级(即单次原子调用),对 CPU、GPU、API 配额等外部资源实施统一调度与弹性分配,避免为每条完整轨迹全程预留固定资源所导致的闲置浪费。实验涵盖 AI 编码、DeepSearch 网络搜索、视觉模型提示词蒸馏三类 Agent 强化学习任务,结果显示平均动作完成时间(ACT)提升最高 4.3 倍,训练单步时长缩短最高 1.5 倍,外部资源消耗节省高达 71.2%。
据 1M AI News 监测,苹果 AI 研究团队在 ICLR 2026 发表论文,提出 3D 生成方法 LiTo(表面光场标记化),可从单张图片生成完整 3D 对象,在切换视角时保持镜面高光、菲涅耳反射等光影效果的一致性。
此前大多数 3D 重建方法只能处理几何形状或漫反射外观之一,难以还原随视角变化的光影细节。LiTo 将物体几何与视角相关外观统一编码进同一套 3D 潜在空间,再通过潜在流匹配模型在单张图片条件下生成结果。训练数据为数千个 3D 对象,每个对象从 150 个视角、3 种光照条件渲染而成,解码器通过随机抽取子样本学习完整几何与外观重建。实验显示,LiTo 在视觉质量和对输入图片的还原度上均优于现有方法 TRELLIS。论文由 Jen-Hao Rick Chang、Xiaoming Zhao(并列一作)、Dorian Chan、Oncel Tuzel 撰写,已在 arXiv 公开。
据 1M AI News 监测,错误监控平台 Sentry 联合创始人 David Cramer 今日在 X 发文,直言自己「完全确信」大语言模型目前不是净生产力提升。他认为 LLM 降低了上手门槛,却持续产生越来越复杂、难以维护的代码,从他自身经历看,正在拖慢长期开发速度。
Cramer 说他质疑的是「agentic engineering」,即让模型自动生成代码并直接上线这种方式,认为其产出代码质量明显更差,大量积累后成为净负担。具体问题包括:在复杂代码库中增量开发时表现差、无法生成符合语言惯用风格的接口,以及「纯粹的 slop 测试生成」。他特别点名 OpenClaw:「如果让我押注,OpenClaw 这类工具因为生成代码太多,已经难以自救了(irrecoverable)」,并强调「软件仍然很难构建,从来都不是关于最小化或最大化代码行数的问题」。
Cramer 补充,以上判断主要基于他在有正常复杂度的成熟代码库中做功能开发的体验;他近期贡献增加,原因是「觉得有意思」而非「变容易了」,认为本质上是心理层面的变化,实际耗时并无本质差异。
据 1M AI News 监测,Mistral AI 今日发布 Leanstral,首个专为形式化验证工具 Lean 4 设计的开源代码 Agent。AI 代码生成的核心瓶颈是人工审查,Leanstral 让 AI 生成代码的同时输出可被 Lean 4 自动校验的形式化证明,绕开这一环节。模型采用稀疏 MoE 架构,120B 总参数、6B 激活参数,Apache 2.0 开源,针对 lean-lsp-mcp 做了专项训练优化。可在 Mistral Vibe 中零配置启动(命令 /leanstall`),或通过免费 API 端点 `labs-leanstral-2603 调用,支持下载权重自部署。
Mistral 同步发布了新评估基准 FLTEval,以 Lean 4 社区的费马大定理形式化项目为测试场。成本对比:Leanstral pass@2 以 $36 得分 26.3,超过成本 $549 的 Claude Sonnet 4.6(23.7 分);pass@16 以 $290 得分 31.9,领先 Sonnet 8 分,而 Claude Opus 4.6 需 $1,650 才达到 39.6 分。开源模型中,Qwen3.5-397B-A17B 需运行 4 次才到 25.4 分,仍低于 Leanstral pass@2。
据 1M AI News 监测,金融数据平台 Unusual Whales 今日将 Polymarket 预测市场的实时数据接入其 MCP 服务器和公开 API 产品线。此前,Unusual Whales MCP 已让 Claude、OpenClaw、Codex、Cursor、Perplexity 等 AI 工具可实时调用期权流、暗池成交、国会议员交易记录及机构 13F 持仓披露等金融数据;此次新增 Polymarket 数据,AI 助手可进一步查询各预测合约的实时价格与持仓情况。
官方将典型用例定义为「构建潜在的内幕交易跟单机器人」和「打造聪明钱追踪仪表盘」,以追踪 Polymarket 上知情交易者的持仓动向。接入方式为申请 API 密钥后配置 MCP 服务器。
BlockBeats 消息,3 月 17 日,蚂蚁集团董事长、1994 届本科校友井贤栋与同为 1994 届本科校友的夫人,共同向母校中国上海交通大学捐赠价值 1.3 亿元的现金和蚂蚁集团股份,用于支持上海交大「AI 未来基石基金」。
中国上海交通大学校长、中国科学院院士丁奎岭代表学校向井贤栋学长荣聘校董表示热烈祝贺,并对其慷慨捐赠致以诚挚感谢。他指出,井贤栋学长不仅捐赠支持母校发展,更以深度参与的姿态推动学校 AI 战略从蓝图走向现实,彰显了交大人「饮水思源、爱国荣校」的精神底色。母校将与广大校友进一步同心同向、聚力前行,共同为建设世界一流大学作出更大贡献。
[原文链接]据 1M AI News 监测,OpenAI 对 Stargate 计算基础设施项目进行了重大战略调整,放弃自建数据中心的计划,全面转向从 AWS、谷歌云等云服务商租用算力。根据投资者材料,OpenAI 到 2030 年的总算力支出目标已从此前的 1.4 万亿美元大幅下调至约 6000 亿美元。
公司同时将 Stargate 重组为三个团队:数据中心技术设计、与云服务商和芯片厂商的商务合作,以及现场设施管理。前英特尔首席技术与 AI 官 Sachin Katti 被任命为新领导层之一,他于去年 11 月离开英特尔加入 OpenAI。
战略转向的直接原因是融资困难。Stargate 于 2025 年 1 月作为与软银和甲骨文的大型数据中心合资项目公布,但项目启动一年多后仍未雇佣任何员工或实质性开发数据中心。贷方不愿为一家仍有巨额经营亏损的公司提供数十亿美元的建设融资。OpenAI 本月早些时候还退出了在得克萨斯州阿比林的甲骨文 Stargate 扩建谈判。
作为替代方案,OpenAI 与软银达成妥协:OpenAI 签署长期租约并控制设施设计,由软银能源负责开发和持有项目。Stargate 全部站点的规划总容量仍为近 7 吉瓦,三年投资总额超 4000 亿美元。OpenAI 正将算力方向转向英伟达的 Vera Rubin 平台,目标是 2026 年下半年实现首个吉瓦级容量。
据 1M AI News 监测,阿里旗下钉钉今日举办年度新品发布会,正式发布企业级 AI Agent 平台悟空 WuKong。钉钉创始人、CEO 陈航(花名无招)与阿里集团 CEO 吴泳铭出席现场。此前阿里成立 ATH 事业群时已预告,钉钉团队将于本周发布企业级 AI Agent 产品。
悟空的核心技术取舍是底层 CLI 化:钉钉将全系功能(文档、日程、审批、会议、AI 表格等)重写为命令行接口,AI 可通过标准化指令直接调用企业数据,不再依赖视觉识别与鼠标模拟。配套发布 AI 原生文件系统 Real Doc,AI 可按行号或关键词精确修改文档片段而非读写全文,每步操作自动生成可回退快照,AI 产出文件统一归档至可溯源的云端工作空间。
首批推出十大 OPT(One Person Team,一人团队)行业 Skills 套件,覆盖一人电商、跨境电商、知识博主、门店、开发、设计、制造、法律、财税、猎头等场景,同步开放企业级 AI 能力市场(Skill、Agent、Service 全体系),所有技能统一纳入安全扫描与分级管控。阿里旗下淘宝、支付宝、阿里云等核心业务能力后续将逐步作为 Skill 接入。
安全层面,悟空采用底层沙箱隔离与全链路审计日志,将合规要求内建于架构而非事后叠加,直接针对开源 Agent 在企业内部部署的权限管控痛点。硬件方面同步发布 DingTalk A1 Pro 录音卡(多麦克风阵列、实时转录摘要)、Cleer H1 AI 耳机,以及支持 1 台 PC 环境与 5 台手机环境并发的 Realbox 企业计算设备。
悟空即日开启邀测,支持 macOS(M 系列芯片)和 Windows 10 64 位(1909 及以上),Intel 版 macOS 即将上线。