2026-10-27
OpenAI 请外部专家核查其 AI 在数学、计算机科学和物理学领域产出的证明
The Decoder 报道 OpenAI 请外部专家担任"shepherds"核查其 AI 在计算机科学、数学和物理学领域的三项证明结果，并将部分证明翻译成 Lean 供计算机逐步验证。
最新更新
首页已经看过的不重复列。下面从更早的内容继续，可以一直往下滚。
2026-10-27
Lovable 上线 Enterprise 版废弃项目清理功能，并推出万圣节“undead apps”小游戏
Lovable 为 Enterprise 计划新增废弃项目清理功能，管理员可在 Workspace settings 的 Privacy & security 中设置项目无活动多久后被标记为废弃，默认 60 天，并可选 7、14 或 30 天宽限期开启自动删除，自动删除默认关闭。
2026-10-27
Hi3D 开源 image-to-3D 模型 Hi3D v1.0（前身 Sparc3D）
@Hi3D_AI 开源 image-to-3D 模型 Hi3D v1.0（前身 Sparc3D），代码和权重已在 GitHub 和 Hugging Face 发布，可免费商用（上限 200K 月用户或 $1M 月收入）。
2026-10-27
腾讯混元开源 Hy-SimulMT ：同声传译大模型，响应时延 3 秒内，效果跑赢主流商用 API
腾讯混元开源同声传译大模型 Hy-SimulMT，响应时延约 3 秒，在中英双向实时语音翻译和音色克隆上超越主流商用 API 并达到人类专业译员水平，提供完整本地部署方案。
2026-10-27
NVIDIA 与 Meta 扩大合作，围绕 Muse 模型及 Vera Rubin 部署展开
NVIDIA 官方宣布与 Meta 扩大合作，改进 Muse 模型的推理与训练性能。双方还探索 NVIDIA OpenShell 用于安全的 AI 智能体部署、NVIDIA Sentry 用于监控智能体行为；Meta 计划更广泛部署 NVIDIA Vera Rubin 和 Vera CPU，并配合 Spectrum-X 以太网网络与 BlueField-4。
2026-10-27
IBM 与 Kaggle 上线 ScarfBench 智能体 Java 框架迁移榜单
IBM 与 Kaggle 合作推出 ScarfBench 持续维护的公开榜单，评测编码智能体能否将企业 Java 应用在 Jakarta EE、Quarkus 和 Spring 之间迁移并保持应用行为。
2026-10-27
n8n 3.0.0 Beta 发布，聚焦可靠性、安全与破坏性变更清理
n8n 发布 3.0.0 Beta，稳定版预计 12 月初推出；3.0 集中处理破坏性变更，包括队列模式手动执行改在 worker 运行、移除内存二进制数据模式、Code 节点默认超时从 5 分钟降至 1 分钟、加强 SSRF 防护和加密密钥轮换、自托管仅支持 Docker，并移除 Function、Cron、旧 OpenAI 节点等遗留节点。
2026-10-27
系列解读 Manus 联创张涛的 AI Native 组织实践，整个代码库共用一个智能体
作者系列解读 Manus 联合创始人张涛的文章「用 Manus 改造 Manus」，本篇讲研发环节如何用 Manus-mono 让 AI 走完全流程。Mono 不做多仓合并，而是统一入口加给 AI 看的说明书，覆盖各仓职责、开发与界面规范、发布流程和线上调试，审批权仍留在人手上。
2026-10-27
分析发现 OpenAI 合作媒体内容在 ChatGPT 中被预先生成摘要并优先展示
Peec AI 研究员 David Konitzny 分析发现，OpenAI 合作媒体内容通过名为 labrador 的新闻引擎进入 ChatGPT，覆盖 12 家出版方的 43 个域名，包括 Condé Nast、Hearst、Axel Springer、News Corp、Reuters 和 AP。
2026-10-27
Anthropic 重申：我们永远不会在 Claude 对话中展示广告
IT之家 10 月 27 日消息，Anthropic 公司昨日向美国证券交易委员会提交 S-1 注册文件，计划首次公开发行 A 类普通股，并申请在纳斯达克以“ANT”为股票代码上市。 IT之家注意到，Anthropic 在 IPO 文件中重申： 公司永远不会在 Claude 的对话中展示广告 。
2026-10-27
Glasser 推出面向 AI 智能体的按次付费数据服务，聚合 80 多家供应商的 2,000 多个付费 API
Glasser 推出面向 AI 智能体的按次付费数据服务，聚合来自 80 多家供应商的 2,000 多个付费 API 端点，覆盖公司档案、SEO 和社交媒体指标等数据，无需逐家订阅。
2026-10-27
邵猛吐槽机器人刷屏回复：起号别靠AI评论
邵猛公开回应每天在其推文下整齐刷屏回复的机器人账号，质疑这些账号是听了"起号课"或用了"起号智能体"。他表示自己坚持从工作生活经验出发真诚分享，并警告"发得多、多刷高流量帖就能起号"的说法不可信，这样涨来的多半是 bot。他强调交流前提是对方为真人，并吐槽读完长篇 AI 评论才发现是机器人的体验。
2026-10-27
Anthropic 在 IPO 信中重申 Claude 永不投放广告
Anthropic 在 IPO 申请的附信中再次承诺 Claude 聊天界面不会出现广告，称一旦广告成为营收目标，优化参与度的压力就会增长，公司选择不引入这种压力。信中还以安全考量延迟发布 Claude Fable 5、并向网络防御者提供约 1 亿美元免费 Claude 额度为例，说明公司把价值观置于利润之上。
2026-10-27
荷兰计划裁减约 25000 个公务员岗位并以 AI 填补缺口
据 Bloomberg，荷兰计划裁减约 25000 个公务员岗位，并依靠 AI 填补缺口。裁员目标为 2027 年节省 9 亿欧元，2035 年起每年节省 35 亿欧元。议会已通过非约束性动议，要求 AI 带来 20% 的生产力提升，内阁希望由荷兰和欧洲供应商实现。
2026-10-27
百度开源 Unlimited OCR 2：SR-SWA 支撑几十到几百页文档解析
百度开源 Unlimited OCR 2，面向几十到几百页文档的 OCR 与版面解析，模型为 3B/A0.5B 的 MoE 架构，地址 https://huggingface.co/baidu/Unlimited-OCR-2。
2026-10-27
从 BigQuery 迁移到 Databricks：一份战略框架
Databricks 发布从 BigQuery 迁移到 Databricks 的三支柱框架，涵盖流程、技术与人员。流程上先评估 BigQuery 资产，再按 BI 优先或 ETL 优先选择切入点，分批迁移并用 Lakehouse Federation 双轨验证，以 99.9% 一致性等标准触发旧管道下线。
2026-10-27
Matt Pocock 访谈：说清你在乎什么，让代码库配得上 Agent
Matt Pocock 在 Nate Herk 的 44 分钟访谈中提出，AI 时代最值钱的是把你在乎什么说清楚，并把测试、代码质量和流程做到 agent 能靠得住。
2026-10-27
PixVerse 万圣节挑战开启
准备好参加 PixVerse 万圣节挑战了吗？ 在轮廓内捕捉小猫，把握好截图时机，然后回复你最佳的一次尝试！
2026-10-27
Nvidia 投资印度创企 Simplismart，帮企业用更少 GPU 跑 AI 模型
Nvidia 参与印度创企 Simplismart 的 1400 万美元 B 轮融资，后者估值约 1 亿美元，其软件可优化模型部署、降低 GPU 消耗。Simplismart 称已帮 AI 视频平台 InVideo 将 GPU 服务成本降低 56%，客户还包括 HeyGen、Higgsfield 和 Ema。
2026-10-27
Trail of Bits 呼吁回移安全修复：稳定版积压大量未修复 CVE
Trail of Bits 撰文指出，稳定版软件普遍缺少安全修复回移（backporting），而 AI 智能体可以轻易利用这些已知漏洞，作者在沙箱逃逸研究和近期披露的 OpenAI 被入侵事件中都观察到这一点。
2026-10-27
WSJ：Anthropic 630 亿美元芯片融资经 Broadcom CEO 促成
据 WSJ 报道，Anthropic 的 630 亿美元芯片融资在 Broadcom CEO Hock Tan 周末与银行高管谈判并同意更高的贷款利率后才完成。
2026-10-27
Agent harness 会消亡吗？从 Harness-Zero 看 harness 蒸馏改变了什么
作者结合北京大学团队的 Harness-Zero 论文分析 agent harness 的未来：把专用 harness 的行为蒸馏进 Qwen3.5-9B 后，蒸馏模型平均任务成功率提升 21 点，超过挂载完整 harness 的原模型，但在化学等依赖领域知识的任务上仍落后 8 点，上下文管理也无法完全转移。
2026-10-27
荷兰政府计划用 AI 削减 2.5 万个岗位，目标节省 35 亿欧元
据彭博社报道，荷兰政府宣布借助 AI 提升行政效率，计划逐渐削减 2.5 万个政府工作岗位，约占政府员工总数的 16%，目标是节省 35 亿欧元（约合 261.52 亿元人民币）并将生产力提高 20%。
2026-10-27
面壁智能 ForgeKernel 登顶华为 CANNBench 与英伟达 SOL-ExecBench 算子榜
面壁智能自研 AI 算子生成系统 ForgeKernel 同时登顶华为 CANNBench 950DT、950PR、A3 三大硬件榜单和英伟达 SOL-ExecBench（FlashInfer-Bench 合集）。
2026-10-27
Meshy+Blender打造万圣节厨房动画
可爱小猫进去。邪恶小猫出来。叮！😈💨 用 Meshy + Blender 搭建了这个万圣节厨房： 🧸 Meshy 生成了小猫的前后对比 3D 模型、微波炉以及所有厨房道具。 🎬 Blender 负责场景布局、材质、灯光、动画和最终渲染。 万圣节快到了，快乐！也许你该检查一下你的微波炉……👻
2026-10-27
10 月 31 日深圳 Milvus Meetup，报名倒计时
Zilliz 2026 年 10 月 31 日在深圳举办 Milvus Meetup，聚焦 Agent 时代的检索、记忆与数据分析，邀请 Zilliz、货拉拉、Teamily、MemoraX 和 Google Cloud 专家分享 Milvus 3.0 的最新实践。
2026-10-27
深度｜单集群超百亿向量，快手是怎样用好 Milvus 的？
快手基于 Milvus 搭建了公司级向量检索平台，管理数百亿条向量数据，支持风控、去重、RAG 等业务，实现了读写分离、同城容灾和自动化运维，并计划探索 Lakebase 新架构。
2026-10-27
廉价验证器 Jev 核查 RAG 声明准确率逼近 GPT-6 Astra
论文测试了仅输出标签和概率的 Jev 与 GPT-6 Astra 在 495 条人工标注声明上的核查表现，Jev 准确率与 Astra 相差 0.6 个百分点以内，成本低 187 倍。但 Jev 放行了 23.2% 的无依据声明，高于 Astra 的 14.1%。级联方案虽降低 Astra 费用，但随机分流同样比例的声明也能省下差不多的钱。
2026-10-27
GPT-6.1 Terra 已核实发布：企业 SaaS 团队拿到的 API 价格、上下文与 Agent 集成变化清单
OpenAI 于 2026 年 10 月 26 日官方发布 GPT-6.1 Terra，模型名 gpt-6.1-terra 可经 API 调用。
2026-10-27
2026年企业对比 ChatGPT 与 Claude：席位价格、数据保留例外与中国大陆合规前提
截至2026年10月，OpenAI 公开可核实的是 ChatGPT Business 席位价格与计费纪律（标准席 $25/$20、Premium 席 $125/$100、8月19日计费改革、席位不退款、仅卡支付），Anthropic 公开可核实的是 API 数据条款（ZDR 逐组织申请、标记数据最长保留2年、Covered Models 强制30天保留）…