申请收录
【大屏时代】首页 > 3D快报内容详情

Claude 给自己发"身份证"：Anthropic 用零知识证明斩断套壳灰产

1小时前 7 大屏时代
广告：【裸眼3D制作】 让想象突破物理极限，用数字重绘世界经纬。

掏顶配的钱却调缩水模型，曾是大模型供应链最隐秘的灰色地带。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 推理、数学终审，成通往超级智能的安全契约。


相关文章


版权声明：除非特别标注，否则均为本站原创文章，转载时请以链接形式注明文章出处。

相关标签： Claude 给自己发"身份证"：Anthropic 用零知识证明斩断套壳灰产

最新文章

Anthropic产品团队出现人事变动，Claude Code负责人离开

Anthropic产品团队出现人事变动，Claude Code负责人离开

Anthropic Claude Code产品负责人Cat Wu已离职。她在X称周五是最后一天，未透露原因及去向。她曾负责Claude Code和Cowork。此前在Scale AI、Dagster任工程师，后任职Index Ventures，2024年8月加入Anthropic，先做研究方向产品经理，后参与Claud

AI与组织效率驱动调整 Canva启动大规模重组

AI与组织效率驱动调整 Canva启动大规模重组

澳大利亚设计软件公司Canva启动大规模组织调整，1271名员工面临裁员、岗位变更或搬迁，占总人数22%。CEO佩尔金斯称，公司近十年来首次增长放缓，现有架构难适应下阶段，需重组提效。产品、增长和平台团队将合并为统一“产品组织”，简化管理层级、整合重叠职责，并组建更小团队。

Claude 给自己发"身份证"：Anthropic 用零知识证明斩断套壳灰产

Claude 给自己发"身份证"：Anthropic 用零知识证明斩断套壳灰产

大模型供应链存在“掏顶配钱却跑缩水模型”灰色地带。Anthropic联合零知识证明学者开源FlashProve：上线前单张H100约39分钟生成权重“手印”ID并公开；每次对话后GPU生成约19MB证明；用户普通CPU跑cp_verify，17秒验真，无需权重和GPU。底层zkSNARK每请求约2000个sumchec

创作者最怕的"版权申诉"，YouTube 用 AI 配乐一键化解

创作者最怕的"版权申诉"，YouTube 用 AI 配乐一键化解

视频创作者的背景音乐常触发 Content ID 版权声明，轻则收益被抽，重则视频下架。YouTube 于 11 月 4 日将“替换歌曲”工具推向全球，此前仅在美国试点。创作者收到音频版权申诉后，该工具会即时生成四首独特的免版税器乐，用以替换受版权保护的音频，帮助规避版权风险。

欧洲法院顾问警告：Gemini若绕过付费墙或复用内容或涉嫌侵权

欧洲法院顾问警告：Gemini若绕过付费墙或复用内容或涉嫌侵权

欧盟法院法务总顾问近日就匈牙利网站运营商诉谷歌案正式发表意见，厘清AI处理新闻内容的版权边界。意见称，谷歌AI聊天机器人Gemini在特定情况下使用新闻报道可能违反版权规定：若非法绕过付费墙获取内容，或在回答中以可识别方式复用新闻报道具体表达形式，就可能侵犯出版商的复制权。

半小时10万份被抢空，李佳琦又卖爆一个“新物种”

半小时10万份被抢空，李佳琦又卖爆一个“新物种”

11月2日晚七点半，李佳琦直播间的背景大屏按时亮起，稍显特殊的是，今晚直播间的货架上，多了一个过去很难和直播带货联系在一起的商品:Token（词元）。开播之前，留言区已经

资本抢投、大厂押注，AI眼镜最大赢家是售价50的华强北？

资本抢投、大厂押注，AI眼镜最大赢家是售价50的华强北？

继争相对外宣称自己市场占有率第一后，智能眼镜企业又开启了扎堆官宣新品之战。乐奇Rokid、雷鸟、影目先后发布新品。Rokid在10月27日发布了新一代AI眼镜Rokid Glasses2、全

AI评测转向现实任务执行，OpenAI推出LifeVal衡量个人助理能力

AI评测转向现实任务执行，OpenAI推出LifeVal衡量个人助理能力

OpenAI发布LifeVal基准，衡量AI在照护、健康、教育、家庭管理、个人财务及政府服务等日常场景的表现。与侧重知识问答和单项能力不同，它关注AI能否将任务推进至可执行、可交付状态，解决实际问题。基准参考美国时间使用调查，基于3995名受访者调研构建，OpenAI过去一年持续用其追踪。

