最新更新

首页已经看过的不重复列。下面从更早的内容继续,可以一直往下滚。

2026-10-22

Google DeepMind 与剑桥论文:基于 Gemini 的智能体自主证明 11 台未解决图灵机的规则

Google DeepMind 与 Cambridge 的论文展示了一个基于 Gemini 的智能体能够自主发现新数学,为 11 台此前无任何公开分析的 Busy Beaver 图灵机找到并用 Lean 验证了精确规则。该智能体先在模拟器中测试边界情况,起草非形式化证明,再用 Lean 证明检查器完成形式化证明。

AIHOT 最近七天技术与使用
2026-10-22

Nathan Lambert 谈开源模型与网络安全平衡

Nathan Lambert 认为开源模型在网络防御中能起到平衡作用,当前发展轨迹比人们想象的要好得多。他指出开源权重并非不会被用于网络攻击,所有可能的 AI 发展轨迹在他看来都会伴随大量网络安全事件。他试图挑战围绕网络与开源模型的宿命论式 AI 末日论调,因为网络社区中有可信声音认为开源模型是未来 12 个月维持局面的重要力量。

AIHOT 最近七天分析与观点
2026-10-22

Google 与 Voltus 将在 PJM 电网合作争取 1 GW 虚拟电厂容量

Google 与 Voltus 宣布在 PJM 电网争取 1 GW 虚拟电厂容量,是 6 月公布的 100 MW 目标的十倍。虚拟电厂通过软件调控家庭和企业用电为数据中心腾出电力空间;Voltus 要求客户承诺通过 2040 年持续提供减负或电池供电,且 Google 承诺 100% 无碳容量。

AIHOT 最近七天公司与品牌
2026-10-22

体验评测:Duet——Anthropic 的常驻智能体

Claude Duet 是 Anthropic 推出的一款强大常驻个人智能体,擅长整理知识工作和自动化任务,但目前尚未全面集成自定义连接器,也不具备语音功能。

BestBlogs 中文 AI技术与使用
2026-10-22

蚂蚁百灵发布 Ling-3.1-flash-1019

推出 Ling-3.1-flash-1019 🚀 它在 Artificial Analysis Intelligence Index 上得分 44,高于 Ling-3.1-flash 的 41。智能体工作方面有所提升:AA-Briefcase 约 1400→1524 Elo,AutomationBench-AA 62%→68%。

AIHOT 最近七天技术与使用
2026-10-22

用完 12 个 Personal Agent 后,我找到了决定好用上限的五个标准

判断 Personal Agent 好不好用,不在于用的哪个模型,而在于你拥有的账号与它能提供的服务重叠有多高。我通过测试 12 个 Agent,发现五个关键维度——记忆、信息获取、Computer Use、主动性和多端联动——决定了其上限,并分享了实际案例和工作流优化。

BestBlogs 中文 AI技术与使用
2026-10-22

Eiliko 制造商 Energize Lab 就机器人安全漏洞回应,The Verge 指其系统仍未修复

Energize Lab 就 The Verge 报道的 Eiliko 挂件机器人安全漏洞发布声明,确认核心问题属实,称已关闭后端外部访问、禁用远程修改机器人回应的接口、下线长期记忆和自定义头像功能,并承诺删除已存储的对话记录、用户画像和头像图片,还将聘请独立安全公司全面审查。

AIHOT 最近七天产品与动态
2026-10-22

NeurIPS 2026 | 从 Token 到 Span:重新思考大语言模型的不确定性估计

Amazon 研究者提出 Span-Level Uncertainty Estimation (SLUE) 新任务及 SpanUQ 方法,利用冻结 LLM 隐藏状态配合轻量级 Probe,在单次前向传播中同时完成语义片段检测与不确定性估计,较采样法快 10-20 倍,并发布 SpanUQ-Bench 基准。

BestBlogs 中文 AI配套与服务
2026-10-22

2026 年最便宜的 LLM API:到底该选哪一个

LLM API 的实际成本取决于缓存率、输出比例和定价门槛,而不只是醒目的每 token 价格;本文比较了 GPT-5.6 Sol、GPT-6.1 Sol、Claude Opus 5.5 等模型经核实的价格,找出适合不同工作负载的高性价比选择。

BestBlogs 中文 AI配套与服务
2026-10-22

TK Elevator 用微软技术赋能维保技师

让超过一百万部电梯和自动扶梯平稳运行绝非易事。 今天在科隆,我了解到 TK Elevator 如何利用我们的技术,帮助其服务技师获取数十年积累的共享知识,简化流程,让他们能少花时间查找答案,多花时间保障人们顺畅出行。

AIHOT 最近七天产品与动态
2026-10-22

国模一哥智谱,也入场做 AI 办公了。

智谱的 ZCode 推出 Work 模式,将 AI 编程能力扩展到办公领域,支持文档分析、表格处理和 PPT 生成,并提供多 Agent 工作流功能,成为新一代办公工具的有力竞争者。

BestBlogs 中文 AI技术与使用
2026-10-22

大模型如何胜任职场?WorkForge 让大模型进入真实职场工作流

腾讯混元与复旦大学提出 WorkForge,一个从真实世界资源出发、规模化构建可验证智能体工作环境的框架,通过 16,665 个真实工作区训练模型,显著提升智能体在长程任务中的探索、核查与交付能力。

BestBlogs 中文 AI技术与使用
2026-10-22

科大讯飞刘庆峰:国产算力对标全球还有两代左右差距,终会并跑甚至领跑

科大讯飞董事长刘庆峰在 2026 科大讯飞全球 1024 开发者节主论坛演讲中表示,国产算力对标全球还有两代左右差距,但很快会缩小到一代、半代,一定会有并跑甚至领跑的一天。他还称国产生态中真正在大模型训练上花力气的公司寥寥,未来会有更多人投入大模型训练与应用生态。

AIHOT 最近七天分析与观点