Anthropic 正开发 FlashProve 开源系统：用密码学证明 AI 输出来自哪个模型
IT之家 11 月 4 日消息，Anthropic 正在开发一套开源系统，用于验证某一 AI 输出究竟由哪个模型生成。根据该公司周二发布的一篇博客文章，这套名为 FlashProve 的系统旨在实现研究人员所称的“可证明推理”（provable inference）：通过密码学证明，为特定输出提供数学层面的保证，证明其…
中文IT之家
最新资讯
言栖资讯收录 72583 篇 AI、开发与建站文章（中文），按发布时间排序，支持搜索与按语言筛选。
微软 Rewards 奖励计划上新：国区 7,500 积分可兑 30 天B站大会员
IT之家 11 月 4 日消息，微软 Microsoft Rewards 奖励计划现已上新，国区用户可以使用 7,500 积分兑换 B 站 30 天大会员，相应兑换码先到先得， 有效期至 11 月 20 日 ，IT之家附参与地址（ https://rewards.bing.com/ redeem/sku/0004990…
中文IT之家
洛图科技：2026 年第三季度中国智能投影市场销量同比下降 26.2%，全年规模预测降至 400 万台以下
IT之家 11 月 4 日消息，洛图科技（RUNTO）数据显示，2026 年第三季度，中国智能投影市场（不含激光电视）销量为 82.9 万台， 同比下降 26.2% ；销额为 12.3 亿元，同比下滑 27.1%。 IT之家获悉，自 2025 年第四季度以来， 市场已连续四个季度的同比降幅超过 20% 。 ▲ 2025…
中文IT之家
香港网约车平台牌照有望本月推出：逾 1.8 万人报名驾驶资格考试，车辆数量上限目前设为 1 万辆
IT 之家 11 月 4 日消息，此前香港特区政府透露香港网约车平台牌照预计最快将于本月推出，有意投身行业的人必须考取“的士及网约车综合笔试”。 综合“界面新闻”报道，截至今年 10 月 30 日，香港运输署已收到超过 1.8 万份的士及网约车综合笔试报名申请，该考试面向有意申请网约车驾驶许可证或的士驾驶执照的人士。 …
中文IT之家
电网接入周期漫长，AI 数据中心改装飞机发动机自主发电
IT之家 11 月 4 日消息，由于接入电网和新建发电机组需要排队等待数年，一些 AI 数据中心开始改造退役喷气式飞机发动机，将其用作发电设备。据《纽约时报》报道称，这些发动机经过改装后可以燃烧天然气，为数据中心提供电力。 这些发动机来自退役飞机，经过重新制造后改用天然气驱动，显然不是永久性发电厂。但它们也反映出一个现…
中文IT之家
2027QS 亚洲大学排名揭晓：香港大学蝉联榜首，北大第二、清华第三，中国内地上榜数量最多
IT之家 11 月 4 日消息，国际高等教育研究机构 QS Quacquarelli Symonds 于 11 月 3 日发布了 2027QS 亚洲大学排名，本次排名涵盖来自 26 个高等教育体系的 1722 所大学，其中 195 所为今年新入榜院校。 中国（内地）是参评院校数量最多且增长最快的体系 ，新增 53 所大…
中文IT之家
小米智能屏显开关 2 开启众筹：自带彩屏、单零火兼容设计，159 元起
IT之家 11 月 4 日消息，小米旗下小米智能屏显开关 2 现已在有品（ 点此访问 ）开启众筹，该产品主打“一屏焕彩四键控，单火零火皆可用”，搭载 Xiaomi HyperOS Connect，旨在通过创新供电技术，让更多家庭无需改线即可享受智能彩屏交互体验，众筹价 159 元起。 IT之家注意到，针对传统彩屏开关对…
中文IT之家
乘联分会：初步统计 10 月全国乘用车市场零售 169.3 万辆，同比下降 25%
IT之家 11 月 4 日消息，据乘联分会初步统计，10 月 1-31 日，全国乘用车市场零售 169.3 万辆，同比下降 25%，环比增长 5%。 今年以来累计零售 1,502.7 万辆，同比下降 22%；10 月 1-31 日，全国乘用车厂商批发 263.5 万辆，同比去年 10 月同期下降 10%，较上月同期增长…
中文IT之家
微软 XGP 订阅 11 月第一波入库阵容公布：含《足球经理 27》等游戏
IT之家 11 月 4 日消息，微软今日公布 XBOX Game Pass 订阅服务 11 月第 1 波入库游戏阵容。 本月的领衔作品有《足球经理 27》等 。 游戏名 入库时间 覆盖层级 支持平台 《足球经理 27》（首发） 现已上线 Ultimate 和 PC PC 《吸血鬼爬行者》 11 月 4 日 Premiu…
中文IT之家
彭博行业研究 10 月调查：近七成中国受访者 2026 年不会更换智能手机
IT之家 11 月 4 日消息，根据彭博社援引的彭博行业研究数据，在今年 10 月进行的一份调查中， 约 69% 的中国受访者表示不会在 2026 年内更换手机 ，这一比例是今年 5 月数据的 2 倍。越来越多的消费者计划将换机周期延长到 2~3 年。 在统计的 11 项换机原因中， 电池续航、拍摄性能、内存规格仍是中…
中文IT之家
德国初创企业实现在轨 3D 打印刚性梁，验证太空建造能力
IT之家 11 月 4 日消息，德国初创公司 Orbital Matter 研发的一颗卫星，近日在轨道上利用 3D 打印技术制造出一根长约半米的横梁。公司高管称，这是自由飞行航天器首次在轨完成此类打印，也是未来在太空建造大型结构迈出的重要一步。 据IT之家了解，这颗名为 Replicator 2 的小型卫星于今年夏季搭…
中文IT之家
鸿蒙智行官宣星夜服务升级，预约维保支持 20 公里内免费上门取送车
IT之家 11 月 4 日消息，鸿蒙智行官方今日宣布，其星夜服务升级 —— 预约星夜服务维保，可享 20 公里内免费上门取送车服务 。 据介绍，支持星夜服务的鸿蒙智行授权用户中心售后业务延迟营业至夜晚（具体营业时间请咨询当地用户中心工作人员），支持基础维保、事故车 24 小时接车等服务。目前，鸿蒙智行星夜服务共开放 4…
中文IT之家
Netflix 上线 AI Discover 标签页，可按照用户心情推荐影视内容
IT之家 11 月 4 日消息，Netflix 当地时间周二宣布，推出一个名为“AI Discover”的全新标签页，让用户尝试通过新的方式寻找下一部想看的影视作品。该标签页上线后的首项实验功能，将根据用户当下的心情和观看需求提供内容推荐。 据IT之家了解，用户可以从一系列经过策划的主题中进行选择，这些主题会展示相关影…
中文IT之家
绝了！Codex找苹果客服解决Claude订阅问题！
最近又用苹果账号重新订阅了一个 Claude！ 我也在 X 上大致分享了一下流程。 因为上一个号废了，所以涉及到好多待验证的问题。 比如同一台电脑，能不能登录，要如何重新订阅？苹果账号要换吗，卡还能用
中文掘金
JVS-APS的7个刚性约束设计：从无限产能幻觉到可执行排产的工程实践
为什么多数APS计划‘好看却难执行’？——无限产能假设的工程代价 多数APS在算法层面默认一个未经验证的前提：设备永不故障、人员永不请假、班次永无差异。这实质是将工厂建模为‘无限产能’的理想系统。该简
中文掘金
AI Vibe Coding 实战（三）：把 SMS 开发方案落成 Spec 文档
接续 SMS 套件的架构分析与产品决策，我让 Claude Code 把已讨论的方案整理成 spec。本文还原这轮提示词、范围确认与生成结果，介绍六份核心文档、边界 ADR、供应商操作手册和派生图表
中文掘金
Magpie 实战教程：一个本地网关，让 Claude Code 跑 Kimi、Codex 跑 DeepSeek
Magpie 实战教程：一个本地网关，让 Claude Code 跑 Kimi、Codex 跑 DeepSeek 先看一组命令： 四行命令，没有手改一行 settings.json，没有 export
中文掘金
腾讯混元 Hy4 正式版发布了
11 月 4 日，WorkBuddy 的模型列表里多了个 Hy4，标签是「限时免费」，倍率 0.00x。右侧详情一行小字：11 月 4 日到 15 日，每日赠送免费额度，订阅用户享更高配额。 这篇想弄
中文掘金
币安称黑客通过虚假工作面试入侵工程师笔记本电脑
币安官方博客披露了黑客如何窃取价值 63 亿美元加密货币的初步调查报告。报告称，攻击始于今年六月： 2026 年 6 月——供应链攻击。钱包开发运维团队的工程师 A 为安装一款热门 AI 编程工具，通过搜索引擎查找并下载了一个遭篡改的 Homebrew 安装程序。我们的安全团队主动检测到了这一异常，更换了该设备，同时轮…
中文Solidot 奇客
阿里上线Qovest，一个投研Agent，要做你的金融OPC
阿里的投研 Agent 开始对外公测了，中文名万睿研见。自选股、定时任务、投研空间三件事被塞进同一个工作台，跑完的结果还能推到钉钉和邮件。这篇从激活邀请码一路走到实测小结，也顺带看了一眼金融 Agent 现在能做到哪一步。 前阵子， 阿里内测了一个AI金融投研 Agent，叫做 Qovest。 这是一个面向个人和专业机…
中文人人都是产品经理