农户拒售AI数据中心用地
一户被外界称为“乡下人”的业主拒绝了 AI 数据中心项目开出的 2600 万美元报价。事件凸显 AI 基础设施扩张中，土地、社区意愿与地方资源压力之间的冲突。
最新动态
乌克兰量产远程飞翼无人机
报道称，乌克兰通过秘密拍摄中国工厂照片仿制出约4.8万美元的远程攻击无人机，航程可达2000公里。该机型已用于打击俄罗斯Tu-95轰炸机，乌克兰据称年产约6000架飞翼无人机，凸显低成本无人系统在战争中的扩散速度。
audio.cpp 0.6扩展音频模型
audio.cpp 0.6新增dots.tts、NeuTTS-2e、MiniMax-H3、SenseVoice-Small等音频模型家族，并上线原生WebUI。项目已支持49个模型家族和70多个变体，覆盖TTS、音色克隆、音乐生成、语音识别等本地音频AI场景。
llama.cpp升级ROCm基准
llama.cpp将ROCm支持从7.2升级至7.14，带来对Radeon 780m iGPU所需gfx1103的支持。用户自行编译后对比ROCm与Vulkan在Qwen 3.6 35B A3B Q8等模型上的吞吐表现，为AMD核显本地推理提供参考。
Anthropic将为Claude文本加水印
John Gruber批评Anthropic计划让Claude在全球生成内容中加入文本水印，以响应欧盟AI内容标识要求。文章称其方案并非隐藏Unicode字符，而是通过词语选择进行隐写式标记，可能改变写作表达并引发可读性、作者控制权和监管边界争议。
OpenAI解散模型安全准备团队
据《金融时报》报道，OpenAI已于上月底解散负责评估模型严重风险及制定缓解措施的准备团队。生物安全、网络安全等职责将拆分后移交现有团队，正值公司为潜在大规模IPO持续调整组织架构之际。
英伟达削减OpenAI担保
据报道，英伟达大幅降低其可能为OpenAI数据中心基础设施融资提供担保的规模，原先相关安排最高可达2500亿美元。此举显示AI算力扩张中的融资风险和资本承诺正在被重新评估。
Stripe拟以70亿美元收购OpenRouter
据报道，Stripe已敲定以超过70亿美元收购AI模型网关初创公司OpenRouter。OpenRouter提供统一接口，帮助用户按需求和预算调用400多个AI模型，此前估值约13亿美元。
NInfer优化4090运行Qwen 3.8
NInfer分支新增rk2v4-e8 KV缓存量化选项，使单张RTX 4090可在部分配置下将Qwen 3.8 27B上下文扩展至25万至35万token且无需溢出到系统内存。作者还称，针对代码、数学等重复工作负载，生成速度可达每秒80至160 token。
Autoresearch强调评测与优化代码分离
一位研究者分享开展自动化研究循环数月后的经验，认为应严格将评测代码与待优化代码分离，以避免优化过程污染评测结果。文章指出，设计合理的评测指标、优化目标和约束条件，是模型训练、测试驱动开发及代理迭代中最关键的工作。
用户称Qwen3.8长思考难以完成编码任务
一名用户测试发现，Qwen3.8-27B在实现简单CLI时持续消耗超过5万token，仍停留在规划阶段，表现明显不如Qwen3.6-27B。用户认为问题可能与模型过度思考及量化配置有关，正尝试调整KV缓存精度。
TwIL-LM3小模型主打形式推理
webAI发布TwIL-LM3，一个基于SmolLM3-3B微调合并的形式逻辑专用小模型。其亮点在效率：形式推理吞吐测试达32.9 answers/sec，高于gpt-oss-120b的12.6，并可在CPU或4GB显存环境运行；但综合准确率仍落后于大模型。
MathCode数学编码Agent走热
MathCode是一个终端AI编码助手，内置数学形式化引擎，可将自然语言数学问题转成Lean 4定理并尝试自动证明。项目支持持久Lean REPL、可复用定理库、Agent式证明和Obsidian知识图谱，在Hacker News获得较高关注。
美国将外国制造机器人列入FCC限制清单
美国FCC将部分外国制造的联网自主地面机器人列入Covered List，限制新型号获得设备认证，并非全面禁售，已拥有设备仍可使用。规则按生产地而非企业国籍判定，覆盖人形机器人、扫地机、割草机、四足机器人及仓储机器人等，实际被认为主要针对中国制造。
亚马逊新增集体诉讼豁免
亚马逊更新用户条款，要求多数纠纷通过仲裁解决，并加入集体诉讼豁免条款。用户通常将无法通过法官或陪审团参与集体诉讼，只能在部分情况下进入小额索赔法院。
1.7B专用模型形式推理超越大模型
基于SmolLM2-1.7B并通过LoRA微调的TwIL-LM2，针对形式逻辑翻译任务取得Strict-7评分0.2386，超过Qwen3-8B和Gemma-4-26B。结果显示，在严格格式和窄领域任务中，专用小模型可能胜过通用大模型。
Anthropic CEO称AI反弹源于信任危机
Anthropic CEO达里奥·阿莫代伊回应投资人批评，称当前围绕AI及数据中心的反弹，本质上是一场信任危机。他为推动AI透明度和监管的立场辩护，认为公众需要更可信的安全承诺。
企业AI代理缺乏公司专属长期记忆
文章借鉴神经科学中的皮层与海马体双记忆系统，解释AI代理在企业实际工作中容易失败的原因。通用大模型具备广泛知识，却缺少快速记录并沉淀公司流程、历史案例和团队习惯的专属记忆机制。
电动空中出租车行业整合
TechCrunch Mobility关注eVTOL行业最新变化，Archer Aviation宣布拥有前竞争对手Wisk Aero。报道认为，电动空中出租车企业在漫长监管审批期间正通过整合与寻找短期收入来源维持发展。
Meta超级智能愿景与AI失配风险形成反差
扎克伯格发表长文，主张让每个人都拥有AI超级智能，但相关观点在研究者和政策人士中引发较多批评。同周Anthropic将灾难性失配风险评估从“极低”上调至“低”，并披露暂不发布的内部模型，凸显AI代理普及与安全信任之间的矛盾。