资讯与观察
AI 行业动态、工程实践、产品方法和社区故事。
南佛罗里达一架Learjet飞机坠毁，致9人死亡
南佛罗里达发生一起Learjet飞机坠毁事故，造成9人死亡。当地官员确认了伤亡人数，事故原因尚未公布。
Tom7 发布可复现的 Nopert 形式化证明，完成 P/A/C 多面体分类
Tom7 公开了关于 Nopert（非 Rupert 多面体）的可复现形式化证明，据此完成对所有柏拉图、阿基米德和卡塔兰立体的分类。这些验证依赖大规模分类讨论和外部数据文件，证明以仅用 Lean 内核的形式陈述：若程序验证证书通过，则结论成立。
13 分钟 · Hacker News 最新
Aphex Twin 在 X 平台发布新专辑《Selected Ambient Works》
Aphex Twin 通过 X 平台发布了新专辑《Selected Ambient Works》。这张专辑延续了该系列的氛围音乐风格，具体曲目和发行细节尚未披露。
1 分钟 · Hacker News 最新LATEST STORIES
最新内容
Amdahl与富士通合作推出兼容IBM的大型机470V精选导读
Amdahl 470V系列大型机于1974年9月发布，与IBM System/370兼容但性能更高、成本更低。首款V/6机型1975年6月在戈达德太空飞行中心安装，速度约为IBM 370/168的1.5倍，体积仅为其三分之一且采用风冷。该系列一直作为Amdahl主力产品延续到1980年代。
SenseTime open-sources 9-billion-parameter AI model that reuses layers for deeper processing精选导读
SenseTime has released SenseNova Loop-9B-Preview, an open-source multimodal model that uses repeated computation to extend its processing depth without duplicating the corresponding model weights. The release was announ…
Meituan launches LongCat-2.5 multimodal AI model for extended coding tasks精选导读
Meituan released LongCat-2.5 on November 2, adding stronger visual understanding and coding capabilities to its AI model lineup. The model has 1.6 trillion total parameters, with approximately 48 billion activated for e…
DeepSeek team open-sources proactive coding agent research prototype精选导读
DeepSeek’s Harness team has open-sourced dsh-superagent, a research prototype that receives development requests through GitHub and optionally Feishu, works on them in separate sessions, and returns results such as pull…
Tencent’s WeChat Pay puts AI sales robot to work in 7-Eleven store精选导读
腾讯微信支付在深圳总部园区的7-Eleven门店部署了一台AI零售机器人，于10月29日广东第2000家7-Eleven门店开业时首次亮相。该机器人由腾讯混元大模型驱动，可迎接顾客、推荐商品及促销组合，并通过对话协助下单，顾客随后扫码自行完成支付。系统还采用腾讯音频技术在嘈杂门店环境中识别语音，微信支付称其旨在分担部分常规顾客互动，让店员有更多时间补货、备餐和协助顾客。
Meta reportedly builds humanoid robot prototype with China’s Fourier精选导读
Meta 已与中国机器人公司傅利叶（Fourier）合作研发出人形机器人原型机，并已着手开发第二版。该原型机内部代号 Max，高约五英尺，胸部装有扬声器、面部可模仿人类表情、五指手能抓取小物件，双方据称在三个月内造出首台。该原型用于支撑未来消费级机器人研发，目前仅作研究用途，Meta 未设定上市时间。
Apple confirms Qwen integration for China AI rollout, with beta testing starting November 4精选导读
Apple will begin testing Apple Intelligence in mainland China on November 4, integrating Alibaba’s Qwen into Siri, Writing Tools, and Visual Intelligence. The features will arrive through an iOS developer beta before a …
Chinese AAA wuxia game Phantom Blade Zero tops 822,000 concurrent Steam players精选导读
Phantom Blade Zero reached a peak of 822,361 simultaneous players on Steam over the weekend following its October 29 release, according to Steam Charts. The figure measures players online at the same time rather than to…
Robot-training data startup GenRobot AI raises $100 million in Series A+ funding精选导读
GenRobot AI, a Beijing-based company providing data infrastructure for robot development, has completed a $100 million Series A+ funding round. The financing closed in the third quarter and was disclosed on November 2. …