单一来源
当前只有一个可用来源，尚未完成多源交叉核验蚂蚁集团与中金公司达成战略合作
蚂蚁集团与中金公司签署战略合作协议，双方将围绕金融大模型技术创新、AI 赋能财富管理、客户全生命周期服务等领域开展合作，共同探索「AI+ 金融」的创新路径。
Evidence
来源与证据
当前仅有一个可用来源，尚未完成多源交叉核验。
- 发布时间
- 内容处理
- AI 翻译 / 摘要，需结合原文核对
相关资讯
荣耀李健官宣荣耀 700 系列发布会定档 11 月 23 日，鞠婧祎代言
11 月 13 日，荣耀终端股份有限公司 CEO 李健在微博发文预热即将推出的荣耀 700 系列新机，公布新机的代言人为鞠婧祎，并官宣新品的发布时间定档 11 月 23 日。在微博中，李健首先宣布“欢迎#荣耀700#系列代言人 @鞠婧祎 与我们一起踏上追光之旅。”这也印证了之前大家对荣耀 700 系列代言人的猜测。而在微博最后，李健表示：11 月 23 日，发布会见！在配图的定档海报中，明确显示荣耀 700 系列追光之旅暨全场景新品发布会定档 11 月 23 日 14:30。与此同时，荣耀品牌营销部总裁、全球首席营销官（CMO）关海涛也在微博发文表示“11 月 23 日，武汉见”，可见荣耀 7
Claude 辅助完成 19 万行代码 形式化三元哥德巴赫猜想证明
Claude 辅助完成 19 万行代码 形式化三元哥德巴赫猜想证明 20 分钟前 独立开发者 Charlie Reams 借助 Claude Code 完成三元哥德巴赫猜想的形式化证明，累计产出 19.4 万行零 sorry 的 Lean 4 代码，所有推理均通过机器严格验证。过程中 AI 自主发现 2013 年 Harald Helfgott 原版证明里的 11 处问题，包括常数写错、不等式不成立、引用数据偏差、主弧尺度混淆等漏洞并完成修补。后续二人又将证明依赖的外部额外假设从 5 项精简至仅剩 2 项已有的公开数值验证结果，大幅推进了该证明的严谨性闭环。这一事件也推动数学界对「证明完成
李飞飞最新世界模型正式开放，我用它一句话造出重庆山城
之前凭借「一张图片生成整个 3D 世界」刷屏的李飞飞世界模型，现在终于向所有人开放了。 就在今天，由「AI 教母」李飞飞创办的 World Labs 正式开放世界模型 Atlas，同步上线网页应用和开发者 API，新用户注册即送 10000 积分。 体验地址：atlas.worldlabs.ai 现在，我们也能亲自体验这项曾经只能在演示视频里看到的能力：随手画几栋房子、一条小路，AI 就能把草图变成一个可以自由探索的 3D 世界。甚至还能调整场景布局、规划镜头、生成视频，最后导出到 Blender 或游戏引擎里继续加工。 这次开放还带来了两款全新的 Web 应用 Viewfinder 和 Ch
消息称 OpenAI 解散机器人团队并入常规模型训练
消息称 OpenAI 解散机器人团队并入常规模型训练 1 小时前 OpenAI 被传已解散独立机器人团队，原成员并入常规模型训练体系，内部判断认为机器人只是通用模型的一类垂类任务，所需智能能力应在通用基础模型框架下统一解决，目前相关细节尚未得到官方确认。这并非 OpenAI 首次调整机器人路线，此前其曾因物理交互数据难以规模化转向大模型，长期秉持「只做大脑，不做身体」的路线。2026 年该方向路线曾转向自建身体、掌握数据闭环，此次调整后 OpenAI 不再保留独立机器人建制，但硬件与招聘并未完全停摆，机器人方向疑似仍被保留，定位转为基础模型的一个应用场景，反映出通用模型路线正向具身智能领域
AI 翻译、摘要和解读仅用于辅助判断；涉及重要决策时，请回到上方来源核实。