苹果Apple Watch迎来Audio Intelligence，对话摘要与实时倒带功能开启Beta测试

苹果Apple Watch迎来Audio Intelligence，对话摘要与实时倒带功能开启Beta测试

苹果此前在9月硬件发布会亮相的 Apple Watch“音频智能”（Audio Intelligence）功能，现已进入 Beta 测试，首批面向 iOS 27.3 开发者开放，适配 Apple Watch Series 12 和 Apple Watch Ultra 4。该功能包含四项用户可自主选择开启的 AI 能力，

腾讯混元重磅发布Hyra 2.0，让AI Agent全面参与科学大模型与硬核研发

腾讯混元重磅发布Hyra 2.0，让AI Agent全面参与科学大模型与硬核研发

三个月前，腾讯混元推出通用科研极简Agent循环系统Hyra1.0。其开源模型Hy3驱动Hyra解决加法组合学悬置五十余年的核心难题——和集与差集最优指数，创下国产开源模型首次全自动解决数学开放问题纪录。此后国际AI巨头纷纷竞逐数学与理论计算机科学。“AI刷题”路径已走通，自动化科研下一步受关注。

联合国副秘书长点赞!千问AI耳夹式耳机亮相乌镇互联网大会

联合国副秘书长点赞!千问AI耳夹式耳机亮相乌镇互联网大会

11月3日乌镇互联网大会，联合国副秘书长李军华试戴千问AI耳夹式耳机，点赞其翻译、会议纪要和音质。他认为产品实用，适合日常多语言交流场景。面对面交流可听译文，会议讨论能由AI听记整理成结构化纪要，方便会后回顾；连接千问App后，还能语音交办资料研究等任务。

电动车退烧、AI 储能烧起来：LG 新能源把产能挪向数据中心

电动车退烧、AI 储能烧起来：LG 新能源把产能挪向数据中心

LG新能源正把重心从电动车转向储能。11月3日，首席财务官李昌植在财报会上称，今年底软包储能系统（ESS）产能将超50GWh，明年拉至70GWh以上。电动车增速放缓下，AI数据中心大规模新建带来新机会，第三季度ESS在手订单达160GWh，公司正与电力企业、超大型数据中心运营商洽谈新项目。

商汤正式发布日日新SenseNova 6.8 Flash，主打真实任务执行与设计协作

商汤正式发布日日新SenseNova 6.8 Flash，主打真实任务执行与设计协作

11月3日，商汤科技推出“日日新”SenseNova6.8Flash正式版。该模型面向真实复杂环境，定位新一代多模态智能体，聚焦任务执行与交付痛点，在长效记忆、主动交互、跨任务协作等维度实现突破。实际应用中展现更强多维落地能力，尤其在办公协同侧深度强化长期记忆与跨会话协作。

App Store 分级新规下月生效，AI 虚拟恋人正式被苹果关进"成人区"

App Store 分级新规下月生效，AI 虚拟恋人正式被苹果关进"成人区"

苹果11月3日宣布调整App Store年龄分级：含位置共享，或提供约会、真实及虚拟恋爱关系服务的应用，最低须标为18+。11月16日起，开发者在App Store Connect填写分级问卷时，须主动申报是否含位置共享、约会及AI伴侣功能。所有应用最迟须在2027年1月12日前完成申报。

阿里把千问"开"出 470 款模型，蔡崇信：开源才是 AI 普及的钥匙

阿里把千问"开"出 470 款模型，蔡崇信：开源才是 AI 普及的钥匙

2026世界互联网大会11月3日乌镇开幕，蔡崇信披露阿里千问已开源超470款模型，全球下载量破40亿，衍生模型超33万。他认为AI需求攀升、算力供不应求下“只有开源才能普及”，开源能降低中小企业研发成本，对发展中国家尤为关键，体现中国公司“像顶尖大学开放”的开源哲学。

8GB显存也能玩转128K超长上下文！开源本地大模型工具Strata 0.2. 10 发布

8GB显存也能玩转128K超长上下文！开源本地大模型工具Strata 0.2. 10 发布

