本时段(2026年10月15日08:18 → 2026年10月15日12:00,北京时间)SI信息茧房共入选 10 条,来自 5 个来源。
论文(2)
上海人工智能[]实验室团队依[]托书生科学多[]模态大模型S[]2,通过人机[]协同完成三维[]Ghys猜想[]证明,该猜想[]困扰数学界3[]0余年。北京[]大学团队利用[]SHEAF框[]架完成形式化[]验证,相关论[]文已发布于a[]rXiv,代[]码开源于Gi[]tHub。该[]研究验证了‘[]系统探索—专[]家判断—成果[]积累—反馈修[]正’的科研新[]范式,后续将[]封装为端砚科[]学发现平台的[]数学验证模块[],扩展至其他[]学科。
原文展示了中国大模型在数学难题上的实际应用路径,读者可了解AI辅助数学证明的闭环机制与复用潜力。
IT之家 · 10-15 11:23 · 在SI信息茧房查看
Hybrid Reasoning Agents:混合推理智能体架构
Hybrid[] Reason[]ing Agents[](Hybri[]dAgent[]s)提出一种[]混合推理架构[],通过轻量级[]Hybrid[]Link在隐[]式与显式推理[]模式间动态切[]换,并利用连[]续工作记忆保[]持上下文。
提出混合推理智能体架构,通过动态切换隐式与显式推理模式,在保持工具调用能力的同时提升效率和可解释性。
Hugging Face · 每日论文 · 10-13 04:00 · 在SI信息茧房查看
模型(1)
阶跃 Step 5 Preview 大模型权重开放,支持 100 万 token 上下文窗口
阶跃星辰正式[]开放 Step 5 Previe[]w 模型权重,支[]持 100 万 token 上下文窗口,[]采用稀疏 MoE 架构,总参数[]量 600B,每[] token 激活参数 27B,原生[]支持文本与视[]觉输入。
原文公开了模型权重、架构设计和部署方式,开发者可直接接入构建长程智能体应用。
IT之家 · 10-15 11:22 · 在SI信息茧房查看
行业(4)
苹果计划12月通过iOS 27.3上线Apple Intelligence,合作方为百度与阿里
苹果计划于2[]026年12[]月通过iOS[] 27.3系统[]更新在中国大[]陆推出App[]le Intell[]igence[],首批功能覆[]盖iPhon[]e、iPad[]和Mac,不[]包含全新Si[]ri AI助手。
苹果在中国大陆推出 Apple Intelligence 的时间、合作方和功能范围已明确,读者可据此判断其本地化策略与国际版本的差异。
IT之家 · 10-15 10:59 · 在SI信息茧房查看
马斯克旗下S[]paceX以[]80亿美元收[]购美国800[]MHz频谱,[]结合卫星直连[]手机技术,挑[]战传统电信运[]营商的频谱与[]铁塔护城河。[]交易引发T-[]Mobile[]、AT&am[]p;T、Ve[]rizon股[]价暴跌,铁塔[]公司股价上涨[],市场重新评[]估电信资产价[]值。文章分析[]了旧范式与新[]范式在频谱、[]网络、室内覆[]盖、用户终端[]和计费关系上[]的差异,指出[]牌照可被现金[]买走时,传统[]护城河逻辑将[]被重写。
原文通过80亿美元交易揭示了电信行业护城河的脆弱性,读者可借此理解牌照与技术组合如何重构基础设施竞争格局。
钛媒体 · 10-15 10:16 · 在SI信息茧房查看
AI视频行业[]正从生成转向[]可交付的工业[]化生产阶段,[]多家中国厂商[]如快手可灵K[]ling 4.0、生数[]科技Vidu[] Q4 Previe[]w等通过降价[]和能力升级推[]动行业变革。[]Vidu Q4首发价格[]低至0.09[]元/秒,支持[]多参考图和音[]频,强化角色[]演技与音画同[]步;可灵Kl[]ing 4.0则优化[]运镜与口型匹[]配。行业从“[]抽卡”式生成[]转向高成功率[]的稳定交付,[]模型开始融入[]影视工作流,[]推动创作平权[]与内容工业化[]。
原文分析了AI视频行业从生成到交付的转变,指出价格下降与能力提升共同推动行业进入工业化生产阶段。
钛媒体 · 10-15 09:35 · 在SI信息茧房查看
林纳斯·托瓦兹使用 Claude Code 辅助开发 Linux 内核补丁
林纳斯·托瓦[]兹在其个人 Git 仓库中推送了[]首个由大语言[]模型辅助开发[]的内核补丁分[]支 noref-[]filema[]p-read[]-with-[]llm,该补[]丁在 8 线程并发读取[]测试中将吞吐[]量从约 10M 提升至 30M+,性[]能提升约 3 倍,核心代码[]、测试和文档[]初稿均由 Claude[] Code 协作完成。
托瓦兹使用 Claude Code 辅助开发内核补丁,展示了 AI 在系统级代码优化中的实际应用路径。
IT之家 · 10-15 08:34 · 在SI信息茧房查看
观点(1)
美联储9月会[]议纪要显示,[]官员们认为A[]I基础设施投[]资激增正加剧[]美国通胀压力[],商品价格上[]涨主要源于数[]据中心、芯片[]等建设需求,[]而非关税。剔[]除食品和能源[]后商品价格仍[]快速上涨,A[]I投资对物价[]影响有加大迹[]象。官员预计[]整体通胀率要[]到2029年[]才有望降至2[]%目标水平,[]同时指出AI[]投资可能带动[]经济需求增长[],超出供给能[]力,但长期生[]产率提升效果[]仍不确定。
美联储会议纪要显示 AI 基础设施投资正被视作通胀新驱动因素,与传统关税影响形成对比,提示政策制定者对技术经济影响的重新评估。
IT之家 · 10-15 10:04 · 在SI信息茧房查看
产品(2)
Capsem[] 是一个基于 Rust 的 hyperv[]isor,为[]每个 AI 编码智能体提[]供独立的隔离[] Linux VM,支持 Claude[] Code、G[]emini CLI、Co[]dex 等主流智能体[],通过 MITM 代理实现网络[]流量透明检查[]与策略控制,[]支持 macOS 和 Linux,[]启动时间少于[] 10 秒,提供企业[]级策略配置与[]会话日志记录[]。
原文提供了隔离机制、代理支持和策略控制细节,读者可据此判断其在安全敏感场景下的部署可行性。
Hacker News · AI · 10-15 08:58 · 在SI信息茧房查看
Physical Intelligence 推出 Pi API 测试版,提供机器人模型训练与云端推理服务
Physic[]al Intell[]igence[](Pi)推出[] Pi API 测试版,向开[]发者提供机器[]人模型微调和[]云端推理服务[]。开发者可上[]传任务数据,[]在 Pi 托管的算力上[]训练模型,并[]通过 API 调用驱动机器[]人执行任务,[]如双臂机器人[] Axol 自行装配零件[]、夹爪机器人[]整理厨具、人[]形机器人配送[]货物等。
Pi 推出 API 测试版,提供云端模型训练与推理服务,开发者可上传数据并调用托管模型驱动机器人,降低自建基础设施门槛。
智东西 · 10-14 13:59 · 在SI信息茧房查看
本文由 SI信息茧房 自动生成,原文版权归各来源所有。
