中国科学家首次用中国大模型攻克世界级数学难题，曾困扰学界 30 余年

上海人工智能实验室访问学者、大湾区大学教授许地生团队依托书生科学多模态大模型 S2（书生-S2），基于“通专融合”技术路径，通过人机协同完成了三维 Ghys 猜想证明。

阶跃 Step 5 Preview 大模型权重开放，支持 100 万 token 上下文窗口

Step5Preview 采用稀疏 MoE 架构，总参数量 600B、每 token 激活仅 27B，原生支持文本与视觉输入，面向长程 Agent 任务设计。模型权重已在 Hugging Face 与 ModelScope 上线···

苹果首款智能家居中枢 HomeView 自带温 / 湿度传感器，能与 LG / 施耐德恒温器同步环境数据

科技媒体 MacRumors 今天（10 月 15 日）发布博文，报道称苹果首款智能家居中枢 HomeView 内置温度和湿度传感器，可以监测室内状况，并将读数共享给 LG 电子和施耐德电气的···

小米智能门锁 5C 猫眼版开售：支持 11 种开锁方式，新品到手价 999 元

该门锁升级自弹锁体与猫眼检测，支持 11 种开锁方式，搭载 AI 智能猫眼，支持逗留抓拍、跨屏联动，续航表现出色，支持小米澎湃智联。#小米智能门锁#

美联储官员：AI 投资激增加剧了美国通胀压力

美联储公布的 9 月会议纪要显示，官员们越来越倾向于认为，推动商品价格持续上涨的主要因素是 AI 基础设施建设，而不是关税。

消息称 OpenAI 洽谈收购开源安全厂商 Trail of Bits，为应对 AI 风险铺路

知情人士称谈判仍在进行中，尚未达成最终协议。两家公司都没有透露潜在的收购价格或财务结构，并且都拒绝公开证实相关讨论。

DeepSeek 网页 / API 服务今日出现部分中断，提示“服务器暂时不可用”

DeepSeek 官方服务状态页面显示，DeepSeek 网页 / API 服务出现部分中断，官方正在排查问题，目前已中断超 50 分钟。

Linux 之父托瓦兹推出首个 AI 辅助开发的补丁：并发文件读取吞吐量提升约 3 倍

科技媒体 lwn 昨日（10 月 14 日）发布博文，报道称 Linux 之父林纳斯 · 托瓦兹（Linus Torvalds）在其个人 Git 仓库中推送了一个名为 noref-filemap-read-with-llm 的新开···

YouTube Music 给音乐打 AI 标签，用户听歌可看清“成分表”

YouTube 昨日（10 月 14 日）发布公告，为了提高在音乐作品使用 AI 的透明度，宣布其音乐平台 YouTube Music 上线 AI 音乐标注功能，后续将同步扩展至主 YouTube 应用程序。···

Colossal 推出 AI 平台 GenoMorph，助力加快复活灭绝物种研究

GenoMorph 结合三维形态学、比较基因组学与发育生物学，可在基因数据极少的项目中筛选编辑靶点。目前渡渡鸟项目已锁定约 2300 个候选靶点，尼科巴鸠种群增至 36 只。#Colos···