野村证券:存储芯片需求有望旺到2028年,市场对AI投资担忧过度
野村证券最新报告认为,市场对AI投资前景的担忧被放大,全球存储芯片需求将在2028年前保持快速增长,并给予三星电子与SK海力士“买入”评级。
AI从“找Bug”走向“写证明”:Claude首次在生产软件跑通大规模形式化验证
Anthropic与Theorem Labs发布报告称,Claude针对123个开源库的239个程序入口生成约1.8亿行Rocq证明代码,修复数百个Bug,并把验证推进到汇编指令层面。这为防守方提供了新思路,但距离扭转攻防局势仍有距离。
TechCrunch 创始人峰会 2026 公布嘉宾:Toast、Bessemer 等谈增长与 AI 原生创业
TechCrunch 将于 11 月 4 日在波士顿举办创始人峰会,Toast、Bessemer、Glasswing 等机构代表将围绕产品市场契合、扩张时机与 AI 原生创业分享判断。
XREAL 1 Pro+ 国行上架:3499 元,峰值亮度提至 1200 尼特、鼻托重做
XREAL 1 Pro+ 国行版登陆京东,3499 元、10 月 27 日开售。峰值亮度从 700 尼特升至 1200 尼特,新增 AI HDR 与三种显示模式,鼻托结构重做,Real 3D 引擎提速至 60 FPS。
北通盘古手柄新增三款模块化配件:触觉方向盘、滚轮方向盘与触控板齐发
北通为盘古模块化手柄新增触觉反馈方向盘、拟真滚轮方向盘和触觉反馈触控板,售价分别为109元、79元、89元,并同步推出套装与老用户优惠。