利用本地 Qwen3.5 与 OpenCode 在完全断网环境下运行 AI 编程智能体实测
作者实测了在完全切断网络连接的笔记本上，通过 Ollama 本地运行 Qwen3.5 9B 模型并配合开源代码智能体 OpenCode 1.19.4 完成代码检视、错误修复与单元测试。
全部AI 动态
全部动态
今日 117 条Latent SpaceAI 评分6060 科学网AI 评分3131 2025年度广东省科学技术奖名单公布
广东省人民政府正式公布2025年度广东省科学技术奖名单，杨中民院士与杨志峰院士获突出贡献奖。“超大规模跨模态人工智能应用平台关键技术与产业化应用”等3项成果获科技进步奖特等奖。此外，本届评选还授予自然科学奖一等奖8项、技术发明奖一等奖9项、科技进步奖一等奖33项及青年科技创新奖24人等。
The DecoderAI 评分5353 前 DeepMind 研究员提出借鉴 AlphaGo 机制解决大模型幻觉
前 DeepMind 研究员 Thore Graepel 创立 Metis Reasoning 并提出新架构设想，主张借鉴 AlphaGo 的搜索与评估机制，通过外置的显式知识账本和独立验证模块从根源上减少大模型幻觉。
科学网AI 评分5959 国科大徐宁龙团队揭示单个神经元参与灵活决策的计算机制
国科大与中国科学院脑智卓越中心徐宁龙团队在《Science》发表研究，揭示大脑单个神经元内部即可完成认知计算，其顶端树突负责编码抽象规则，而胞体负责接收感官信号并进行实时比对。实验通过双光子钙成像与光遗传技术证实，灵活的决策推断发生于细胞内部运算，突触可塑性则主要用于后续规则固化。该成果阐明了生物大脑灵活处理信息的底层机制，有望为新一代类脑算法与少样本推理提供设计思路。
The Decoder精选AI 评分8080 OpenAI 邀请诺奖得主等外部专家审核其 AI 在数学、计算与物理领域的理论证明
OpenAI 邀请包括诺贝尔物理学奖得主 David Gross 在内的外部专家团队，对其 AI 系统在计算机科学、数学和理论物理领域生成的多项重大证明进行独立审查。
推荐理由：文章详细梳理了 OpenAI 人工智能生成的三项理论证明及其外部验证机制，读者可据此了解前沿 AI 介入基础科学研究的实际进展与审查争议。
TechCrunch · AIAI 评分6060 AI 算力初创公司 General Compute 获 1 亿美元 A 轮融资，估值达 8 亿美元
AI 算力初创公司 General Compute 完成由 Blackbird Ventures 和 Abstract Ventures 领投的 1 亿美元 A 轮融资，投后估值达 8 亿美元。
TechCrunch · AIAI 评分5656 Opera 推出 WebAI 新标准，支持在浏览器中本地运行 AI 模型
Opera 推出名为 WebAI 的新 Web 标准，允许用户在浏览器中直接本地运行 AI 模型而无需依赖云端。该标准支持 Google 的 Gemma 等开放权重模型以及 Mac 端侧基础模型，已在 Opera One 推出早期预览，后续将扩展至 Opera GX 和 Opera Neon。这种端侧部署方式无需云端订阅并保护了用户隐私，但实际运行表现取决于本地硬件性能。
TechCrunch · AIAI 评分4040 日本互联网巨头 GMO 称黑客已公开窃取的客户数据
日本互联网巨头 GMO Internet 证实其 Onamae 云桌面服务遭入侵，黑客已公开涉嫌窃取的客户与业务数据，多达 27,000 台服务器或受影响。黑客此前勒索约 80 亿日元（约 5000 万美元），针对客户账户出现的未经授权操作，官方已建议重置密码。GMO 称正在核查数据真伪，尚未确认此案是否与 AI 渗透工具 Artex 相关。
环球科学AI 评分7272 OpenAI 发布论文声称推翻指数时间假说 ETH，学界正组织独立核查
OpenAI 发布论文声称其 AI 系统找到亚指数时间算法，尝试证伪理论计算机科学中提出近 30 年的指数时间假说（ETH）。该算法能够在亚指数时间内精确统计布尔逻辑公式的满足解数量，OpenAI 同步公开了自然语言推导与 Lean 形式化验证。目前假说原提出者已受邀组织学界独立核查，相关事件也引发了学者对商业 AI 发布前沿学术成果与同行评议流程的集中讨论。
科学网AI 评分4141 港大教授李连江：不应让学者为琐碎谋生耗费生命
香港大学李连江教授指出，异化的“非升即走”与极端KPI考核正在扼杀学者创造力，不应让学者为琐碎谋生耗费生命。他认为生成式AI虽能批量产出平均水准的平庸内容，但缺乏切身经验与灵性，无法替代人文社科核心的学术创新。学者应将AI用于语法纠错与文献梳理等辅助工作，同时必须通过扎实的传统训练保持学术独立性。
NatureAI 评分6161 科学家能否可靠鉴别小说是否由 AI 撰写？专访计算机学者 Tuhin Chakrabarty
计算机科学家 Tuhin Chakrabarty 在专访中表示，通过追踪罕见词组重合度与叙事拍点，能够有效识别小说中是否存在大量 AI 生成文本。其实证研究对比了亚马逊上三类书籍与 Google Books 的词句重叠，发现 AI 编写的书籍重合率最高且更易套用类型小说模式。
The Decoder精选AI 评分7676 研究显示 OpenAI 合作伙伴内容以预处理摘要形式优先接入 ChatGPT
Peec AI 研究员发现 OpenAI 通过名为 labrador 的专属通道将授权伙伴内容接入 ChatGPT，其以预生成的摘要形式提供并排在普通网页文本片段之前。该机制覆盖康泰纳仕、施普林格、路透社等 12 家出版商的 43 个域名，内容除新闻外还涵盖食谱、评测与导购指南。在千例测试样本中，排名前三的位置有 70% 出现合作伙伴摘要，而第 7 至 10 名仅占 23%。
推荐理由：研究揭示了授权内容与普通网页在模型检索中的处理差异，有助于理解商业合作对大模型生成偏好与引流逻辑的实际影响。
MIT Technology Review · AIAI 评分2424 工业智能：制造业的下一个增长机遇
制造业正通过融合工业智能与物理 AI，将工人经验及生产数据转化为能在现实设备中自主推理与执行的决策能力。Toyota Industries 整合车间数据后，将分析周期从 5 天压缩至 4 小时以下，相关涂装缺陷减少约 25%；Rockwell Automation 则借助维护 Copilot 将新员工排障学习期从 9 个月缩短至 3 个月。
The Verge · AIAI 评分6969 算力中心扩张引发广泛民意反弹并成为美国多州选战焦点
美国多地数据中心的快速扩建引发社区强烈反对，成为国会与州长竞选中的关键争议议题。科技行业正向各州竞选投入数千万美元政治献金，而两党多位候选人迫于选民对电网、水资源及成本上升的担忧，纷纷提议取消税收优惠、要求企业自付基建费用，甚至支持对超大规模数据中心实施建设冻结令。
The DecoderAI 评分7171 Anthropic 在 IPO 信中重申 Claude 永不投放广告
Anthropic 在其 IPO 申报信中重申不会在 Claude 对话中引入广告，明确选择放弃潜在的广告收入以避免为了商业利益而被迫追求用户互动压力。该承诺被归入其价值观高于利润的核心原则，信中还举例说明此前曾为安全防护延期发布高风险模型并向网络安全人员提供约 1 亿美元免费额度，预计未来仍会做出更多放弃短期最大利润的决策。
TechCrunch · AIAI 评分5252 Nvidia 参投印度 AI 推理优化初创公司 Simplismart 的 1400 万美元融资
Nvidia 参投了印度初创公司 Simplismart 的 1400 万美元 B 轮融资，该轮融资由 Dallas Venture Capital 领投，公司投后估值约为 1 亿美元。
SolidotAI 评分6868 Reddit 开源社群 r/opensource 出台 AI 禁令引发争议
Reddit 开源社群 r/opensource 出台严格政策禁止 AI 生成内容并限制发帖资格，引发社区广泛争议与分流。新规要求提交的项目须存在满一年且有多名贡献者，同时禁止使用 AI 翻译发帖，促使部分用户建立允许 AI 的新社群。版主随后回应称该政策旨在过滤 AI 批量生成的低质个人项目，未来将调整规则以避免误伤成熟开源项目。
NatureAI 评分3737 评估免疫健康能否重塑医疗护理？
科研人员正结合分子分析、医学影像与 AI 推进“免疫组”表征，以精准评估人体的综合免疫健康状态。现有常规临床检测仅能提供碎片化数据，难以反映免疫系统的生物学年龄及应对疾病的整体韧性。研究旨在依托人类免疫组计划（Human Immunome Project）筛选出可规模化落地的关键临床指标，用以识别异常衰老并指导精准医疗。
NatureAI 评分2626 AI 水印机制必须鼓励独立公众监督
针对 Anthropic 等 AI 隐形水印方案，研究者呼吁相关水印举措必须接受独立的公众监督以防范安全攻击。以往测试显示，攻击者仅需花费不足 50 美元，便能通过模型查询推断出特定规律，从而伪造或去除水印，成功率高达约 80%。
NatureAI 评分3434 AI 幻觉引文应被视作学术不端
学界讨论提出 AI 工具虚构的参考文献引用应被认定为学术不端行为。预印本平台 arXiv 近期已开始封禁包含此类 AI 幻觉引用的论文，而科学家群体目前仍在就此类虚构引文是否属于学术不端展开持续争论。
The Decoder精选AI 评分7979 Meta 获 Nvidia 30 亿美元投资，计划采购更多硬件支持下一代 AI 智能体
Nvidia 计划在 Meta 的股权发售中投资 30 亿美元，双方将深化围绕 Meta AI 产品 Muse 的合作，Meta 将采购 Nvidia Vera Rubin 系统和 Vera CPU 等硬件以运行其下一代 AI 智能体。
推荐理由：该交易展现了芯片厂商通过股权投资绑定大客户算力需求的模式，有助于理解科技巨头基础设施扩张与循环融资争议。
The DecoderAI 评分6464 OpenAI 的 Ted Sanders 分享 GPT 模型选型经验法则与命名逻辑
OpenAI 的 Ted Sanders 解释了公司模型命名逻辑并分享选型经验法则，指出模型性能是多维度的，不能简化为单一智商分数。尽管模型大小是决定性能差异的主因，但架构和训练数据更新可让较小模型反超旧版大模型。在具体选型上，他建议只看重质量选 Astra，轻度价格敏感选 Sol，高度价格敏感则选 Terra 或 Luna。
arXiv cs.LGAI 评分3535 REMIND：分布偏移下检索引导的时空概率预测框架
针对时空预测中的分布偏移问题，研究团队提出检索引导的概率预测框架 REMIND。该框架通过时空检索构建记忆库，采用分别应对轻微与严重偏移的双分支架构，并通过自适应门控动态调节预测策略。实验表明，REMIND 在真实数据集上的预测精度和概率预测质量均优于现有 SOTA 方法。
arXiv cs.LGAI 评分3434 SKG 实践：跨四大领域的 OOD 泛化案例
研究者展示了 SKG 推理框架的工程实现方法，并在耗散力学系统、目标检测、序列建模与分子动力学四大领域验证了其 OOD 泛化表现。在 Sim-to-Real 目标检测中，无需真机重训即实现 mAP 从 0.2564 增至 0.4964，序列建模 OOD MSE 达到 0.0296 优于 Transformer 的 0.0641。该框架同时提供了任务不变量构建、三阶段训练与残差训练等完整方法论。
arXiv cs.LGAI 评分3232 面向 OOD 检测的反相干正则化绝对缩放方法
研究者提出结合绝对值缩放与反相干正则化的 OOD 检测方法，解决了现有事后方法 SCALE 在 ViT 等含负激活架构上退化的问题。该方法通过激活绝对值计算比例，并惩罚符号不匹配的 logit 贡献以抑制不可靠证据。在无需训练数据的前提下，其在 OpenOOD v1.5 协议下的 CIFAR-10 与 ImageNet 测试中，AUROC 和 FPR@95 指标打平或超越了依赖训练数据的方法。
arXiv cs.LGAI 评分3939 BiLoCo：面向训练后量化的二值低秩校正方法
BiLoCo 是一种面向大模型 FP4 训练后量化（PTQ）的二值低秩校正方法，将校正因子存为二值符号向量，单秩分量存储减少 16 倍，且可在 CUDA Core 上与 Tensor Core FP4 GEMM 并发运行。
arXiv cs.LGAI 评分4040 多候选推理中的隐藏接口损耗：正确答案为何无法被选择器选中
研究揭示大语言模型在多候选推理中存在“隐藏接口损耗”，即候选池中的正确答案常因残缺、不可解析或格式失配而无法被固定选择器选中。为此团队提出 CACC 接口层，无需重新训练任何组件即可修复候选片段并对齐答案模式。在 GPQA Diamond 基准上，CACC 单独将最终准确率从 5.6% 提升至 19.2%（+13.6 pp），结合提议端增强后达 25.8%（+20.2 pp）。
arXiv cs.LGAI 评分3434 MS-TTRL：打破多解测试时强化学习中的频率冲突
研究团队提出 MS-TTRL，通过结果级自我验证分离正确性估计与多样性保持，解决多解测试时强化学习中的频率冲突。该方法引入三状态结果缓存，并利用置信度门控逆概率缩放强化罕见且可靠验证结果的学习信号。跨 2 个基准与 3 个骨干模型的实验表明，其恢复率较最优无标签基线平均提升 19.13 个百分点，性能接近有监督 IPS-GRPO。
arXiv cs.LGAI 评分3838 注意力头维度对语言模型的长上下文检索至关重要
在固定模型大小下，增加注意力头维度（即采用更少但更宽的头）能显著提升语言模型的长上下文检索性能，而对预训练损失和短上下文非检索任务影响微弱。分析表明较宽的头具有更高比例的检索头，从而让更多参数直接参与信息检索。消融实验显示，即便在长上下文持续预训练中冻结注意力投影权重，更宽的头依然能促进嵌入向量与 MLP 等组件更有效适应。
arXiv cs.LGAI 评分4343 Principia：面向科学发现的测试期假设与原理构建框架
研究人员提出基于 LLM 的科学发现框架 Principia，能够在测试期从输入与观测结果中构建因果假设，并将其持续演化提炼为归纳性科学原理。在分子优化、蛋白质工程、基因扰动和分子性质预测等基准测试中，Principia 表现超越了依赖内部知识、外部来源或经验总结的基线方法，生成的原理与文献一致。该项目代码已开源。
arXiv cs.LGAI 评分2626 Dual-Adaptive Z-Score PPO：基于动作置信度与归一化优势幅度的动态裁剪
研究提出 Dual-Adaptive Z-Score PPO（PPO-DAZ3），基于动作置信度与归一化优势幅度为样本动态设定裁剪区间。在经典控制基准测试中，PPO-DAZ3 在 LunarLander-v3 表现最佳，平滑优势变体 PPO-AZ3S 在 Acrobot-v1 领先，标准 PPO 则在 CartPole-v1 保持竞争力，表明自适应裁剪对高难度任务收益更显著。
arXiv cs.LGAI 评分3030 EVOLVE：基于自适应原型记忆的不确定性感知多变量时间序列异常预测
EVOLVE 提出了一个面向无监督多变量时间序列异常预测的统一框架，通过变量与上下文条件扰动及不确定性感知推理来预测未来风险。该框架利用自适应异常原型记忆在变量级别动态更新并检索扰动，结合平滑与偏差放大演化假设解码未来轨迹，并以轨迹分歧度量化异常风险。在 6 个真实基准数据集上的实验表明，EVOLVE 持续超越现有 SOTA 基线。
arXiv cs.LGAI 评分3030 CFBrainAug：用于可解释 fMRI 自闭症诊断的模块度诱导反事实脑网络增强
CFBrainAug 框架将数据增强与反事实解释统一，通过学习标签改变的脑网络辅助基于 fMRI 的自闭症谱系障碍（ASD）诊断。该方法在模块数量约束下细化拓扑相似且标签相反的网络，丰富决策边界分布，使轻量级 SVM 表现媲美图深度学习方法。在 ABIDE I 数据集的 NYU 站点上，CFBrainAug 达到 74.1% 的准确率，并通过连接差异提供内在临床解释。
arXiv cs.LGAI 评分2828 基于稀疏历史与零成本代理的跨任务神经架构搜索
新提出的跨任务神经架构搜索策略结合稀疏历史日志与零成本代理，通过冠军初始化与联合成对排序器预训练降低迁移风险。在 TransNAS-Bench-101 上，该方法将 Micro autoencoding 最差 10% 排名从 290 降至 43，Macro room layout 从 465 降至 45。
arXiv cs.LGAI 评分3333 曲率感知裁剪：利用近似二阶信息缓解 DPSGD 偏差
CA-DPSGD 框架通过利用近似二阶信息构建曲率感知裁剪空间，旨在缓解差分隐私随机梯度下降（DPSGD）中因裁剪偏差导致的几何不对齐问题。该框架集成了曲率矩阵校正估计器，并结合各向异性噪声机制以提供严格的隐私保障。实证实验表明，该方法在模型效用上优于现有的前沿梯度裁剪方法。
arXiv cs.LGAI 评分3535 稀疏性驱动多任务神经网络涌现功能模块化
稀疏诱导正则化无需预定义模块边界，即可驱动多任务神经网络自发涌现功能模块化。研究人员在多层感知机和轻量级 Transformer 中识别出被称为 functional tokens 的紧凑任务选择性子网络，发现专用化优先在深层形成，浅层则保留共享计算。这些 functional tokens 无需重新训练即可重新组合，直接重构复合计算。
arXiv cs.LGAI 评分3838 重新思考 LoRA 初始化：实现鲁棒的非对称学习率
针对 LoRA+ 采用非对称学习率易导致训练不稳定和性能崩溃的问题，研究提出了新型初始化方法 initAA。该方法将矩阵 A 的方差缩放为 $\sigma_A^2 \propto n^{-2}$ 并保持 $B_0=0$，使初始化噪声能量额外降低 $1/n$ 倍，同时保持适配器初始输出为零。
arXiv cs.LGAI 评分3838 超越数据调度：基于损失重加权的 LLM 混合数据快速预训练
研究者提出 LARE 方法，通过运行损失统计自动调整领域权重，在固定数据采样暴露量下优化 LLM 混合数据预训练。在 240B tokens 训练的 1.5B 模型上，该方法使知识、数学和代码领域的 5 项评测基准较直接混合平均提升 +7.84 pp，其中 GSM8K 和 MATH 分别提高 +17.06 pp 与 +9.00 pp。
arXiv cs.LGAI 评分4242 REACT：思维链轨迹的早期表征分析与控制
研究提出的激活干预方法 REACT 仅在思维链早期应用单次控制，将 DeepSeek-R1-Distill-Llama-8B 在 StrongREJECT-273 上的完全安全输出率从 29.06% 提升至 82.05%。评测显示干预的最佳窗口集中在前 2 至 3 个 token，并在保持良性拒绝率和有用性接近基线的同时，模型权重全程冻结且无需二次编辑。
arXiv cs.LGAI 评分4444 实证检验 Transformer 能力理论
一项新研究梳理了 Star-free、AC^0、TC^0、C-RASP、MPC、BAPO 和 Sensitivity 等 7 种 Transformer 能力理论并开展对照实验，发现没有单一理论能解释所有任务表现。