https://t.me/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
✨BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
📈主流AI服务状态页通知 | 🆕汇集全网ChatGPT/AI新闻 #AI #ChatGPT
🔙备用群 https://t.me/gpt345
✨BEST AI中转 https://api.oaibest.com 2.8折起 支持OpenAI, Claude code, Gemini,Grok, Deepseek, Midjourney, 文件上传分析
Buy ads: https://telega.io/c/AI_News_CN
字节将大面积限制员工使用Claude、Codex等外部AI工具
字节跳动近日出台新的内部AI工具使用管理规定,将大范围限制员工通过个人账号使用Claude、Codex等外部AI工具访问公司内部资料。据悉,自本月起,字节跳动将对全公司所有L4级别的代码仓库和飞书文档实施外部AI访问封禁,员工自行购买的AI账号将无法继续访问相关内部资源。
该通知于上周在字节跳动内部发布,随后引发部分员工讨论。相关讨论主要围绕外部AI工具的使用权限、内部信息安全,以及公司自有AI产品与第三方工具之间的关系展开。
字节跳动相关负责人洪定坤强调,内部信息安全是此次调整的重要考虑因素,“L3及以上内容一旦有泄露,后果是非常严重的”。
—— 大厂日爆
via 风向旗参考快讯 - Telegram Channel
字节跳动近日出台新的内部AI工具使用管理规定,将大范围限制员工通过个人账号使用Claude、Codex等外部AI工具访问公司内部资料。据悉,自本月起,字节跳动将对全公司所有L4级别的代码仓库和飞书文档实施外部AI访问封禁,员工自行购买的AI账号将无法继续访问相关内部资源。
该通知于上周在字节跳动内部发布,随后引发部分员工讨论。相关讨论主要围绕外部AI工具的使用权限、内部信息安全,以及公司自有AI产品与第三方工具之间的关系展开。
字节跳动相关负责人洪定坤强调,内部信息安全是此次调整的重要考虑因素,“L3及以上内容一旦有泄露,后果是非常严重的”。
—— 大厂日爆
via 风向旗参考快讯 - Telegram Channel
Claude 给自己发"身份证":Anthropic 用零知识证明斩断套壳灰产
掏顶配的钱却调缩水模型,曾是大模型供应链最隐秘的灰色地带。Anthropic 联手零知识证明学者开源 FlashProve。
验真分三步:上线前在单张 H100 花约 39 分钟,给权重生成"手印"ID 公开;每次对话后 GPU 生成约 19MB 证明;用户在普通 CPU 跑 cp_verify,17 秒判真假,不需权重与 GPU。底层 zkSNARK 每请求约 2000 个 sumcheck,安全只依赖哈希 BLAKE2。
AI 写代码、Lean 当判官,人类只守六条铁律
难点在算力:测试用 4000 亿参数的 Llama 4 Maverick,4-bit 权重达 232GB,单张 H100 显存仅 80GB。FlashProve 借 MoE——每 token 只激活约 170 亿参数,证明量只跟这 170 亿挂钩、省 95% 陪跑,路由藏进指示向量保密;权重放内存分段流式进 GPU 才吞下巨兽。更硬核的是仓库:95.2% 代码(约 398MB)是 Lean 4 数学证明,114 页论文与底层代码几乎全出自 Claude。
人类只跟 AI 敲定 6 条安全定义——完备性(误拒低于万亿分之一)、知识可靠性(造假概率低于 2 的 100 次方分之一)、零知识(反复核验不泄权重)。读不完海量推导,人类定公理、AI 推理、数学终审,成通往超级智能的安全契约。
via AI新闻资讯 (author: AI Base)
掏顶配的钱却调缩水模型,曾是大模型供应链最隐秘的灰色地带。Anthropic 联手零知识证明学者开源 FlashProve。
验真分三步:上线前在单张 H100 花约 39 分钟,给权重生成"手印"ID 公开;每次对话后 GPU 生成约 19MB 证明;用户在普通 CPU 跑 cp_verify,17 秒判真假,不需权重与 GPU。底层 zkSNARK 每请求约 2000 个 sumcheck,安全只依赖哈希 BLAKE2。
AI 写代码、Lean 当判官,人类只守六条铁律
难点在算力:测试用 4000 亿参数的 Llama 4 Maverick,4-bit 权重达 232GB,单张 H100 显存仅 80GB。FlashProve 借 MoE——每 token 只激活约 170 亿参数,证明量只跟这 170 亿挂钩、省 95% 陪跑,路由藏进指示向量保密;权重放内存分段流式进 GPU 才吞下巨兽。更硬核的是仓库:95.2% 代码(约 398MB)是 Lean 4 数学证明,114 页论文与底层代码几乎全出自 Claude。
人类只跟 AI 敲定 6 条安全定义——完备性(误拒低于万亿分之一)、知识可靠性(造假概率低于 2 的 100 次方分之一)、零知识(反复核验不泄权重)。读不完海量推导,人类定公理、AI 推理、数学终审,成通往超级智能的安全契约。
via AI新闻资讯 (author: AI Base)
据悉,Anthropic Claude Code产品负责人Cat Wu已离开公司。她近日在社交平台X发文称,周五是自己在Anthropic工作的最后一天,但未透露离职原因及下一步去向。
Cat Wu曾负责Claude Code和Cowork两款产品。加入Anthropic之前,她先后在Scale AI和Dagster担任工程师,之后转入风险投资机构Index Ventures工作。
据了解,2024年8月,她加入Anthropic,最初担任研究方向的产品经理,随后参与Claude Code及Cowork的产品管理工作。此次离职意味着Anthropic两款重要AI产品的负责人发生变动。
via AI新闻资讯 (author: AI Base)
消息称字节跳动大面积限制员工自费使用第三方AI工具
近日,据大厂内部消息爆料,字节跳动自本月起将全面收紧外部AI工具的使用权限,对全公司所有L4级代码仓库和飞书文档实施外部AI访问封禁,员工自费采买的Claude、Codex等个人账号将无法在内部继续使用。
此次封禁的核心原因为防范数据泄露与资产安全风险,技术副总裁洪定坤在内网回应时指出,L3及以上级别的核心内容一旦泄露后果极其严重,但同时也强调不应通过封禁其他选择来强迫推广内部产品。
作为核心技术骨干与管理者的分水岭,L4级代码库沉淀了字节跳动全线业务的核心资产与底层架构,这也让此次风控升级备受内部关注。此前,字节跳动已于2025年6月起分批禁用Cursor、Windsurf等第三方AI编程工具,转而以旗下编程助手Trae作为替代。
结合此前创始人张一鸣在Seed团队会议上明确表态“即使暂时落后竞争对手,公司也不会依赖AI蒸馏技术改进模型”,反映出大厂在加速推进自研大模型生态的同时,正对数据合规与核心技术资产保护采取更为严苛的管控态势。
via AI新闻资讯 (author: AI Base)
近日,据大厂内部消息爆料,字节跳动自本月起将全面收紧外部AI工具的使用权限,对全公司所有L4级代码仓库和飞书文档实施外部AI访问封禁,员工自费采买的Claude、Codex等个人账号将无法在内部继续使用。
此次封禁的核心原因为防范数据泄露与资产安全风险,技术副总裁洪定坤在内网回应时指出,L3及以上级别的核心内容一旦泄露后果极其严重,但同时也强调不应通过封禁其他选择来强迫推广内部产品。
作为核心技术骨干与管理者的分水岭,L4级代码库沉淀了字节跳动全线业务的核心资产与底层架构,这也让此次风控升级备受内部关注。此前,字节跳动已于2025年6月起分批禁用Cursor、Windsurf等第三方AI编程工具,转而以旗下编程助手Trae作为替代。
结合此前创始人张一鸣在Seed团队会议上明确表态“即使暂时落后竞争对手,公司也不会依赖AI蒸馏技术改进模型”,反映出大厂在加速推进自研大模型生态的同时,正对数据合规与核心技术资产保护采取更为严苛的管控态势。
via AI新闻资讯 (author: AI Base)