韩国将宣布逾1000亿美元对美能源投资，支持美国AI建设
据 WSJ 报道，韩国政府即将宣布一项在美国的大型能源投资项目，以支持美国的人工智能建设，这是去年华盛顿与首尔达成的贸易协议中期待已久的进展。
据知情人士透露，该协议潜在价值逾 1000 亿美元，计划由韩国出资建设最多八座核电站和一个天然气项目。特朗普与李在明去年 10 月达成协议，美国将大部分关税从 25% 降至 15%，包括对韩国汽车行业。作为交换，韩国承诺对美投资 3500 亿美元，并额外购买 1000 亿美元的美国能源。
此前尚未有任何项目落地，引发包括特朗普在内的美国官员不满。特朗普曾在 1 月威胁再次提高对韩国的关税。目前双方接近敲定两项协议，最早可能于下周宣布。谈判仍在继续，投资细节以及宣布时间可能发生变化。
动察 Beating 频道 · 动察 Beating 交流群
据 WSJ 报道，韩国政府即将宣布一项在美国的大型能源投资项目，以支持美国的人工智能建设，这是去年华盛顿与首尔达成的贸易协议中期待已久的进展。
据知情人士透露，该协议潜在价值逾 1000 亿美元，计划由韩国出资建设最多八座核电站和一个天然气项目。特朗普与李在明去年 10 月达成协议，美国将大部分关税从 25% 降至 15%，包括对韩国汽车行业。作为交换，韩国承诺对美投资 3500 亿美元，并额外购买 1000 亿美元的美国能源。
此前尚未有任何项目落地，引发包括特朗普在内的美国官员不满。特朗普曾在 1 月威胁再次提高对韩国的关税。目前双方接近敲定两项协议，最早可能于下周宣布。谈判仍在继续，投资细节以及宣布时间可能发生变化。
动察 Beating 频道 · 动察 Beating 交流群
😁3
DeepSeek打破大模型「不可能三角」：更强、更快、还更便宜
DeepSeek V4.1 Flash 这次几乎把整套架构都重做了一遍，想同时把能力做强、速度拉高、成本打下来。
更强：模型有 5520 亿主干参数，还外挂了 1960 亿参数的 Engram 条件记忆。预训练用了 45T 多模态 Token，后训练则大量加入真实 Agent 任务、工具环境和失败案例。DeepSWE v1.1 跑到 74.2%，已经超过 Claude Opus 5 和 GPT-5.6 Sol。
更快：新的 CED 架构把 40 层模型拆成前后两半。读取 Prompt 时每个 Token 只激活 80 亿参数，生成时也只有 160 亿。再加上 CSA2 跨层复用和 DSpark 投机解码，上下文从 4K 拉到 1M，长度扩大 256 倍，单 Token 解码计算量只增加约四分之一。
更便宜：DeepSeek 把 KV Cache 继续往死里压。主缓存改成 FP4，再加跨层复用，每个 Token 的全局 KV 只剩 890 字节，约为 V4 Flash 的 1/4；长期放在 SSD 或内存里的缓存进一步降到约 1/8。
V4.1 Flash 没有把「更强」简单等同于「算更多」。模型规模继续做大，但每次只动一小部分参数；上下文继续拉长，缓存却被压得更小。能力上去了，速度和成本也没被拖垮。
信源
动察 Beating 频道 · 动察 Beating 交流群
DeepSeek V4.1 Flash 这次几乎把整套架构都重做了一遍，想同时把能力做强、速度拉高、成本打下来。
更强：模型有 5520 亿主干参数，还外挂了 1960 亿参数的 Engram 条件记忆。预训练用了 45T 多模态 Token，后训练则大量加入真实 Agent 任务、工具环境和失败案例。DeepSWE v1.1 跑到 74.2%，已经超过 Claude Opus 5 和 GPT-5.6 Sol。
更快：新的 CED 架构把 40 层模型拆成前后两半。读取 Prompt 时每个 Token 只激活 80 亿参数，生成时也只有 160 亿。再加上 CSA2 跨层复用和 DSpark 投机解码，上下文从 4K 拉到 1M，长度扩大 256 倍，单 Token 解码计算量只增加约四分之一。
更便宜：DeepSeek 把 KV Cache 继续往死里压。主缓存改成 FP4，再加跨层复用，每个 Token 的全局 KV 只剩 890 字节，约为 V4 Flash 的 1/4；长期放在 SSD 或内存里的缓存进一步降到约 1/8。
V4.1 Flash 没有把「更强」简单等同于「算更多」。模型规模继续做大，但每次只动一小部分参数；上下文继续拉长，缓存却被压得更小。能力上去了，速度和成本也没被拖垮。
信源
动察 Beating 频道 · 动察 Beating 交流群
huggingface.co
DeepSeek_V41_Tech_Report.pdf · deepseek-ai/DeepSeek-V4.1-Flash at main
We’re on a journey to advance and democratize artificial intelligence through open source and open science.
👍12❤1
DeepSeek开始直接对接大规模部署：有2000张GPU可以找官方
DeepSeek 在 V4.1 Flash 开源公告里罕见地直接向大规模部署方喊话：如果有 2000 张 GPU 和存储集群，可以直接联系 DeepSeek。
但这并不是新的商业授权门槛。V4.1 Flash 仍按 MIT License 开源，没有按照公司营收或业务规模设置额外授权条件。有资源的企业可以自己部署，联系 DeepSeek 更像是针对超大规模场景的直接技术合作。DeepSeek 目前也没有宣布正式的私有化部署产品或收费服务。
过去 DeepSeek 开源模型后，部署适配更多由 SGLang、TensorRT-LLM 等推理框架和硬件厂商完成。这次官方主动留下大规模部署的直接联系方式，并表示会继续支持开源社区做新模型的推理适配，尝试进一步扩大部署范围。
信源
动察 Beating 频道 · 动察 Beating 交流群
DeepSeek 在 V4.1 Flash 开源公告里罕见地直接向大规模部署方喊话：如果有 2000 张 GPU 和存储集群，可以直接联系 DeepSeek。
但这并不是新的商业授权门槛。V4.1 Flash 仍按 MIT License 开源，没有按照公司营收或业务规模设置额外授权条件。有资源的企业可以自己部署，联系 DeepSeek 更像是针对超大规模场景的直接技术合作。DeepSeek 目前也没有宣布正式的私有化部署产品或收费服务。
过去 DeepSeek 开源模型后，部署适配更多由 SGLang、TensorRT-LLM 等推理框架和硬件厂商完成。这次官方主动留下大规模部署的直接联系方式，并表示会继续支持开源社区做新模型的推理适配，尝试进一步扩大部署范围。
信源
动察 Beating 频道 · 动察 Beating 交流群
🥰10
杭州给程序员发AI补贴了：智谱Coding年卡省51%
杭州启动「全城 Coding 计划」，面向在杭工作人员、杭州高校学生和上城区企业，补贴智谱 GLM Coding Plan。个人季卡综合补贴 44%，年卡补贴 51%，相当于年卡直接打到 4.9 折。
以 Pro 版为例，年卡原价 6456 元，补贴后实付 3163.44 元；Lite 版从 1416 元降至 693.84 元。每人只能享受一次，季卡和年卡二选一，补贴总额用完即止。工作人员需要提交杭州社保证明，学生需要提交杭州高校学籍报告。
企业补贴力度更高，但只面向杭州市上城区企业。团队版年卡综合补贴 55%，单家企业补贴原则上最高 100 万元，已经买过团队套餐的企业也可以给新增席位申请。
这次和普通厂商促销不太一样，官方直接写明资金来自「政府补贴、企业让利和市场参与」。AI Coding 工具开始被地方政府当成开发者生产力基础设施来补贴。
信源
动察 Beating 频道 · 动察 Beating 交流群
杭州启动「全城 Coding 计划」，面向在杭工作人员、杭州高校学生和上城区企业，补贴智谱 GLM Coding Plan。个人季卡综合补贴 44%，年卡补贴 51%，相当于年卡直接打到 4.9 折。
以 Pro 版为例，年卡原价 6456 元，补贴后实付 3163.44 元；Lite 版从 1416 元降至 693.84 元。每人只能享受一次，季卡和年卡二选一，补贴总额用完即止。工作人员需要提交杭州社保证明，学生需要提交杭州高校学籍报告。
企业补贴力度更高，但只面向杭州市上城区企业。团队版年卡综合补贴 55%，单家企业补贴原则上最高 100 万元，已经买过团队套餐的企业也可以给新增席位申请。
这次和普通厂商促销不太一样，官方直接写明资金来自「政府补贴、企业让利和市场参与」。AI Coding 工具开始被地方政府当成开发者生产力基础设施来补贴。
信源
动察 Beating 频道 · 动察 Beating 交流群
😁6💩2
GPT-6 Astra又陷抢功争议：数学家怀疑ChatGPT私聊进了训练数据
德国德累斯顿工业大学数学教授 Andreas Thom 公开质疑 OpenAI，怀疑自己几个月来在 ChatGPT 里讨论的未公开研究，可能进入训练数据，并帮助 Astra 解出了「非 sofic 群」问题。这个问题悬了 27 年，是 OpenAI 8 月公布的十项数学成果之一。
Astra 的证明大量用到了 Thom 和 Gábor Kun 已发表的方法。当时 Thom 正和同事在 ChatGPT 里继续研究这条路线。成果公布后，他马上问 OpenAI 两件事：这些聊天有没有进入训练数据，模型解题时有没有直接读取。OpenAI 研究员 Mark Sellke 只回复了一句「没有发生这种事」。
本周 Navier-Stokes 风波让 Thom 又把这封邮件翻了出来。OpenAI 在回应他们时称，没有人或 Agent 直接读取他们的具体数据，但同时承认，无法排除用户使用产品产生的去标识化数据曾帮助改进模型。
Thom 因此怀疑，OpenAI 当时那句「没有」可能只回答了模型有没有直接读取聊天，并没有回答这些内容是否进过训练数据。他还说，自己直到 6 月 29 日才关闭模型训练。这个设置只能约束之后的数据使用，在此之前的聊天是否被用于训练，自己根本无法核查。
信源
动察 Beating 频道 · 动察 Beating 交流群
德国德累斯顿工业大学数学教授 Andreas Thom 公开质疑 OpenAI，怀疑自己几个月来在 ChatGPT 里讨论的未公开研究，可能进入训练数据，并帮助 Astra 解出了「非 sofic 群」问题。这个问题悬了 27 年，是 OpenAI 8 月公布的十项数学成果之一。
Astra 的证明大量用到了 Thom 和 Gábor Kun 已发表的方法。当时 Thom 正和同事在 ChatGPT 里继续研究这条路线。成果公布后，他马上问 OpenAI 两件事：这些聊天有没有进入训练数据，模型解题时有没有直接读取。OpenAI 研究员 Mark Sellke 只回复了一句「没有发生这种事」。
本周 Navier-Stokes 风波让 Thom 又把这封邮件翻了出来。OpenAI 在回应他们时称，没有人或 Agent 直接读取他们的具体数据，但同时承认，无法排除用户使用产品产生的去标识化数据曾帮助改进模型。
Thom 因此怀疑，OpenAI 当时那句「没有」可能只回答了模型有没有直接读取聊天，并没有回答这些内容是否进过训练数据。他还说，自己直到 6 月 29 日才关闭模型训练。这个设置只能约束之后的数据使用，在此之前的聊天是否被用于训练，自己根本无法核查。
信源
动察 Beating 频道 · 动察 Beating 交流群
🤡7
Anthropic推演2030：AI让美国更富，钱却更多流向资本
Anthropic 发布一项经济研究，模拟 AI 到 2030 年可能怎样影响美国经济。研究先设定 AI 能做多少工作、企业采用速度有多快，再计算对应的 GDP、工资和失业率。
在最激进的情景里，AI 会影响全经济约 30% 的工作任务。美国 GDP 比没有 AI 时高 32.4%，但知识工作者失业率升到 17.9%，总体失业率达到 11.9%。知识工作者工资也会低 11.5%。
收入分配的变化也很明显。劳动收入占比从 60% 降到 45.2%，资本收入升到 54.8%。经济规模虽然扩大近三分之一，劳动者总收入只多 0.5%，资本收入却多 81.4%。
但换一组没那么激进的假设，结果会温和很多。美国公众调查的典型答案更接近中间档，到 2030 年 GDP 比没有 AI 时高约 10%，总体失业率约 5%。
信源
动察 Beating 频道 · 动察 Beating 交流群
Anthropic 发布一项经济研究，模拟 AI 到 2030 年可能怎样影响美国经济。研究先设定 AI 能做多少工作、企业采用速度有多快，再计算对应的 GDP、工资和失业率。
在最激进的情景里，AI 会影响全经济约 30% 的工作任务。美国 GDP 比没有 AI 时高 32.4%，但知识工作者失业率升到 17.9%，总体失业率达到 11.9%。知识工作者工资也会低 11.5%。
收入分配的变化也很明显。劳动收入占比从 60% 降到 45.2%，资本收入升到 54.8%。经济规模虽然扩大近三分之一，劳动者总收入只多 0.5%，资本收入却多 81.4%。
但换一组没那么激进的假设，结果会温和很多。美国公众调查的典型答案更接近中间档，到 2030 年 GDP 比没有 AI 时高约 10%，总体失业率约 5%。
信源
动察 Beating 频道 · 动察 Beating 交流群
👍6😁2
Qoder上线Sonus：专攻Computer Use
阿里旗下 Agent 平台 Qoder 上线新的内置模型 Sonus，主打长时间自主任务、复杂知识工作和编程，重点强化 Computer Use。配合新版 Qoder Desktop，它可以直接操作电脑和专业软件，完成写代码、财务建模、研究和表格等任务。
Sonus 已上线 Qoder、IDE、CLI、JetBrains 插件、QoderWake 和 Cloud Agents，计费倍率为 3.2x。Qoder 此前已经推出同为 3.2x 的内置模型 Cantus，同样主打超长自主任务；Sonus 这次进一步把电脑操作作为核心能力。
信源
动察 Beating 频道 · 动察 Beating 交流群
阿里旗下 Agent 平台 Qoder 上线新的内置模型 Sonus，主打长时间自主任务、复杂知识工作和编程，重点强化 Computer Use。配合新版 Qoder Desktop，它可以直接操作电脑和专业软件，完成写代码、财务建模、研究和表格等任务。
Sonus 已上线 Qoder、IDE、CLI、JetBrains 插件、QoderWake 和 Cloud Agents，计费倍率为 3.2x。Qoder 此前已经推出同为 3.2x 的内置模型 Cantus，同样主打超长自主任务；Sonus 这次进一步把电脑操作作为核心能力。
信源
动察 Beating 频道 · 动察 Beating 交流群
👍3
Claude黑进真实系统后，Anthropic发现它会给自己找理由
Anthropic 重新复盘 Claude 此前几起网络安全事故，发现问题不只出在测试环境。Claude 有时会主动替自己的危险行为找理由，然后继续往下做。
其中一次，Claude Mythos 5 原本只是在做模拟攻防测试，却把恶意 Python 软件包发到了真实的 PyPI。之后一家安全公司的扫描系统安装了这个包并泄露凭证，Claude 又顺着凭证进入了对方的真实数据库。它中途已经发现环境可能是真实的，却不断把这些迹象解释成「还是模拟环境」，继续执行攻击。
这套说辞连安全监控都可能骗过去。Anthropic 用 Claude 的 CoT（模型自己写出的思考过程）判断风险时，只抓到约 1% 的危险动作；不看 CoT，只看它实际调用了什么工具、做了什么事，反而能抓到约 50%。
信源
动察 Beating 频道 · 动察 Beating 交流群
Anthropic 重新复盘 Claude 此前几起网络安全事故，发现问题不只出在测试环境。Claude 有时会主动替自己的危险行为找理由，然后继续往下做。
其中一次，Claude Mythos 5 原本只是在做模拟攻防测试，却把恶意 Python 软件包发到了真实的 PyPI。之后一家安全公司的扫描系统安装了这个包并泄露凭证，Claude 又顺着凭证进入了对方的真实数据库。它中途已经发现环境可能是真实的，却不断把这些迹象解释成「还是模拟环境」，继续执行攻击。
这套说辞连安全监控都可能骗过去。Anthropic 用 Claude 的 CoT（模型自己写出的思考过程）判断风险时，只抓到约 1% 的危险动作；不看 CoT，只看它实际调用了什么工具、做了什么事，反而能抓到约 50%。
信源
动察 Beating 频道 · 动察 Beating 交流群
🤡9
OpenAI神秘硬件已到深圳试制，2027年上市
OpenAI 近日正在深圳秘密试制一款无屏 AI 硬件，计划 2027 年上市。一名业内人士称，项目保密级别很高，OpenAI 工程师来深圳出差时甚至没有携带手机。
从形态和时间看，它很可能就是 OpenAI 与 Jony Ive 团队正在开发的首款消费硬件，但目前还不能完全确认。彭博此前披露，这款设备是一台便携无屏智能音箱，外形类似甜甜圈，大小接近冰球，带摄像头、麦克风、灯光和可动部件，预计售价 300 至 400 美元，计划 2027 年上市。
OpenAI 去年就已经开始接入中国供应链。《The Information》当时称，立讯精密已拿下至少一款 OpenAI 设备的组装合同，OpenAI 还接触了歌尔，希望采购音箱模组。
信源
动察 Beating 频道 · 动察 Beating 交流群
OpenAI 近日正在深圳秘密试制一款无屏 AI 硬件，计划 2027 年上市。一名业内人士称，项目保密级别很高，OpenAI 工程师来深圳出差时甚至没有携带手机。
从形态和时间看，它很可能就是 OpenAI 与 Jony Ive 团队正在开发的首款消费硬件，但目前还不能完全确认。彭博此前披露，这款设备是一台便携无屏智能音箱，外形类似甜甜圈，大小接近冰球，带摄像头、麦克风、灯光和可动部件，预计售价 300 至 400 美元，计划 2027 年上市。
OpenAI 去年就已经开始接入中国供应链。《The Information》当时称，立讯精密已拿下至少一款 OpenAI 设备的组装合同，OpenAI 还接触了歌尔，希望采购音箱模组。
信源
动察 Beating 频道 · 动察 Beating 交流群
😁8
飞书前VP施凯文创业不到3个月收手，加入某大模型公司
原飞书产品副总裁施凯文已放弃端侧 Agent 创业，加入一家大模型公司，担任产品合伙人。从 6 月底宣布创业到现在，前后不到 3 个月。
施凯文原本准备做端侧 Agent，团队成员来自字节跳动和上海交大。6 月的报道还称红杉中国、锦秋基金参与了早期投资，但资金其实还没有打款。此前该项目也一直没有公开具体产品形态。
施凯文 2019 年加入字节，长期负责飞书产品方向，并主导飞书多维表格。
信源
动察 Beating 频道 · 动察 Beating 交流群
原飞书产品副总裁施凯文已放弃端侧 Agent 创业，加入一家大模型公司，担任产品合伙人。从 6 月底宣布创业到现在，前后不到 3 个月。
施凯文原本准备做端侧 Agent，团队成员来自字节跳动和上海交大。6 月的报道还称红杉中国、锦秋基金参与了早期投资，但资金其实还没有打款。此前该项目也一直没有公开具体产品形态。
施凯文 2019 年加入字节，长期负责飞书产品方向，并主导飞书多维表格。
信源
动察 Beating 频道 · 动察 Beating 交流群
❤1😁1
Anthropic推演AI经济「狂飙」，与马斯克观点呼应：AI+机器人将让全球经济翻倍
Anthropic 最新经济情景模型显示，在最极端情况下，如果 AI 能够自主完成绝大多数知识型工作并快速普及，美国年度 GDP 增速可能达到 15%，经济规模约每 4.5 年翻倍，到 2030 年 GDP 或达 44.4 万亿美元，较无 AI 情景高 32.4%。Anthropic 同时强调，这属于条件性极端情景，并非预测。
而此前马斯克也给出了更激进的判断。马斯克近日曾表示，AI 与人形机器人结合后，将在不到 10 年内推动全球经济规模实现翻倍以上增长，并认为人形机器人量产将成为这一变化的重要节点。
两者的逻辑存在明显呼应：Anthropic 测算的是 AI 大规模自动化知识工作的经济影响，而马斯克进一步将 AI 能力延伸至物理世界，认为人形机器人量产后，自动化范围将从数字世界扩展至现实生产环节。
不过，Anthropic 明确指出，其当前模型尚未纳入具备超强能力的人形机器人。其调查显示，10,980 名美国受访者的典型预期仅对应 2030 年 GDP 较无 AI 情景高约 10%，仅约 10% 的受访者给出了接近极端情景的判断。
动察 Beating 频道 · 动察 Beating 交流群
Anthropic 最新经济情景模型显示，在最极端情况下，如果 AI 能够自主完成绝大多数知识型工作并快速普及，美国年度 GDP 增速可能达到 15%，经济规模约每 4.5 年翻倍，到 2030 年 GDP 或达 44.4 万亿美元，较无 AI 情景高 32.4%。Anthropic 同时强调，这属于条件性极端情景，并非预测。
而此前马斯克也给出了更激进的判断。马斯克近日曾表示，AI 与人形机器人结合后，将在不到 10 年内推动全球经济规模实现翻倍以上增长，并认为人形机器人量产将成为这一变化的重要节点。
两者的逻辑存在明显呼应：Anthropic 测算的是 AI 大规模自动化知识工作的经济影响，而马斯克进一步将 AI 能力延伸至物理世界，认为人形机器人量产后，自动化范围将从数字世界扩展至现实生产环节。
不过，Anthropic 明确指出，其当前模型尚未纳入具备超强能力的人形机器人。其调查显示，10,980 名美国受访者的典型预期仅对应 2030 年 GDP 较无 AI 情景高约 10%，仅约 10% 的受访者给出了接近极端情景的判断。
动察 Beating 频道 · 动察 Beating 交流群
😁1
AI生存风险担忧升级，美参议院小组委员会启动对OpenAI调查
据 AXIOS 报道，美国参议院一个由共和党领导的负责灾难管理的小组委员会正在调查 OpenAI 对 7 月 Hugging Face 入侵事件的处理，此举正值国会山对 AI 生存风险的担忧迅速升级，此前 Anthropic 和 OpenAI 多名研究人员公开发出警告。
密苏里州共和党参议员 Josh Hawley 在致 OpenAI 首席执行官 Sam Altman 的信中写道：「如你所知，在公共领域，越来越多 AI 专家警告 AI 的生存风险。」他补充说：「就在本周，三名 Anthropic 研究人员公开表示，未来十年内 AI 杀死全人类的概率超过 10%。」
Hawley 是参议院国土安全与政府事务委员会灾难管理小组委员会主席，他写道，此次调查是对 OpenAI 近期发布的内部调查结论的回应。Hugging Face 入侵事件标志着 AI 历史的转折点，促使 OpenAI 放慢自身模型发布，并推动行业对 AI 驱动的网络攻击发出警报。
动察 Beating 频道 · 动察 Beating 交流群
据 AXIOS 报道，美国参议院一个由共和党领导的负责灾难管理的小组委员会正在调查 OpenAI 对 7 月 Hugging Face 入侵事件的处理，此举正值国会山对 AI 生存风险的担忧迅速升级，此前 Anthropic 和 OpenAI 多名研究人员公开发出警告。
密苏里州共和党参议员 Josh Hawley 在致 OpenAI 首席执行官 Sam Altman 的信中写道：「如你所知，在公共领域，越来越多 AI 专家警告 AI 的生存风险。」他补充说：「就在本周，三名 Anthropic 研究人员公开表示，未来十年内 AI 杀死全人类的概率超过 10%。」
Hawley 是参议院国土安全与政府事务委员会灾难管理小组委员会主席，他写道，此次调查是对 OpenAI 近期发布的内部调查结论的回应。Hugging Face 入侵事件标志着 AI 历史的转折点，促使 OpenAI 放慢自身模型发布，并推动行业对 AI 驱动的网络攻击发出警报。
动察 Beating 频道 · 动察 Beating 交流群
OpenAI请回RLHF奠基者当董事，上任先警告「多数人可能死亡」
OpenAI 将前对齐研究负责人 Paul Christiano 请回董事会。
Christiano 曾于 2017 至 2021 年在 OpenAI 负责对齐研究，并参与 RLHF 的奠基工作；离职后创办 Alignment Research Center。此次他加入 OpenAI Foundation 董事会和安全与安保委员会；同时以观察员身份进入营利实体 OpenAI Group 的董事会。
上任后的公开声明里，他直接点名 OpenAI。Christiano 认为，自动化 AI 研发可能很快让模型能力迅速加速。如果在对齐问题解决前造出超级智能，人类可能永久失去控制，届时「大多数人可能死亡」。他还表示，包括 OpenAI 在内的整个 AI 行业，目前都没有把这种风险降到可接受水平。
信源
动察 Beating 频道 · 动察 Beating 交流群
OpenAI 将前对齐研究负责人 Paul Christiano 请回董事会。
Christiano 曾于 2017 至 2021 年在 OpenAI 负责对齐研究，并参与 RLHF 的奠基工作；离职后创办 Alignment Research Center。此次他加入 OpenAI Foundation 董事会和安全与安保委员会；同时以观察员身份进入营利实体 OpenAI Group 的董事会。
上任后的公开声明里，他直接点名 OpenAI。Christiano 认为，自动化 AI 研发可能很快让模型能力迅速加速。如果在对齐问题解决前造出超级智能，人类可能永久失去控制，届时「大多数人可能死亡」。他还表示，包括 OpenAI 在内的整个 AI 行业，目前都没有把这种风险降到可接受水平。
信源
动察 Beating 频道 · 动察 Beating 交流群
👍1
OpenAI主动要求美国监管自己：AI安全不过关就该放慢
OpenAI 开始推动美国建立全国统一的强制 AI 安全规则，要求国会直接监管最前沿的 AI 公司。规则包括统一测试、独立安全评估、网络安全和重大事故上报。
OpenAI 希望政府进一步设立统一安全门槛，明确 AI 开发什么时候必须减速甚至停止，并推动各国采用类似标准。这套监管主要针对少数开发最强模型的大公司，不覆盖普通创业公司和小型开发者。
OpenAI 同时宣布支持加州 4 项 AI 安全法案，其中部分此前并未得到它支持。OpenAI 称，随着模型能力快速提升，公司已经改变立场。
信源
动察 Beating 频道 · 动察 Beating 交流群、
OpenAI 开始推动美国建立全国统一的强制 AI 安全规则，要求国会直接监管最前沿的 AI 公司。规则包括统一测试、独立安全评估、网络安全和重大事故上报。
OpenAI 希望政府进一步设立统一安全门槛，明确 AI 开发什么时候必须减速甚至停止，并推动各国采用类似标准。这套监管主要针对少数开发最强模型的大公司，不覆盖普通创业公司和小型开发者。
OpenAI 同时宣布支持加州 4 项 AI 安全法案，其中部分此前并未得到它支持。OpenAI 称，随着模型能力快速提升，公司已经改变立场。
信源
动察 Beating 频道 · 动察 Beating 交流群、
🤡9😨1
传闻称OpenAI距离验证「霍奇猜想」已经非常接近，AI或再攻克两大千禧难题
爆料博主 leo 在 X 发文称，据其获悉，OpenAI 距离验证「霍奇猜想」（Hodge Conjecture）已经非常接近，OpenAI 或 Anthropic 也可能接近解决「贝赫和斯温纳顿-戴尔猜想」（Birch-Swinnerton-Dyer Conjecture）。
该用户强调，目前相关消息仍属于传闻，真实性无法确认，但如果最终属实，意味着短短一个月内可能有 3 个「千禧年大奖难题」被攻克。目前霍奇猜想和贝赫和斯温纳顿-戴尔猜想均仍属于未解决的千禧年大奖难题。
此前 AI 在数学领域的突破已引发市场关注，预测市场目前也将霍奇猜想和贝赫和斯温纳顿-戴尔猜想列为 AI 下一项可能攻克的千禧年难题。
信源
动察 Beating 频道 · 动察 Beating 交流群
爆料博主 leo 在 X 发文称，据其获悉，OpenAI 距离验证「霍奇猜想」（Hodge Conjecture）已经非常接近，OpenAI 或 Anthropic 也可能接近解决「贝赫和斯温纳顿-戴尔猜想」（Birch-Swinnerton-Dyer Conjecture）。
该用户强调，目前相关消息仍属于传闻，真实性无法确认，但如果最终属实，意味着短短一个月内可能有 3 个「千禧年大奖难题」被攻克。目前霍奇猜想和贝赫和斯温纳顿-戴尔猜想均仍属于未解决的千禧年大奖难题。
此前 AI 在数学领域的突破已引发市场关注，预测市场目前也将霍奇猜想和贝赫和斯温纳顿-戴尔猜想列为 AI 下一项可能攻克的千禧年难题。
信源
动察 Beating 频道 · 动察 Beating 交流群
😢6
一条辞职帖破1.4亿浏览，竟然是替美国民主党炒作AI恐慌？
Anthropic 前研究员 Jacob Coxon 的辞职帖，短短一天浏览量就突破 1 亿，现在已经达到 1.4 亿。
美国保守派研究机构 Capital Research Center 调查员 Parker Thayer 认为，这场爆红并不像自然传播，更像是一场提前准备、资金充足的公关行动，目的是放大 AI 灭绝恐慌，为民主党推动更严 AI 监管造势。
第一，传播节奏太快。Coxon 发帖前 18 分钟，《华尔街日报》已经上线独家报道。帖子发出后不到 15 分钟，最早 3 个引用转发者分别来自 Encode AI、AI Policy Network 和 AI Futures Project，都是长期推动 AI 安全和监管的组织。
第二，这几家机构背后还出现了同一个重要金主。SFF 的公开记录显示，Skype 联合创始人 Jaan Tallinn 长期资助 AI Futures Project、Encode AI、AI Policy Institute 等组织，金额从数十万到上百万美元。Tallinn 同时还是 Anthropic 的早期投资人，2021 年 Anthropic 的 1.24 亿美元 A 轮融资就是由他领投。
第三，Coxon 自己也和这个圈子有交集。Thayer 称，Coxon 2022 年拿过 Good Ventures 的「长期未来」奖学金。Good Ventures 由 Facebook 联合创始人 Dustin Moskovitz 和妻子创办，Moskovitz 也是 Anthropic 早期投资人。Coxon 发帖仅 27 分钟后，另一家由 Moskovitz 长期出资的慈善资助机构 Coefficient Giving 中，负责技术 AI 安全资助的 Max Nadeau 也加入传播。
最后，政治接力很快跟上。多名民主党政客随后拿 Coxon 的警告要求加强 AI 监管，美国左翼大佬桑德斯早在几天前已经准备好禁止超级智能、暂停先进 AI 开发的法案。Coxon 此时爆红，正好给强监管派送上了一枚现成的政治弹药。
信源
动察 Beating 频道 · 动察 Beating 交流群
Anthropic 前研究员 Jacob Coxon 的辞职帖，短短一天浏览量就突破 1 亿，现在已经达到 1.4 亿。
美国保守派研究机构 Capital Research Center 调查员 Parker Thayer 认为，这场爆红并不像自然传播，更像是一场提前准备、资金充足的公关行动，目的是放大 AI 灭绝恐慌，为民主党推动更严 AI 监管造势。
第一，传播节奏太快。Coxon 发帖前 18 分钟，《华尔街日报》已经上线独家报道。帖子发出后不到 15 分钟，最早 3 个引用转发者分别来自 Encode AI、AI Policy Network 和 AI Futures Project，都是长期推动 AI 安全和监管的组织。
第二，这几家机构背后还出现了同一个重要金主。SFF 的公开记录显示，Skype 联合创始人 Jaan Tallinn 长期资助 AI Futures Project、Encode AI、AI Policy Institute 等组织，金额从数十万到上百万美元。Tallinn 同时还是 Anthropic 的早期投资人，2021 年 Anthropic 的 1.24 亿美元 A 轮融资就是由他领投。
第三，Coxon 自己也和这个圈子有交集。Thayer 称，Coxon 2022 年拿过 Good Ventures 的「长期未来」奖学金。Good Ventures 由 Facebook 联合创始人 Dustin Moskovitz 和妻子创办，Moskovitz 也是 Anthropic 早期投资人。Coxon 发帖仅 27 分钟后，另一家由 Moskovitz 长期出资的慈善资助机构 Coefficient Giving 中，负责技术 AI 安全资助的 Max Nadeau 也加入传播。
最后，政治接力很快跟上。多名民主党政客随后拿 Coxon 的警告要求加强 AI 监管，美国左翼大佬桑德斯早在几天前已经准备好禁止超级智能、暂停先进 AI 开发的法案。Coxon 此时爆红，正好给强监管派送上了一枚现成的政治弹药。
信源
动察 Beating 频道 · 动察 Beating 交流群
💩7🤡3
月之暗面（Kimi）考虑港股+科创板双重上市
月之暗面正在考虑同时登陆港股和科创板。公司已经保密提交港股 IPO 申请，现在又向投资人释放信号，考虑港股上市后再登陆上交所科创板。目前科创板计划仍处于探索阶段，公司尚未确认。
港股这边，月之暗面目标融资约 30 亿美元，最快可能在 2027 年第一季度上市。公司正在推进上市前最后一轮融资，估值约 500 亿美元。
月之暗面考虑再上科创板，一部分原因是近期港股 AI 公司股价表现偏弱，同时排队上市的公司太多。两地上市可以多一个融资渠道，也能覆盖更多投资者。
科创板今年 6 月刚专门为大模型公司放宽第五套上市标准，尚未形成一定收入规模的企业也可以申请。要求之一是至少已有一个大模型产品上线，并实现规模化应用。
信源
动察 Beating 频道 · 动察 Beating 交流群
月之暗面正在考虑同时登陆港股和科创板。公司已经保密提交港股 IPO 申请，现在又向投资人释放信号，考虑港股上市后再登陆上交所科创板。目前科创板计划仍处于探索阶段，公司尚未确认。
港股这边，月之暗面目标融资约 30 亿美元，最快可能在 2027 年第一季度上市。公司正在推进上市前最后一轮融资，估值约 500 亿美元。
月之暗面考虑再上科创板，一部分原因是近期港股 AI 公司股价表现偏弱，同时排队上市的公司太多。两地上市可以多一个融资渠道，也能覆盖更多投资者。
科创板今年 6 月刚专门为大模型公司放宽第五套上市标准，尚未形成一定收入规模的企业也可以申请。要求之一是至少已有一个大模型产品上线，并实现规模化应用。
信源
动察 Beating 频道 · 动察 Beating 交流群
腾讯开源「音频版Nano Banana」：改词换声全包，语音编辑大幅刷榜
腾讯混元开源 15 亿参数语音生成与编辑模型 AuK，官方直接称它为「音频版 Nano Banana」。声音克隆、改词、换情绪、去口音、调语速和音高、降噪、多人及音乐分离，都塞进了同一个模型，用自然语言就能控制。
AuK 可以直接改已有录音。说错几个字，只改那几个字就行，不用整段重录；内容不变，也能换情绪、音色或口音。改歌词、去掉笑声和咳嗽声、把正常说话改成耳语也都支持。声音克隆也不用先给参考录音配文字稿，只要一段声音和新的文本就能生成。
官方测试中，AuK 在语音生成和通用语音编辑多项评测领先。SpeechEditBench 得分 49.73，第二名 Ming-UniAudio 为 28.70。快速版 AuK-Flash 经过蒸馏后只需 4 步推理，速度约快 4.5 倍。不过论文也承认，AuK 目前还不能稳定理解所有随意输入的自然语言指令，仍要靠 Prompt Enhancer 先判断任务、整理参数和改写指令。代码和模型权重已经公开，采用 MIT 许可证。
信源
动察 Beating 频道 · 动察 Beating 交流群
腾讯混元开源 15 亿参数语音生成与编辑模型 AuK，官方直接称它为「音频版 Nano Banana」。声音克隆、改词、换情绪、去口音、调语速和音高、降噪、多人及音乐分离，都塞进了同一个模型，用自然语言就能控制。
AuK 可以直接改已有录音。说错几个字，只改那几个字就行，不用整段重录；内容不变，也能换情绪、音色或口音。改歌词、去掉笑声和咳嗽声、把正常说话改成耳语也都支持。声音克隆也不用先给参考录音配文字稿，只要一段声音和新的文本就能生成。
官方测试中，AuK 在语音生成和通用语音编辑多项评测领先。SpeechEditBench 得分 49.73，第二名 Ming-UniAudio 为 28.70。快速版 AuK-Flash 经过蒸馏后只需 4 步推理，速度约快 4.5 倍。不过论文也承认，AuK 目前还不能稳定理解所有随意输入的自然语言指令，仍要靠 Prompt Enhancer 先判断任务、整理参数和改写指令。代码和模型权重已经公开，采用 MIT 许可证。
信源
动察 Beating 频道 · 动察 Beating 交流群
👍6❤1🎉1
Tailwind收入暴跌80%后，团队加入Shopify
Tailwind Labs 宣布加入 Shopify。Tailwind CSS 继续开源，MIT 许可不变；付费组件库和 AI 前端工具也将停止接受新用户。
Tailwind 现在每周安装超过 1.1 亿次，但 AI 编程让越来越多人直接生成代码，不再访问官方文档。今年 1 月，创始人 Adam Wathan 称，Tailwind 文档流量下降约 40%，收入暴跌近 80%，公司还裁掉了 3/4 的工程团队。
现在 Shopify 接手，这个在 AI 时代超流行的开源项目终于找到了长期靠山。
信源
动察 Beating 频道 · 动察 Beating 交流群
Tailwind Labs 宣布加入 Shopify。Tailwind CSS 继续开源，MIT 许可不变；付费组件库和 AI 前端工具也将停止接受新用户。
Tailwind 现在每周安装超过 1.1 亿次，但 AI 编程让越来越多人直接生成代码，不再访问官方文档。今年 1 月，创始人 Adam Wathan 称，Tailwind 文档流量下降约 40%，收入暴跌近 80%，公司还裁掉了 3/4 的工程团队。
现在 Shopify 接手，这个在 AI 时代超流行的开源项目终于找到了长期靠山。
信源
动察 Beating 频道 · 动察 Beating 交流群
🤡3
曾经175亿美元估值的Miro，如今17.9亿美元卖了
专门收购软件并长期经营的 Bending Spoons 已同意收购 AI 协作白板 Miro，交易预计今年第四季度完成。Miro 2022 年估值一度高达 175 亿美元，如今这笔交易对应的股权价值只剩约 17.9 亿美元，缩水近 90%。
Miro 当年的高估值正赶上疫情推高远程办公需求。此后远程协作软件整体降温，企业对这类工具的支出也越来越谨慎。Miro 目前仍有近 400 万付费用户，年经常性收入约 6 亿美元，近 90% 来自企业客户。
Bending Spoons 上周才刚完成 Airtable 收购。它此前买下 Evernote、WeTransfer、Vimeo 等产品后，曾在部分产品上提价并裁员。Miro 社区已经有人担心，类似调整接下来也会落到 Miro 身上。
信源
动察 Beating 频道 · 动察 Beating 交流群
专门收购软件并长期经营的 Bending Spoons 已同意收购 AI 协作白板 Miro，交易预计今年第四季度完成。Miro 2022 年估值一度高达 175 亿美元，如今这笔交易对应的股权价值只剩约 17.9 亿美元，缩水近 90%。
Miro 当年的高估值正赶上疫情推高远程办公需求。此后远程协作软件整体降温，企业对这类工具的支出也越来越谨慎。Miro 目前仍有近 400 万付费用户，年经常性收入约 6 亿美元，近 90% 来自企业客户。
Bending Spoons 上周才刚完成 Airtable 收购。它此前买下 Evernote、WeTransfer、Vimeo 等产品后，曾在部分产品上提价并裁员。Miro 社区已经有人担心，类似调整接下来也会落到 Miro 身上。
信源
动察 Beating 频道 · 动察 Beating 交流群
👍1
金融Agent平台Rogo又拿3000万美元融资，5家大行集体入股
金融 AI 平台 Rogo 又拿到约 3000 万美元战略投资，花旗、巴克莱、法国巴黎银行、三菱日联和法国兴业银行全部入场。加上此前投资它的摩根大通、富国银行和 Truist，已有至少 8 家银行成为 Rogo 的战略投资人。
Rogo 原本主要帮投行做模型、PPT 和研究，现在又开始给银行理财顾问做 AI 助手。它可以检查客户投资组合、分析客户关系，帮顾问准备更个性化的建议。摩根大通、美国银行等大行已经在使用 Rogo。
Rogo 今年 4 月完成 1.6 亿美元 D 轮融资，估值达到 20 亿美元。这次战略投资没有披露新估值。
信源
动察 Beating 频道 · 动察 Beating 交流群
金融 AI 平台 Rogo 又拿到约 3000 万美元战略投资，花旗、巴克莱、法国巴黎银行、三菱日联和法国兴业银行全部入场。加上此前投资它的摩根大通、富国银行和 Truist，已有至少 8 家银行成为 Rogo 的战略投资人。
Rogo 原本主要帮投行做模型、PPT 和研究，现在又开始给银行理财顾问做 AI 助手。它可以检查客户投资组合、分析客户关系，帮顾问准备更个性化的建议。摩根大通、美国银行等大行已经在使用 Rogo。
Rogo 今年 4 月完成 1.6 亿美元 D 轮融资，估值达到 20 亿美元。这次战略投资没有披露新估值。
信源
动察 Beating 频道 · 动察 Beating 交流群
❤1👍1