看看中国的量化基金狂热，随着人工智能的快速采用，管理的资产在不到一年的时间里增加了一倍多，达到约 $384B (彭博社)
据彭博社报道，中国量化基金行业在不到一年内，管理的资产规模翻了一倍多，达到约 3840 亿美元。背后主要推手是人工智能技术的快速采用，AI 正在重塑金融交易和投资策略的底层逻辑。
标签： 算力
Leanstral 1.5：人人可用的证明丰富性
Mistral AI 发布了 Leanstral 1.5，一个完全开源（Apache-2.0 许可）、参数量仅 6B 的正式验证模型。它在多个数学推理基准上达到或刷新了最佳成绩，实测中发现了 57 个开源仓库中的 5 个先前未知 Bug，使得严格的形式化证明在真实软件开发中变得实用且廉价。
阿姆斯特丹发明了消防队
历史学家 David Garrioch 在 Works in Progress 上发表文章指出，17 世纪的阿姆斯特丹并非靠运气避免了大火，而是通过系统性创新——装备水泵引擎、建立专业化消防队伍——率先构建了现代城市消防体系的雏形。这段历史提供了一则关于“如何通过组织创新和公共基础设施投资来解决复杂系统风险”…
2026年上半年纳斯达克指数上涨26%——这3只AI概念股才刚刚起步
2026年上半年，纳斯达克100指数因AI基础设施投资热潮飙升26%，但部分AI公司股价尚未充分反映其爆发式增长。Broadcom、AMD和Palantir三家公司的AI收入增速与业务指引均远超市场预期，正成为下半年的核心关注标的。
英伟达推出收入分成模式以助力人工智能发展
英伟达针对AI初创企业推出了一种新的收入分成支付模式，允许初创公司用未来收入分期支付昂贵的算力费用，而非一次性全额预付。此举旨在降低AI创业的算力门槛，同时也将英伟达自身利益与初创公司的成长深度绑定。
苹果 iPhone 18/18e 有望升级 9GB 内存，仍缺席 2 项 Siri AI 功能
据科技媒体 MacRumors 报道，计划于 2027 年发布的 iPhone 18 和 iPhone 18e 将内存升级至 9GB，但仍无法支持两项需要 12GB 内存的 Siri AI 功能。这意味着即便硬件迭代，苹果在 AI 语音体验上依然对标准版机型设下了明确的门槛。
跳过选股：投资者应如何布局人工智能
Tuttle Wealth Partners 首席投资官 Frances Newton Stacy 在雅虎财经节目中明确指出，AI 投资的关键瓶颈在于内存与 DRAM 的短缺，并建议普通投资者放弃个股挑选，转而通过 ETF 布局 AI。
已修复：微软承认经典版 Outlook 中部分用户无法访问 Copilot 入口
微软在 7 月 1 日确认，经典版 Outlook 升级后，持有 Copilot Chat（基础版）许可证的用户无法在客户端内看到任何 Copilot 按钮或入口。该问题已于 6 月 29 日通过服务端变更修复，但此次仅影响基础版用户、付费版不受影响，值得注意。
Show HN: DoodleMeme——将你的手绘涂鸦转化为动画梗图（不使用生成式人工智能）
DoodleMate 团队上线了一款名为 DoodleMeme 的在线工具，用户只需手绘涂鸦并提交，就能获得一段动画化的梗图。该产品明确宣称不依赖生成式 AI 技术，而是采用传统的动画渲染方式，这为当前 AI 生成内容泛滥的创作社区提供了一个非 AI 的轻量级创意出口。
AI交易已进入“证明自己”阶段。两种风险管理策略。
高盛和巴伦周刊等机构指出，AI概念股已从“讲故事”阶段进入“证明自己”阶段，投资者正面临估值泡沫与商业化落地不确定性的双重压力。此时，结构化保护策略和主动选股成为两种主流风险管理思路。