开源本地AI工具Strata发布0.2.10版，专为消费级显卡优化。本次更新聚焦降低显存门槛、提升推理速度和优化多显卡协同，使普通电脑运行千亿参数大模型更轻松。亮点是显存大幅瘦身，8GB显卡也能支持128K超长上下文，而以往8GB显存开启64K以上上下文常受限制。整体让本地大模型部署更低门槛、更高效。

QuestMobile:豆包、DeepSeek月人均使用次数超其他AI应用

QuestMobile:豆包、DeepSeek月人均使用次数超其他AI应用

QuestMobile 11月3日发布《中国移动互联网秋季大报告》称，国内AI应用“入口大战”接近尾声，竞争重点从用户规模扩张转向高频交互与用户经营。具备独立服务闭环的应用入口，以及能打通服务交付的系统级入口正逐渐占优。2026年9月，豆包、DeepSeek月人均使用次数分别达72.0次、65.9次，高频使用成关键指标

从"禁军用"到拿下五角大楼，OpenAI 请来前陆军部长当顾问

从"禁军用"到拿下五角大楼，OpenAI 请来前陆军部长当顾问

OpenAI 11月3日宣布，聘请8月刚辞去美国陆军部长职务的丹尼尔·德里斯科尔出任国家安全与现代化事务高级顾问，推动AI在国家安全与网络安全领域落地。公司2日发声明称，他将与政府、学界和产业界协作推进现代化改革，并为公共和私营伙伴提供咨询，借助AI强化国家安全能力。德里斯科尔现年38岁。

腾讯混元放出"AI 科学家"：自己训蛋白、造机械手，还反手改进下一代 AI

腾讯混元放出"AI 科学家"：自己训蛋白、造机械手，还反手改进下一代 AI

腾讯混元发布科研 Agent Hyra 2.0，让“AI 做科研”从解题转向机器自研可长期复用的科学模型、算法与工具。为支撑数周研究，采用 Overall、Mission、Worker 三层 Agent，分别管资源协调、规划与实验；任务状态持久化，可并行推进项目。结论须附代码与日志，存疑由独立 Agent 复核，经验沉

营收狂飙却难掩巨额账单：Anthropic三季度重回亏损，近 9000 亿美元算力承诺成IPO最大考验

营收狂飙却难掩巨额账单：Anthropic三季度重回亏损，近 9000 亿美元算力承诺成IPO最大考验

Anthropic向SEC提交招股书修订稿，补全2026财年第三财季（截至9月30日）财务数据。公司营收仍快速增长但增速放缓；因短期算力成本激增及多项费用叠加，仅维持一个季度经营盈利便再度转亏。其近9000亿美元算力采购承诺引发市场广泛关注，经营盈利“昙花一现”。

苹果 App Store 新规:AI 伴侣与约会应用将强制设为18岁以上限制

苹果 App Store 新规:AI 伴侣与约会应用将强制设为18岁以上限制

苹果宣布 App Store 全新年龄分级政策：涉及约会、恋爱及虚拟伴侣功能的应用，必须设定18岁以上最低年龄限制，进一步收紧对 AI 情感陪伴及社交类应用的合规监管。新规将于2026年11月16日生效。届时开发者在 App Store Connect 填写年龄评级问卷时，须强制声明应用是否涉及相关功能。

OpenAI宣布ChatGPT Classic将于2027年1月30日停用

OpenAI宣布ChatGPT Classic将于2027年1月30日停用

OpenAI推进ChatGPT桌面应用整合。旧版ChatGPT Classic将于2027年1月30日停服，聊天记录迁移新版，用户可继续访问。今年早些时候，OpenAI推出整合ChatGPT、Work和Codex的新桌面应用，原应用更名Classic。新版初期因用Electron替代macOS原生、界面复杂、入口不清引

美团发布全新1. 6 万亿多模态大模型LongCat-2.5：多项智能Agent基准登顶全球第一

美团发布全新1. 6 万亿多模态大模型LongCat-2.5：多项智能Agent基准登顶全球第一

11月3日，美团正式推出面向长程智能体任务的原生多模态大模型LongCat-2.5。作为LongCat-2.0的重大迭代，其在原生视觉理解与智能体编程能力上全面升级，多项权威测试与海外顶尖大模型同台竞技并多项指标登顶。模型采用1.6万亿总参数体系，赋能端到端工程能力。

字节跳动扣子宣布企业版宣布下线:11月30日起停止新客购买

字节跳动扣子宣布企业版宣布下线:11月30日起停止新客购买

