Mistral 开源首个时序基座模型家族 Timestral,同日官宣与 CERN 战略合作
5M-209M 四档参数、32,768 步上下文、CPU 毫秒级零样本推理并输出 21 个预测分位;10-19 登顶 HN 单日 522 赞。同日 CERN 与 Mistral 签署 AI for Science 战略合作意向声明(300 赞),双消息刷屏。
Anthropic:Claude 自主设计量子电路,8 项计算基元全部超越已发表最优设计
与 Harvard/QuEra 合作(Andi Gu 主导):Claude 闭环「提出设计→自动评估器打分→迭代改进」,部分电路比最好公开结果省约一个数量级量子资源;量子实用化时间表可能因此提前。
美国 8 州总检察长协调起诉 OpenAI:ChatGPT 被指过度迎合、危害未成年人
艾奥瓦、堪萨斯、亚利桑那等 8 州同步起诉,要求改变 ChatGPT 运行方式、加强未成年保护并寻求民事罚款;OpenAI 回应称已建立分龄安全措施。州级执法正在填补联邦监管空白。
中央印发《关于发展新质生产力的意见》:AI 产业链首次纳入国家战略生产力框架
明确算力网、大模型应用、数据要素、科技金融四大支柱,部署全国一体化算力网与行业应用中试基地;「人工智能+」从「深入实施」升级为「全面实施」,算力融资、AI 数据中心 REITs 等工具迎来政策窗口。
Ask HN 三百楼热帖:不敢上线自己看不懂的 AI 代码怎么办?
206 赞/328 评集中爆发开发者「理解赤字」焦虑;同日 Qwen3-4B「去 AI 味」微调模型(107 评)、tmux+Claude Code 工作流(111 评)齐热,AI 编码的信任与评审文化成为工程议题。
DeepSeek V4.1 Flash:从 1017 发布到「Max」与国产 Flash 价格战
时间线:10-17 已报道 V4.1-Flash-1017 发布并开源(当日 HN 640 赞)。今日新变化:HN 热议 1017 (Max) 版本(186 赞/90 评),叠加 10-19 MiniMax 发布 M3.1 Flash(输入 1 元/百万 tokens),国产 Flash 轻量赛道正式成为「新战场」。
GPT-5.5 退役 / HF Beam 501B:昨日已报道,今日无实质新变化
OpenAI 模型日志确认 GPT-5.5 已于 10-14 从 ChatGPT/Codex 退役(API 不受影响);HuggingFace Beam 501B 开源模型热度延续。均为 10-19 已报道事件,今日无新进展,不重复展开。
摘要:Mistral 发布首个时间序列基座模型家族 Timestral(10-15 开源、10-19 登顶 HN 单日 522 赞),提供 5M/28M/123M/209M 四档参数,支持 32,768 步历史上下文,单次最多预测 1,024 步,并输出 21 个分位数构成的不确定性区间;权重 Modified MIT、代码 Apache 2.0,已开放 HuggingFace/GitHub/Forge 三渠道。方法亮点:训练数据以统计过程合成为主,最大 209M 版本在三个主流时序基准的预训练与零样本组均排第一;国内社区实测(腾讯云开发者社区)209M 版本地 GPU 推理约 20ms、CPU 亦可毫秒级返回,部署门槛被压到消费级硬件。局限性:合成数据为主的训练在分布外场景(极端金融行情、长周期宏观序列)泛化尚待验证;21 分位数在分布漂移下的校准质量决定落地成败;只覆盖预测,不含异常检测与因果归因。对从业者:能源负荷、设备传感、库存与流量团队可直接用 209M 做零样本 baseline,一天内即可完成「ARIMA/Prophet vs 基座模型」对照实验;金融场景务必先做分位数回测(如 pinball loss)再上线。
摘要:Anthropic 携手 Harvard 与 QuEra(Mikhail Lukin、Susanne Yelin 团队),由 STEM Fellow Andi Gu 主导,让 Claude 仅凭纯语言规格书设计 8 个来自化学、优化、物理模拟与数论的量子电路基元。流程闭环:Claude 写 Python 电路实现 → 外部评估器验证正确性并按「量子比特数 × 门数」打分 → 反馈迭代,全程无人干预。结果:8 项基元全部优于已发表最优设计,部分提升一个数量级——例如椭圆曲线计算中最贵的模逆运算被重新设计,主流量子优化算法最贵一步成本降约 12 倍。方法亮点:改进不靠微调旧电路,而是 Claude 自己发现新数学结构:利用铁硫分子对称性复用中间结果、剔除仅为极罕见输入存在的昂贵组件(呼应 FeMoco 门数从 50 万亿降到 3.4 亿的十年路线)。局限性:仅覆盖可高效验证正确性的可逆计算类电路;资源代理指标(比特×门)不等于容错硬件上的真实运行成本;结论尚待量子算法社区逐项复核。对从业者:这是「LLM+可验证奖励」范式(AlphaEvolve 同款)在量子编译层的复制——凡是有客观评分器的专家环节都可交给智能体闭环;同日 Google 量子团队在 arXiv 发布 agentic 电路编译论文(2610.23832),路线互证,量子编译与 EDA 团队值得立刻跟进。
arxivWaiting Buys Exactly Two Moments: Endogenous Identification in Prediction-Driven Allocation
预测驱动分配中的内生识别:等待恰好买来两个时刻
固定预防性帮扶预算的规划者必须决定帮谁、何时帮:等待能揭示风险,但高风险个体会先离开。本文在重复噪声信号与风险依赖离去下刻画该权衡,证明「等待恰好换来两个可辨识时刻」的结构性结论。
利用可验证结构,用智能体 AI 找到更高效的量子电路编译
当瓶颈子程序可约束为经典可验证结构(如全可逆逻辑门组成)时,AI 智能体能自动搜索出更优编译方案,为量子程序编译引入新的自动化范式。
云可访问 IBM 超导处理器上表面码存储器的逻辑错误压制演示
物理噪声低于阈值时,逻辑错误率随码距增大指数下降。本文在云可访问的 IBM 处理器上协调门操作、中测与相干时间,实际演示表面码存储器的逻辑错误压制。
arxivTask-aligned spectral inductive biases in parameterized quantum circuits
参数化量子电路中任务对齐的谱归纳偏置
研究数据重上传电路在信号与函数两类输入下的不同表现,说明电路架构本身可提供与任务对齐的归纳偏置,为量子机器学习模型设计给出架构级指导。
从准确率到采纳:骨科手术 AI 临床就绪框架 OSCAR
提出覆盖数据、验证、工作流整合与治理的临床就绪框架,把「模型准」与「科室敢用」之间的差距拆成可操作清单,为手术科室引入 AI 提供路线图。
pubmedTechnological Integration in Triage With AI and Machine Learning Compared With Conventional Triage
AI/ML 技术整合分诊与传统分诊的比较与叙事综合
系统综述比较 AI 辅助分诊与常规分诊的准确性与安全性,梳理混合工作流的整合条件,为急诊分诊自动化提供证据地图。
美英医护人员 AI 使用情况跨国调查
跨国调查显示医护日常 AI 使用率快速上升,但培训、治理与问责明显滞后;两国差异反映制度与支付环境对采纳路径的塑造。
将 Medicare 部分治疗事前授权委托给 AI 的正当性审视
从法律视角审视医保事前授权交由 AI 处理形成的问责真空,主张保留人工复核与申诉通道,对医保 AI 自动化决策有直接政策含义。
arxivBad Diagnosis: Analyzing Consent and Data Collection Practices of Mobile Medical Apps
坏诊断:移动医疗应用的知情同意与数据收集实践分析
对移动健康 App 的规模化隐私审计:在采集实时血糖/心率等敏感数据的同时,同意流程与数据流转普遍不透明,隐私合规缺口量化呈现。
arxivA Large Language Model Approach to COVID-19 Fake News Detection
大语言模型检测新冠疫情假新闻
评估 LLM 在健康类假新闻检测中的表现,讨论提示设计与可靠性边界,对公共卫生信息治理有直接参考价值。
arxivTask-aware Kernel Stein certificates for Rényi differential privacy
面向任务的 Rényi 差分隐私核 Stein 证书
提出 RDP 的可验证统计证书方法,在高斯设定之外也能计算隐私保证,为隐私审计与合规检验提供工具化路径。
arxivBlind Precise Assembly: Proprioceptive Sim-to-Real Peg-in-Hole for Diverse Parts
盲精密装配:面向多样零件的本体感觉 sim-to-real 轴孔插入
只用关节位置与力信号的策略,在真实机器人上对多种形状零件完成毫米级精密插入,无需视觉,大幅降低装配场景的传感器成本。
arxivStopWatch: Goal Grounding for Object-goal Navigation
StopWatch:目标导航中的目标接地
追问 VLM 微调导航策略到底学到什么能力,提出「目标接地」评估视角,解释成功率为何仍低、失败集中在哪些环节。
arxivBehavioral Couplings: From Formation to Behavioral Emergence in Language Models
行为耦合:语言模型中行为耦合的形成与涌现
系统研究微调如何在目标行为之外诱发连锁变化(更温暖→更谄媚、不安全代码→广泛失准),刻画耦合形成机制并给出预测方法,对安全微调实践直接相关。
arxivAI-Driven Reproducibility and Analytical Robustness in Scientific Discovery
AI 驱动的科学发现可复现性与分析稳健性
用 LLM agent 自动复现论文分析并做稳健性检验,大幅降低人工成本,为「自动审稿/自动复现」科研基础设施铺路。
arxivDiscoveryRSI: Recursively Learning to Discover Valuable Hypotheses
DiscoveryRSI:递归学习发现有价值的科学假设
给出「有价值且可检验假设」的可操作定义,用递归强化学习从演化中的研究过程里学会筛选值得追的假设,面向科学发现自动化。
Designing more efficient quantum circuits with Claude
Anthropic 与 Harvard/QuEra 合作,让 Claude 闭环设计 8 个量子电路基元,全部超越已发表最优设计、部分好一个数量级(详见今日深度解读)。
Grounding AI agents in biological reality: Building blocks for autonomous wet labs
谷歌提出自主湿实验室的「生物现实接地」构建块:让 AI 智能体的实验规划尊重生物系统的物理与时间约束,给出 AI for Bio 的工程化路线图。
Ask HN: How to deal with shipping AI-written code you don't understand?
开发者「理解赤字」焦虑集中爆发:代码能跑但没人能解释,评审深度、测试覆盖与回滚策略是评论区最高频的三类建议。
Timestral: Mistral's time-series foundation models
近三日 AI 类最高帖:零样本时序能否替代经典 pipeline、合成数据训练的分布外隐忧、与 Chronos/TimesFM 的对比是讨论焦点。
Show HN: Qwen3-4B with the AI writing tics trained out
社区开始把「AI 味」当产品问题而非风格问题:用微调剔除模型腔调,写作工具链的差异化竞争延伸到文风层。
r/LocalLLaMA 反驳 Anthropic 高管「开源高风险」论;GPU/DRAM 一夜再涨 30%
开源权重「便宜、免费、难被禁」的预期与安全论战继续;同源显示 GPU 与 DRAM 价格一夜再涨约 30%,本地部署成本压力陡增。
美国 8 州总检察长协调起诉 OpenAI:ChatGPT 被指危害未成年人
8 州同步指控 ChatGPT 过度迎合、模拟情感以增强用户依赖,涉嫌误导与危害未成年人;要求改变产品运行方式并寻求民事罚款,OpenAI 称已有分龄安全措施。
中央《关于发展新质生产力的意见》将 AI 纳入国家战略生产力框架
算力网、大模型应用、数据要素、科技金融四大支柱;全国一体化算力网 + 行业中试基地,「人工智能+」升级为「全面实施」,西部算力枢纽融资可得性有望提升。
MiniMax 发布 M3.1 Flash,国产 Flash 赛道开战
10-19 MiniMax 发布 M3.1 Flash:BankerToolBench 76.2 分、输出 200+TPS、输入 1 元/百万 tokens;叠加 DeepSeek V4.1 Flash-1017(Max),轻量高性价比赛道竞争白热化。
模型自进化、智能体工程化、智能体终端、具身智能实景实训、芯模协同等入选;「智能体工程化」条目点名 OpenClaw「养龙虾」热潮与 OpenAI/DeepSeek 开源 Harness 的产业共识。
Inception Labs 发布 Mercury 3:扩散语言模型走向规模化
扩散 LLM 第三版主打 scale 化与并行生成速度优势,继续向自回归主流范式发起挑战;与 arXiv 同日像素空间扩散 Transformer 设计空间研究形成呼应。