研究论文 · Ethereum Foundation Blog
以太坊基金会推出 better.codes 自动研究挑战推进哈希型 SNARK 安全性证明 ↗
以太坊基金会联合 Yukon 和 zkSecurity 推出 better.codes 自动研究挑战，聚焦 koalaIRS12（Reed–Solomon 邻近性问题），目标是通过机器可检验证明将哈希型 SNARK 的 soundness 下界提升至 128 比特；所有提交由 Lean 内核验证，有效证明被公开上链并反哺社区。
TIAOTECH / NEWS
保持好奇。与变化同行。
AIHOT 精选行业资讯，关注 AI、产品与技术的新进展。
AIHOT · 精选摘要，保留原始来源 · 2026年11月3日 09:00
实践技巧 · NVIDIA Technical Blog
NVIDIA Holoscan 使用 CLI、技能与 AI 编码智能体开发实时内窥镜工具分割应用 ↗
NVIDIA 技术博客介绍如何用 CLI 工具、HoloHub 开发技能和 AI 编码智能体（Codex + GPT-5.6 sol max mode）协同构建 Holoscan 实时内窥镜工具分割应用。
研究论文 · Cohere Blog
Cohere 发布《文化漏斗：数据中不存在的内容无法对齐》预印论文 ↗
Cohere 发布预印论文《The Culture Funnel: You Can’t Align What Isn’t in the Data》，提出‘文化漏斗’概念。
科技产品 · NVIDIA Technical Blog
NVIDIA FLARE 2.8.0 发布联邦多模态 AI 工作流支持能力 ↗
NVIDIA 技术博客发布文章，介绍 NVIDIA FLARE 2.8.0 对联邦多模态 AI 工作流的支持能力，包括大型对象外部化、PyTorch 张量流式下载（Tensor Downloader）和服务器端磁盘支持聚合（tensor disk offload）。
实践技巧 · NVIDIA Technical Blog
NVIDIA 发布 Cosmos 3 Edge：4B 多模态世界模型支持 Jetson Thor 端侧机器人控制 ↗
NVIDIA 发布 Cosmos 3 Edge，一个 4B 参数的 omni-model（含 2B Nemotron 推理模块），专为在 Jetson Thor 上运行机器人控制策略而优化。
AI 产品 · NVIDIA Technical Blog
NVIDIA 发布 SkillEvaluator：开源 AI 智能体技能评估工具 ↗
NVIDIA 发布开源工具 SkillEvaluator，用于评估 AI 智能体技能对性能的影响，支持静态检查与真实任务运行对比（含 Codex 和 Claude Code 两个 harness）。
研究论文 · AI21 Blog
AI21 提出智能体搜索瓶颈在于选择而非生成：验证器可替代前沿模型 ↗
AI21 在博客中指出，智能体搜索的准确率瓶颈是答案选择而非生成，多数投票无法纠正流行错误；引入独立验证器（verifier）对候选答案逐个重检索并否决错误项。
科技产品 · Google 开源博客
Google 开源 CEL 形式化验证框架 ↗
Google 开源 CEL（Common Expression Language）形式化验证框架，基于 Z3 定理证明器，支持对 CEL 表达式和策略进行数学层面的正确性证明；能检测逻辑等价性错误、守卫条件不完备性及安全不变量失效，并通过三阶段污点追踪实现零误报，支持在 CI/CD 中自动验证 AI 生成策略。
研究论文 · Hugging Face Blog
ALTK-Evolve 提出智能体记忆需按模型能力校准 ↗
IBM 研究与 Hugging Face 合作发布 ALTK-Evolve 方法，让智能体从自身轨迹中蒸馏可复用指南并在推理时注入，无需权重更新或人工标注；在 AppWorld 基准上对八种模型（含 DeepSeek-V3.2。
实践技巧 · NVIDIA Technical Blog
NVIDIA ALCHEMI Toolkit 发布智能体技能包以支持材料模拟工作流构建 ↗
NVIDIA 官方技术博客介绍 ALCHEMI Toolkit（v0.2.0）如何通过提供 PyTorch 原生、GPU 加速的 MLIP 构建模块及配套 AI 编码智能体技能包。
科技产品 · NVIDIA Technical Blog
NVIDIA cuML 和 cuVS 25.06 发布多 GPU UMAP 功能 ↗
NVIDIA cuML 和 cuVS 25.06 发布多 GPU UMAP 功能，通过分布式 all-neighbors kNN 图构建实现大规模数据集（如 106M 向量 MIRACL）的端到端 UMAP 训练。
研究论文 · IEEE Spectrum Robotics
Ice Dart无人机发布冰山着陆能力 ↗
加拿大舍布鲁克大学团队开发Ice Dart无人机，配备可伸缩微刺足和摩擦减震器，可在近60度冰坡以3米/秒速度着陆，58度坡面与30公里/小时风速下成功率100%；已在冰岛Fjallsjökull冰川及冰湖冰山完成实地测试；该能力支持长时间静默观测，提升冰山跟踪精度。
科技产品 · Cursor Blog
Cursor 发布 Git 存储系统 Continuity ↗
Cursor 发布名为 Continuity 的新型 Git 存储系统，采用以 S3 为事实来源的预写日志（WAL）架构，替代传统 Spokes 的三阶段提交共识机制；支持任意数量副本、无状态路由、乐观复制与 WAL 驱动的压缩，专为智能体高频创建小仓库和企业级单体仓库的大规模 CI 场景优化。
实践技巧 · Hugging Face Blog
Sentence Transformers v6.0 发布 MultiVectorEncoder，支持 late-interaction 检索模型 ↗
Hugging Face 官方博客宣布 Sentence Transformers v6.0 更新，新增 MultiVectorEncoder 类型，原生支持 ColBERT-style late-interaction 检索模型（如 PyLate。
实践技巧 · Hugging Face Blog
Dharma AI 发布约束感知 GPU 调度器 ↗
Dharma AI 发布约束感知 GPU 调度器，通过将实时推理建模为时序需求曲线、批处理作业按优先级跨调度周期分配，使相同硬件上的 GPU 利用率最高提升 33 个百分点，优先级加权输出最高提升 105%；该调度器在 8–64 GPU 场景下运行耗时 1–15 毫秒，并开源模型与交互演示。
实践技巧 · NVIDIA Technical Blog
NVIDIA 发布 Nemotron 3.5 Lightning NVFP4 模型并开源 QAD 量化方法 ↗
NVIDIA 发布 Nemotron 3.5 Lightning NVFP4 检查点，通过量化感知蒸馏（QAD）在22GB体积（原BF16为66GB）下实现接近全精度的准确性。
行业动态 · IEEE Spectrum Robotics
Persona AI 聚焦船厂焊接作为人形机器人首个商业化场景 ↗
Persona AI 选择船厂焊接作为其人形机器人首个落地任务，因其存在熟练焊工短缺、任务节奏适配机器人（厘米/秒速度、毫米级重复动作）、环境需双足移动（跨越横梁、地面/ overhead/ 舷窗作业）等特点；已与现代重工（HD Hyundai）和浦项制铁（POSCO）建立合作，目标单地点部署数百台机器人，强调通过提升产能而非降本创造价值。
观点 · IEEE Spectrum AI
AMD论AI智能体集群如何重构软件开发生命周期 ↗
AMD工程师Andrej Zdravkovic分析过去一年AI在软件开发中的实际进展：AI生成代码占比已达20%，部分组件超80%；RSX问题自动修复率从2025年10月的6%提升至2026年6月的75%。文章提出下一阶段将转向人类定义目标、AI智能体集群自主探索与验证解决方案的范式，从而重写整个软件开发生命周期（SDLC）。
研究论文 · IEEE Spectrum AI
Axiom Math使用AI系统AxiomProver首次形式化验证246定理 ↗
Axiom Math团队利用其AI系统AxiomProver首次自动形式化验证了关于素数间隙的246定理——即存在无穷多对相差为246的素数。该工作构建了可复用于其他数学形式化任务的素数间隙结果库，目标是将形式化方法拓展至AI生成代码的安全验证。
研究论文 · Google Research
Google Research 提出 PhotoScan：用智能手机照片估算身体成分以预测胰岛素抵抗风险 ↗
Google Research 发布一项研究，提出 PhotoScan 深度学习框架，可从标准 2D 智能手机照片中估计三维身体成分指标（体脂率 BF%、Android-to-Gynoid 脂肪比 A/G。
科技产品 · Ethereum Foundation Blog
以太坊基金会发布 Platåberget 测试网，为 Glamsterdam 升级做准备 ↗
以太坊基金会发布 Platåberget 测试网，用于社区测试即将上线的 Glamsterdam 升级。
AI 产品 · Ollama Releases
Ollama v0.32.12 发布，新增 Qwen 3.8 27B 模型支持并优化 Apple Silicon 推理 ↗
Ollama v0.32.12 发布，新增对 Qwen 3.8 27B 模型的支持，该模型在编码、专业工作、研究及长周期智能体任务中表现提升；同时为 Apple Silicon 设备优化了性能与输出质量，提供专用的 qwen3.8:27b-mlx 标签。
行业动态 · Cursor Blog
Cursor 被 SpaceX 正式收购 ↗
Cursor 已正式被 SpaceX 收购，完成自 4 月启动的收购流程；双方此前已与 SpaceXAI 合作加速模型训练；Cursor 将获得 SpaceX 全球最大 GPU 集群支持，以更低成本提供更强模型，周三发布的 Grok 4.6 是初步成果。
AI 模型 · 智谱官方研究
智谱发布GLM-5.3：编程能力最强的开源模型，涌现网络安全能力 ↗
智谱发布GLM-5.3，基座未变，通过极致后训练Scaling显著提升智能上界，在Terminal-Bench 3.0得分从4.6升至28.3，DeepSWE v1.1从46.2升至66.9。