文章围绕Toys R US被冠以"闹鬼"传闻的故事展开，背景为1980年代美国真人奇闻电视节目《That's Incredible!》的相关报道。讨论聚焦三点：一是电子玩具在无人触碰时随机发声的现象，评论者以Sesame Street的Ernie玩偶、Nintendo Talking Flower为例，指出低电压导致电路异常触发、库存长期搁置是常见物理解释；二是该期节目塑造了观众的集体童年恐惧，把安全欢乐的玩具店转写为恐怖场景，名称回忆还引出代际笑谈；三是零售门店电话等待音乐复用卖场背景音的布线设计，为"莫名声音"提供了非灵异解释。整体情绪偏向怀旧与戏谑，并非认真相信闹鬼传闻。
全部资讯
News Hacker 转载 Hacker News 关于 Derek Thompson 撰文《I Know Why the Mathematicians Weep》的讨论，探讨 AI 突破数学难题后数学家职业与学科意义的走向。文章以近期 AI 在数学证明上的进展为背景，引述 unit distance conjecture 等案例，说明 LLM 与 OpenAI o3 等模型借助大规模训练与长推理预算搜索和产出可检验证明。讨论围绕六个焦点展开：AI 数学能力跃迁是否被夸大、机器证明的可理解性与原创性、数学作为人的探索与社会实践、grant 资助被计算资源取代的风险、AI 扩大问题空间的可能性，以及模型能攻难题却仍写模板化长文的反差。多数评论者认为，所谓证明尚待同行验证，纯数学的价值在于直觉、提问与可传承的理解，而非单纯答案；同时担忧非终身轨研究者因资助方倾向购买算力而被边缘化。
Hacker News 上展示了一款名为 DEsk 的开源项目，作为运行于 Wayland 协议的拟物化 Linux 桌面，其视觉核心是木质桌面、悬浮纸张窗口和带光影的房间场景。支持者认为它能在当代极简风中重新提供个性与视觉温度，并借助 wlroots 模块化基础库和充裕硬件性能，使旧式华丽 GUI 与响应速度可以并存。反对者则担忧其类似 Phong 渲染复刻品，经不起长期办公考验，恐将桌面带回 90 年代已被淘汰的复杂视觉决策。讨论还延伸到 Myst、Papers Please、MS Bob、Compaq Presario TabWorks 等集体记忆，并具体批评纸张窗口的 dog-eared corner、与悬浮文档投射阴影的物理不一致，以及 README 文案的生硬表达，指出 iOS 6 的拟物魅力来自原生分辨率的烘焙纹理而非实时 ray tracing。
Simons Foundation 宣布与 OpenAI、Anthropic 合作，共同投入约 1500 万美元支持数学界评估 AI 辅助成果并制定使用标准，资金与资源由基金会管理发放。同时该基金会另向形式化验证组织 Lean FRO 捐赠 500 万美元。讨论焦点集中在三类争议：一是 AI 公司以 API 代币形式参与，会被视作利益绑定并收编潜在批评者；二是数学界论文产出与优先权竞争激烈，AI 加剧了抢发与署名争议；三是公共资金是否应替代私营代币，开放成果应进入公共领域而非被模型供应商控制。评论普遍担忧生成式模型在协助猜想和证明的同时制造难以审查的错误，并冲击数学研究的署名与验证机制。
The enormous advance in AI capabilities over the last several years has in large part been driven by the availability of vast amounts of training data.
Black Forest Labs 发布 5.6B 参数开源文生图模型 FLUX 3 Image Klein，统一支持文生图、多参考图生成以及基于 JSON 边界框的版式布局控制，具备原生 4K 输出与像素级编辑能力。权重以 FLUX Kommunity License 开源，年收入低于 500 万美元的个人和公司可免费商用，同时提供蒸馏版（16 步无 CFG，H100 上约 2 秒生成 1024×1024 图像）、基础版及 FP8、INT8、NVFP4 量化版本。**内部评估中文生图、多参考生成与图像编辑均排名第一，文本到图像 Elo 较 FLUX.2 [klein] 9B 提升 91 分**，在 RTX 5090 上约 4 秒生成 1MP 图像，INT8 版可在 8GB 显存消费级 GPU 运行。 相关文章： Black Forest Labs 发布开源文生图模型 FLUX 3 Image Klein（5.6B） - AIHOT — 精选 欢迎 FLUX.3 Image Klein 加入 Diffusers - Hugging Face - Blog Black Forest La
NVIDIA 发布三款开源 Nemotron 3.5 系列模型。Nemotron 3.5 Super VL 为 1200 亿参数多模态模型，称在其类别中任务完成最快、准确率领先且吞吐量比同类次优快 5 倍，支持企业自有数据后训练。同步推出两款端侧模型：Nemotron 3.5 Bolt 74B-A9B 24GB（采用 2-bit 原生量化，可本地运行于 RTX/DGX Spark 等设备）以及 10 月 23 日上线的 Bolt E4B 4GB，面向 GeForce RTX、Jetson 等嵌入式场景。模型采用约 26 万亿 token 预训练并以约 380 万样本强化学习后训练，权重、数据集与训练配方均开放，已在 Hugging Face、ModelScope 及 NVIDIA NIM 等渠道上线。Scale AI、AfterQuery、AI21、Mercor 及 Salesforce、CrowdStrike、Perplexity 等数十家机构已基于该模型进行行业定制后训练，覆盖金融、网络安全、编码及工程仿真等领域。
可灵AI（Kling AI）宣布Kling 4.0正式全量开放，用户可通过kling.ai新版创作界面使用，并新增MCP和CLI接入方式，便于嵌入视频创作流程。平台后续将上线4K与1080p 10-bit HDR视频输出，并面向企业客户及开发者开放API能力。与此同时，可灵AI出席2026洛杉矶科技周，联合Oxen AI、Obsidian Studio围绕底层模型、平台集成与专业内容制作展开圆桌讨论，借势好莱坞为Kling 4.0在运动连贯性、指令服从和长镜头叙事的提升背书。整体看，Kling 4.0的开放与洛杉矶亮相同步推进，标志其视频大模型正由消费级体验迈向企业级生产流水线与产业落地。 相关文章： 可灵 Kling 4.0 正式全量开放，新增 MCP 和 CLI 接入 - AIHOT — 精选 可灵AI带着Kling 4. 0 杀向好莱坞：AI视频要从玩具变成企业的生产流水线 - AI新闻资讯
2026年10月15日，阶跃星辰（StepFun）正式开放旗舰模型 Step 5 Preview 权重，BF16与FP8精度同步上线 Hugging Face 与 ModelScope，并发布技术博客。该模型采用 600B 稀疏 MoE 架构、每 token 激活 27B 参数、上下文窗口达 1M token，原生支持文本与视觉输入，主打长程智能体任务，在编程、专业知识与金融场景表现突出；据 Artificial Analysis 评测，其综合智能指数为 44，成本约为同级模型的 1/2.8，此前曾在 OpenRouter 调用量日榜排名全球第二。与此同时，候选报道指出该模型亦在 FeatherlessAI（FP8）上线，并在 NVIDIA GB300 上以 NVFP4 推理接近 8K tokens/sec/GPU，NVFP4 checkpoint 同步发布。 相关文章： Step 5 Preview 上线 FeatherlessAI，官方转发开放权重模型部署信息 - AIHOT — 精选 StepFun 展示 Step 5 Preview 在 NVIDIA GB300 上的推理性能
Microsoft Research 发布零知识虚拟机 Magnetar，可直接证明用 Rust、Go 或 C 编写的 RISC-V 程序，在 15 个基准程序上平均比现有最快 zkVM 快 10 到 39 倍。在笔记本电脑上每秒可证明 720 万至 870 万条处理器指令，证明约 12 毫秒内可验证，安全性只依赖 SHA-256 或 SHA-3 等标准哈希函数，无需受信任设置或椭圆曲线。 🔗 阅读原文 via AIHOT · https://aihot.news/items/kw0s438bhdwox8jrle0z8v3uz