Google DeepMind AlphaProof Nexus 解决数十个开放数学问题并通过同行评审
Google DeepMind 的 AlphaProof Nexus 解决了九个 Erdős 开放问题及 OEIS 中 44 个猜想，成果已通过《Science》期刊同行评审。该模型基于 Gemini 3.1 Pro，利用 Lean 形式化语言自动起草并修正证明，在无需调用专用工具 AlphaProof 的情况下仍成功攻克上述难题。
#其他
#其他
今日 0 条The DecoderAI 评分1212 OSCHINA 开源中国AI 评分1212 ClickHouse 产品负责人演示 Postgres 在 EBS 与 NVMe 上的性能差距
ClickHouse 产品负责人 Sai Srirampur 在 POSETTE 2026 演讲指出，Postgres 性能瓶颈在于存储而非数据库本身。对比测试显示，同一负载下本地 NVMe 达到 16,030 TPS，而 EBS 仅为 1,734 TPS，两者相差 9.24 倍。
量子位AI 评分1818 智谱 GLM-5.3-Highspeed 模型在 Zcode 开放体验，速度达 490 tokens/s
智谱新模型 GLM-5.3-Highspeed 已在 Zcode 3.15.1 中向订阅用户随机灰度开放。该模型实测输出速度高达 490 tokens/s，远超上月发布的 GLM-5.3-FlashX（200 tokens/s）。其上下文窗口为 100 万 token，最大生成上限约 128k，并支持三档思考强度配置。
Designboom精选AI 评分1818 Florim 发布 SensiVenezia 触觉水磨石瓷砖系列
Florim 与设计师 Matteo Thun 及 Benedetto Fasciana 合作推出 SensiVenezia 触觉瓷质石材系列，将威尼斯的纹理和视觉记忆转化为现代空间设计中的表面。该系列包含十二种以威尼斯地标命名的色调，提供哑光和柔和两种饰面，并采用大规格板材以减少接缝，重现传统威尼斯水磨石的工艺美感。
DesignboomAI 评分1212 陈维：舞池作为想象狂喜的舞台
艺术家陈维通过摄影作品《In the Waves》探讨舞池中“狂喜”状态的真实性与虚构性。他利用人工烟雾、灯光及群演摆拍，重构夜店氛围以模糊现实与想象的边界。该系列旨在呈现当代生活中被精心构建的奇观体验及心理状态。
DesignboomAI 评分1212 Knock On Wood 联网装置支持远程敲木求好运
设计师 Shashwath Santosh 和 Nithin Eluvathingal 推出联网装置 Knock On Wood，用户通过 Web App 点击按钮即可触发物理设备实时敲击木头。该装置连接中央服务器并需 Wi-Fi 支持，允许全球用户远程互动，是“机器回应迷信”系列的一部分。
Dezeen（建筑与设计媒体）AI 评分1212 Roomoor 设计 Monastic Field：受德干高原岩凿僧舍启发的单体混凝土住宅
建筑工作室 Roomoor 在巴莱什瓦尔完成 Monastic Field 住宅，其设计灵感源自德干高原的岩凿僧舍。该住宅采用低矮的混凝土体量集群布局，通过天窗和精心布置的开口引入光线，营造出类似修道院的静谧与反思氛围。
Dezeen（建筑与设计媒体）AI 评分1212 Facha Architekti 为捷克猪舍改造住宅添加“刻意区分”的红色扩建
Facha Architekti 在捷克 Příbram 地区为一处由旧猪舍改造的住宅添加了 26 米长的红色波纹金属扩建部分。该设计旨在与原有建筑形成“刻意区分”，通过外部红色立面与内部松木胶合板一体化家具及红色点缀，优化了居住空间并增强了与花园的连接。
Dezeen（建筑与设计媒体）AI 评分1212 Daniel Libeskind：建筑与音乐同理，分享五大代表作
建筑师 Daniel Libeskind 指出建筑与音乐原理相同，强调作品间关系而非单一项目的重要性。作为 2026 Dezeen Awards 评委及 Praemium Imperiale 获奖者，他分享了柏林犹太博物馆、帝国战争博物馆北馆等五个代表其叙事性设计理念的项目。
The DecoderAI 评分2020 ArXiv 因 AI 论文激增限制每人每月投稿两篇
ArXiv 自 2026 年 10 月 1 日起将每人每月投稿上限设为两篇，以应对 AI 工具导致的月度提交量突破 40,000 份及志愿者审核压力。cs.AI 类别两年内增长超六倍，该临时规则旨在遏制低质量“切片”论文并保障优质稿件时效。
DesignboomAI 评分1212 Wim Wenders 执导 Peter Zumthor 建筑纪录片《From Inside Out》聚焦其3D呈现作品
Wim Wenders 执导的纪录片《From Inside Out – The Architecture of Peter Zumthor》将于2026年上映，历时十四年制作。影片通过3D视角展示 Peter Zumthor 从 St. Benedict’s Chapel 到 LACMA David Geffen Galleries 等代表作，强调感官体验而非教学。
DesignboomAI 评分88 西班牙乡村 KURA 大地艺术装置：稻草墙构建露天剧场与地中海实验花园
Paisajeencontrado 在西班牙 Extremadura 的 La Nave Va 雕塑公园打造 KURA 大地艺术装置，利用稻草、泥土和原生种子构建露天剧场、地中海实验花园及步道。该约 200 平方米的自然草地作为植物研究基地，追踪物种生长并收集种子，与马德里理工大学种质库合作保护野生植物遗传资源。
Designboom精选AI 评分1818 RTY Studio 推出适配 Geberit Sigma 系统的实木冲水面板
RTY Studio 发布了一系列适配 Geberit Sigma 系统的实木冲水面板，涵盖美国胡桃木、欧洲橡木和紫檀三种材质。该系列由萨格勒布雕塑家 Tomislav Martinčević 设计，结合 CNC 精密加工与手工打磨，通过磁吸安装隐藏五金件，将功能性卫浴部件转化为具有自然纹理的雕塑化设计元素。
推荐理由：展示了实木材质在卫浴隐蔽工程部件上的应用，为硬装细节提供兼具功能与雕塑感的定制思路。
Dezeen（建筑与设计媒体）AI 评分1212 Acronym Collective Studio 将捷克前啤酒厂改造为社区中心
Acronym Collective Studio 在捷克 Velká Bíteš 将一座前啤酒厂改造为 Kulturní Centrum Pivovar 社区中心。设计通过弧形穿孔砖立面和螺旋混凝土楼梯重塑建筑 civic presence，整合图书馆、多功能厅及创意工坊等功能。
OSCHINA 开源中国AI 评分1212 谷歌内测新 AI 模型 Argon，编码能力对标 Claude Opus 5.5
谷歌正在内测名为 Argon 的新 AI 模型，员工称其编码能力与 Claude Opus 5.5 持平。该模型已在 Antigravity 中出现，提供 256K、512K 和 900K 三档上下文选项，其中高配每轮分别消耗约 1.3 倍和 1.8 倍 quota。
DesignboomAI 评分1212 Stefan Sagmeister 与 ekn 将全球数据转化为可穿戴运动鞋与靴子
Stefan Sagmeister 与法兰克福鞋履品牌 ekn 合作，推出两款将可再生电力及无家可归者统计数据可视化的鞋履。其中“Bring It On”运动鞋展示1965至2022年全球可再生能源发电数据，“Like a Complete Unknown”靴子则呈现六国街头无家可归者统计。
OSCHINA 开源中国AI 评分1212 Deno 团队整体加入 Cloudflare：Deno runtime 一年后停止开发，Deno Deploy 六个月后关停
Deno 团队整体并入 Cloudflare，创始人 Ryan Dahl 宣布将资源转向 Workers 编程模型。Deno runtime 将在一年后停止开发，Deno Deploy 服务将于六个月后关停。
OSCHINA 开源中国AI 评分1515 Jev 模型上线几周估值达 75 亿美元
TypeSafe AI 的非文本模型 Jev 自 9 月 15 日发布后迅速走红，公司获 Andreessen Horowitz 领投的 8.7 亿美元融资，估值达 75 亿美元。该模型不输出文本仅输出概率，据称已有三分之一的世界 500 强企业采用。
Latent SpaceAI 评分1212 Google DeepMind 与 Biohub 探讨 AlphaFold 未解决蛋白质折叠及 AI 生物学未来
Google DeepMind 的 Pushmeet Kohli 与 Biohub 的 Sal Candido 指出，AlphaFold 并未完全解决蛋白质折叠问题。双方认为单纯扩展算力与数据不足以突破生物学瓶颈，需寻找正确的缩放定律并平衡科学直觉与通用架构。对话还探讨了从单体蛋白模型向虚拟细胞等整体生物系统建模的转变，以及实现药物发现十倍加速所需的范式革新。
Ars Technica · AIAI 评分1212 乌克兰无人机摧毁俄罗斯“Yandex”AI数据中心
乌克兰无人机袭击导致俄罗斯科技巨头 Yandex 的一处 AI 数据中心瘫痪。该设施内部署有用于训练 Yandex AI 模型的高性能超级计算机，此次打击直接削弱了其核心算力基础设施。
DesignboomAI 评分1212 Playfool 在 V&A 博物馆推出游戏装置 The Server，让玩家扮演数据中心清洁工
艺术双人组 Playfool 受 V&A 博物馆委托，推出互动游戏装置 The Server。该作品利用真实的数据中心吸尘器作为控制器，邀请玩家清理雕塑服务器上的数字灰尘。展览旨在通过游戏化体验揭示维持数字基础设施所需的人工维护劳动，展期至 2026 年 10 月 18 日。
TechCrunch · AIAI 评分1212 人类为何难以避免将 AI 拟人化？MIT 学者探讨人机交互边界
MIT 教授 Sherry Turkle 指出，约 70% 的人在与 AI 互动时保持礼貌，这种本能源于对“关系型人工制品”的情感投射。尽管 Unitree 机器人等实体具象化了这一现象，但专家警告过度依赖 AI 情感支持可能削弱现实人际连接。Turkle 强调 AI 应严守功能边界，如面试辅导可行，但替代父母角色则越界。
Dezeen（建筑与设计媒体）AI 评分1212 Formant Studio 在墨西哥城餐厅 Nota Tavern 重新诠释经典酒馆风格
Formant Studio 为墨西哥城餐厅 Nota Tavern 打造内饰，将经典芝加哥酒馆风格转化为当代建筑语言。设计保留了原住宅的石柱与双高天花板，并定制了黑橡木桌、钢制吧椅及玫瑰木墙板等家具。空间融合了 Mies van der Rohe 的极简主义与 Frank Lloyd Wright 的温暖现代主义特征。
Dezeen（建筑与设计媒体）AI 评分1212 未来节展示社区工坊与工作室空间等建筑项目
未来节（Festival of the Future）在皇家艺术学院展出由威斯敏斯特大学、伦敦大都会大学等院校学生设计的建筑项目，重点呈现旧仓库改造的社区工坊与工作室空间。展览还涵盖伦敦 Isle of Dogs 公共广场及奶牛自给中心改造方案，聚焦气候再生设计、材料复用及社区关怀等议题。
Dezeen（建筑与设计媒体）AI 评分1212 Ujizono Architects 在京都设计 Sugi House，通过微妙重组熟悉空间形式
Ujizono Architects 在京都狭窄地块上设计了 Sugi House，通过对坡屋顶、木结构和矩形平面等常见建筑形式的微妙重组来创造新意。该住宅底层采用封闭布局，上层则利用高侧窗和灯笼状山墙天花板打造开阔的起居空间，以光线和空气而非大窗户营造开放感。
DesignboomAI 评分1212 Liam de la Bedoyere 推出 Popsticks 充气筷子概念设计
设计师 Liam de la Bedoyere 发布 Popsticks 充气筷子概念，该工具放气后可卷起放入口袋，充气后恢复为半透明蓝色长条状餐具。这一源自 Productober 挑战的设计灵感来自 1990 年代充气家具，目前仍为概念阶段，尚未解决材料与刚性等实际使用问题。
DesignboomAI 评分1212 François Prost 镜头下的夜店立面：制造欲望的机器
摄影师 François Prost 通过日间拍摄揭示夜店立面作为“欲望制造机器”的本质，这些建筑借用棕榈树、希腊柱式等符号构建想象世界。其作品《Discoteca》记录了法国及欧洲多地俱乐部在喧嚣退去后留下的视觉承诺，展现了大众流行文化如何从日常图像中拼贴出幻想空间。
The DecoderAI 评分1212 OpenAI 揭露并封禁俄伊利用 ChatGPT 渗透正规媒体的影响力行动
OpenAI 揭露俄罗斯“Dark Clark”与伊朗“Bogus Bylines”两项影响力行动，并封禁涉事 ChatGPT 账号。俄方通过虚假智库在拉美散布涉乌虚假信息，被评级为 Breakout Scale 5 级；伊朗方利用七名假记者在全球发布近百篇涉美伊冲突文章。两者主要借助 AI 进行内部报告及多语言宣传适配。
量子位AI 评分1818 字节Seed发现DeepSeek-V4因KV Cache压缩存在相位敏感性
字节Seed团队发现DeepSeek-V4系列模型因分块KV Cache压缩技术，导致检索准确率随输入位置呈现周期性波动。在128K长上下文测试中，同一信息仅改变位置可使准确率差距最高达40.2个百分点。该现象被称为“相位敏感性”，虽经后训练可缩小差距，但评估此类模型时需关注不同压缩相位的性能差异。
DesignboomAI 评分1212 MK Designers 推出 Handle Table：染色竹材与隐藏式储物设计
MK Designers 为 Frayer 设计 Handle Table，采用染色竹材并集成隐藏式储物空间。该作品基于“just enough”理念，通过油性木蜡油凸显竹子天然纹理，平衡功能与形式。Handle Table 已在布拉格第14届捷克设计周首次亮相。
The DecoderAI 评分1212 Anthropic 更新 Claude 使用政策，禁止系统性虐待行为
Anthropic 更新 Claude 使用政策，首次明确禁止用户“持续且无必要的虐待或残忍行为”，违规者将面临警告、限流或封号。该条款源于模型福利研究，旨在保护被视为具有内在状态的实体，但不适用于常规挫败感或模型测试。
DesignboomAI 评分1212 Polkadot Design 以墨迹与旋转手势打造雅典埃皮达鲁斯艺术节视觉标识
Polkadot Design 为希腊最古老的文化机构之一“雅典埃皮达鲁斯艺术节”设计了全新视觉标识。该设计完全基于手工流程，通过旋转手势留下的墨迹将表演艺术的物理性转化为图形语言。海报被视为开放式体验，邀请观众超越被动观察者角色，主动参与赋予作品最终意义。
TechCrunch · AIAI 评分1212 OpenAI 数学解法未达 AGMAI 标准
OpenAI 本周发布的数百个数学问题解法未达到普林斯顿高等研究院 AGMAI 顾问组制定的标准。在 719 份手稿中，仅 10 份包含模型思维链，且 58% 的证明未经过形式化处理。剑桥大学等机构的新论文指出，OpenAI 针对纳维-斯托克斯方程相关问题的自然语言证明与 Lean 代码存在翻译差异，引发对 AI 自主解题可靠性的质疑。
DesignboomAI 评分1212 James Chinlund 为 Louis Vuitton 卢浮宫秀场打造悬浮概念车装置
James Chinlund 在巴黎卢浮宫 Cour Carrée du Louvre 为 Louis Vuitton 2027 春夏女装秀搭建未来城市景观，悬挂 34 辆几何造型的概念车。这些车辆采用奶油色与森林绿饰面及 Damier 图案，悬浮于跑道上方，呼应 Nicolas Ghesquière 关于移动性与建筑关系的主题。
Dezeen（建筑与设计媒体）AI 评分77 Zenith Interiors 推出 Profondo 座椅系列
澳大利亚品牌 Zenith Interiors 发布 Profondo 座椅系列，包含沙发和独立扶手椅。该设计受 1970 年代意大利家具启发，采用雕塑感造型、饱满坐垫及卷边边缘。产品支持选用 Zenith 自有面料皮革或客户自备材料进行软包定制。
Dezeen（建筑与设计媒体）AI 评分1212 Šépka Architekti 在布拉格打造“衣柜屋”预制木结构住宅
Šépka Architekti 在布拉格完成名为 Wardrobe House 的预制木结构住宅，设计灵感源自带腿衣柜。该房屋采用钢基座与三层木质上部结构，通过现场快速组装而成，总面积仅 34 平方米。其立面由胶合板覆盖并配有巨型百叶窗，内部空间紧凑且功能齐全，包含厨房、两间卧室及卫浴设施。
DesignboomAI 评分1212 François Prost 镜头下的夜店立面：制造欲望的机器
摄影师 François Prost 通过日间拍摄揭示夜店立面作为“欲望制造机器”的本质，这些建筑借用棕榈树、希腊柱式等符号构建想象世界。其作品《Discoteca》记录了法国及欧洲多地俱乐部在喧嚣退去后留下的视觉承诺，展现了大众流行文化如何从日常图像中拼贴出幻想空间。
Dezeen（建筑与设计媒体）AI 评分1212 East 发布牛津街步行化改造最新渲染图
建筑工作室 East 联合 JL Gibbons、Gehl 和 Publica 发布伦敦牛津街步行化改造的最新渲染图，展示约一公里路段的树木、长椅及宽阔街道设计。该区域将于 10 月 26 日停止交通进入测试阶段，整体改造预计于 2027 年春季完成，届时将新增逾 50 棵树及两个公共广场。
DesignboomAI 评分1212 Pedrali Pavilion 从临时展馆转型为永久社区中心
Pedrali 将 AMDL CIRCLE 和 Michele De Lucchi 设计的临时木结构展馆改造为永久社区枢纽。该建筑长 50 米、宽 12 米，原木质屋顶替换为黄铜覆盖层，内部新增展厅与礼堂。项目通过地热系统提升舒适度，并保留木材骨架以延续其可持续设计理念。
Dezeen（建筑与设计媒体）AI 评分1212 Gibson Karlo 为 Design By Them 推出全金属版 Twill 椅
Gibson Karlo 为 Design By Them 推出全金属版 Twill 椅，保留其类似橡皮泥的美学风格。该椅子采用含至少 30% 回收成分的铝材制成，表面经手工抛光且无涂层，随使用产生自然包浆并易于维护。产品提供多种粉末喷涂颜色及可选座垫，由太阳能设施生产并提供五年保修。