扣子（Coze）公告将分阶段停售并下线企业版套餐。企业标准版、旗舰版自2026年11月30日起停止接受新客户购买，已签合同未下单客户需联系客户经理确认后续安排。2026年12月31日起，火山引擎购买的旧个人进阶版、旧企业版及旧团队版将全面下线，逾期未使用的剩余部分需关注处理。调整涉及新购、合同及旧套餐用户。

最新网站

Jasper AI竞品份额分析

Jasper AI竞品份额分析

<br />竞品A（Jasper AI）近三个月市场份额由约14.6%降至9.8%，累计下滑4.8个百分点，呈"高位急跌—中段缓跌—低位盘整"的三段式走势。判断：短期难以逆转下滑，但已接近其付费专业用户的基本盘底部。<br /><br /><br />第一月：14.6%降至11.9%，环比-2.7pct，主因企业客户集中续约流失；第二月：11.9%降至10.4%，环比-1.5pct，降幅明显收窄；
LocalBanana

LocalBanana

LocalBanana是专注于 AI 图像 Prompt 收集与结构化的平台，帮助用户深入理解并高效利用 Prompt，提升创作能力。围绕 Nano Banana（Gemini）生态，将散落在各处的优质 Prompt 整理为可检索、可编辑的创作资产。
智策AI导航平台

智策AI导航平台

<br />智策AI导航（www.zhiceai.com）是一个专注于人工智能工具发现与评测的综合性导航网站。平台收录了全球超过5000个AI应用，覆盖自然语言处理、图像生成、视频制作、智能办公、教育培训、编程开发、数据分析、营销文案等20多个主流分类。站长、产品经理、设计师、学生及自由职业者都可以在这里快速找到适合自己工作流的AI工具，并获取实时更新的功能评测和优惠信息。<br /><br />
文心一言AI平台分析

文心一言AI平台分析

<br />文心一言是百度推出的新一代知识增强大语言模型，基于飞桨深度学习平台和文心知识增强技术，能够与人对话互动、回答问题、协助创作，高效便捷地帮助人们获取信息、知识和灵感。作为国内领先的AI对话产品，文心一言自发布以来持续迭代，已广泛应用于多个行业场景，成为百度AI技术战略的核心载体之一。<br /><br /><br />文心一言提供多种实用功能，包括智能问答、文本创作、代码生成、逻辑推理、
AI大百科

AI大百科

<br />AI大百科是一个专注于人工智能知识普及和工具推荐的综合性网站，旨在为AI爱好者、开发者、产品经理与企业决策者提供一站式信息入口。平台自2021年上线以来，已收录超过5000个AI工具与模型，涵盖自然语言处理、计算机视觉、语音识别、生成式AI、AI绘画、AI视频、AI办公等多个细分领域。网站以简洁的界面和清晰的分类著称，用户可以通过搜索或浏览标签快速找到所需资源，并查看每个工具的功能介绍
通义千问：阿里AI助手

通义千问：阿里AI助手

<br />通义千问是阿里巴巴集团推出的AI大模型产品，由阿里云开发并托管。它于2023年首次亮相，定位为面向中文用户的多功能智能助手，支持文本生成、代码编写、文档分析、多轮对话等任务。网站界面简洁，用户可以直接在浏览器中体验，无需下载应用，同时也提供API接口供开发者集成。<br /><br /><br />通义千问的主要功能包括：知识问答、创意写作、翻译润色、编程辅助、数据分析、学习辅导等。它
AI工具集导航

AI工具集导航

<br />AI工具集是一个专注于收录和推荐人工智能相关工具与资源的导航网站。它汇集了全球范围内数百款AI产品，覆盖文本生成、图像创作、音频处理、视频制作、编程助手、办公效率等多个领域。无论你是普通用户、开发者还是企业决策者，都能在这里快速找到适合自己的AI工具。<br /><br /><br />AI工具集的核心功能是分类展示和搜索。网站按照工具的应用场景进行细致分类，例如AI写作、AI绘画、A
Hugging Face AI平台

Hugging Face AI平台

<br />Hugging Face是一个致力于人工智能和自然语言处理的开源平台，提供海量预训练模型、数据集和工具，帮助开发者和企业快速构建、训练和部署AI应用。其核心产品包括Transformers库、Hub模型仓库、Spaces应用托管以及Inference API等，覆盖从研究到生产的全流程。<br /><br /><br />该平台以模型Hub为中心，支持TensorFlow、PyTorc
DeepMind AI研究平台

