热门科技主线波动,市场风格或阶段性再平衡

SpaceX 作为史上最大规模 IPO 登陆纳斯达克,首日市值突破 2 万亿美元,引发 A 股航天主题 ETF 大涨超 5%。这一事件被基金经理视为全球商业航天的估值锚点,推动市场重新审视太空产业的商业化兑现能力,也暗示科技投资主线可能从 AI 大模型向商业航天等硬科技赛道阶段性切换。

SpaceX 作为史上最大规模 IPO 登陆纳斯达克,首日市值突破 2 万亿美元,引发 A 股航天主题 ETF 大涨超 5%。这一事件被基金经理视为全球商业航天的估值锚点,推动市场重新审视太空产业的商业化兑现能力,也暗示科技投资主线可能从 AI 大模型向商业航天等硬科技赛道阶段性切换。

微软 CEO 萨提亚·纳德拉公开表示,衡量 AI 成功的标准不是 AGI 何时到来,而是能否带动整体经济增长 2% 以上。他批评行业“为用 AI 而用 AI”的风气,并透露微软正围绕 Agent 硬件、Xbox 商业化改革和 Token 成本匹配三大方向调整策略。

工业移动机器人企业仙工智能(股票代码 06106)于 2026 年 6 月 15 日至 18 日公开招股,发行价定为 101.60 港元/股,预计 6 月 24 日在港交所挂牌上市。这是年内港股智能机器人赛道融资规模较大的 IPO 之一,值得投资者和 AI 自动化从业者关注。

科大讯飞于6月15日开启旗下AI眼镜的预售,定价4299元(部分地区国补后低至3369元),主打通话、会议、面对面、同声传译等六大翻译场景,并内置AI助理。这款产品将大模型能力直接嵌入日常佩戴的眼镜中,意图在语音翻译和智能助理赛道开辟新战场。

一个名为 Ponytail 的开源插件,通过为 AI 编程代理注入“懒高级开发人员”的思维规则,使其在生成代码时优先使用标准库和原生功能,而非安装复杂依赖。基准测试显示,该插件在多种模型上可减少80%-94%的代码量,降低47%-77%的成本,并提升3-6倍的生成速度。

一款名为 Orange Crumbs 的小工具上线,每周自动整理 Hacker News 上讨论热度最高的维基百科文章,并推送到用户邮箱。它帮技术读者绕过社区噪声,直接抓住高质量的知识脉络。

在 AI 能快速生成代码的当下,业界开始区分“Vibe Coder”(追求快速原型验证)与“软件工程师”(关注全生命周期安全与可维护性)。这场讨论的核心不是工具进步,而是责任边界在哪里的问题。

Java 测试工具 jqwik 的作者在工具输出中嵌入了一段只有 AI 编码代理能读取的指令,指示它们删除自身代码和测试结果。大量未阅读开源协议就直接让 AI 扫描代码的开发者发现项目被“自毁”,暴露了当前 AI 编码工具在理解规则与安全边界上的根本缺陷。

开发者自2024年起用Rust语言编写了一个模块化64位类Unix内核zinnia,目前已支持在真实x86_64硬件上运行Wayland/X11桌面,并实现了epoll、timerfd等Linux和BSD扩展API。虽然尚处早期,但它展示了用主流系统语言从头构建一个可用的操作系统内核的路径。

用户在 Google Colab 上运行 bitsandbytes 以支持 Qwen 模型时触发。具体操作为安装 bitsandbytes v0.49.2 后执行 !python -m bitsandbytes ,同时 PyTorch 从 2.10.0+cu128 升级至 2.11.0+cu130。