DeepMind AI研究平台

<br />DeepMind是一家位于英国伦敦的人工智能公司，成立于2010年，2014年被谷歌收购。作为全球领先的AI研究机构，DeepMind致力于开发通用人工智能（AGI），其研究成果在游戏、医疗、科学等多个领域产生了深远影响。DeepMind的使命是“解决智能问题”，通过将神经科学与机器学习相结合，推动AI技术的边界。<br /><br /><br />DeepMind最著名的成就是Alp
智谱AI官网

智谱AI官网

<br />智谱AI（北京智谱华章科技有限公司）是一家专注于人工智能大模型研发与应用的科技公司，成立于2019年，由清华大学计算机系知识工程实验室技术成果转化而来。公司以“让机器像人一样思考”为愿景，致力于打造安全、可控、可解释的通用人工智能系统。智谱AI在自然语言处理、知识图谱、多模态理解等领域拥有深厚积累，其核心产品GLM系列大模型已广泛应用于政务、金融、医疗、教育等多个行业。<br /><b
Midjourney

Midjourney

<br />Midjourney是一款基于人工智能的图像生成工具，由独立研究实验室Midjourney, Inc.开发。用户只需输入文字描述，即可生成高质量、富有创意的图片。自2022年公开测试以来，它迅速成为AI绘画领域的标杆产品，广泛应用于艺术创作、设计、广告和娱乐等行业。<br /><br /><br />Midjourney的核心功能是文本到图像生成，支持多种风格和参数调节。用户可以通过D
量子位AI网站分析

量子位AI网站分析

<br />量子位（QbitAI）是一家专注于人工智能领域的前沿科技媒体，成立于2017年，总部位于北京。网站以报道AI行业动态、技术突破、产业应用和创业公司为核心，内容涵盖机器学习、深度学习、自然语言处理、计算机视觉、AI芯片、自动驾驶等多个细分领域。量子位通过图文、视频、线下活动等形式，向技术从业者、投资者和科技爱好者传递高质量的AI资讯与深度分析。<br /><br /><br />量子位的
DeepMind官网

DeepMind官网

<br />DeepMind是谷歌母公司Alphabet旗下的人工智能研究实验室，成立于2010年，总部位于伦敦。该网站是DeepMind的官方门户，集中展示了其在AI领域的前沿研究成果、技术博客、学术论文以及研究人员团队。作为全球顶尖的AI研究机构之一，DeepMind致力于“解决智能问题”，并推动AI技术在社会各领域的应用。<br /><br /><br />DeepMind最广为人知的成就是
豆包AI官方网站

豆包AI官方网站

<br />豆包AI是字节跳动公司推出的一款人工智能助手，基于先进的大语言模型技术，为用户提供智能问答、文本创作、代码辅助、情感陪伴等多种服务。自发布以来，豆包AI凭借其自然流畅的交互体验和强大的理解能力，迅速成为国内最受欢迎的AI应用之一。用户可以通过网页端或移动端随时随地使用豆包，满足工作、学习和生活中的多样化需求。<br /><br /><br />豆包AI的核心功能主要包括智能对话、内容创
Toolify AI工具导航网站

Toolify AI工具导航网站

<br />Toolify AI是一个专注于人工智能工具聚合与推荐的导航网站，目前收录了全球超过5000款AI应用，涵盖文本生成、图像处理、视频创作、音频编辑、代码辅助、数据分析等多个领域。无论是普通用户还是专业开发者，都能在这里快速找到适合自己的AI工具。平台每天更新最新上线的AI产品，并基于用户真实反馈进行排序和分类，帮助用户节省大量搜索和筛选的时间。<br /><br /><br />Too
ChatGPT官网介绍

ChatGPT官网介绍

<br />ChatGPT是OpenAI开发的人工智能聊天机器人平台，于2022年11月30日首次发布。作为目前全球用户量最大的AI对话产品，ChatGPT基于GPT系列大语言模型，支持自然语言问答、文本生成、代码编写、翻译、摘要、创意写作等多样化任务。其官方网站不仅提供免费的Web端服务，还集成了付费订阅、API访问、插件生态和联网搜索功能，成为个人用户与企业用户接触前沿AI能力的重要入口。<b

Copyright © 2016 ~ 2024 大屏时代 (www.dapingtime.com) 联系QQ：88251776苏ICP备2020058979号-3 大屏头条