【Rupak182在GitHub发布HeyChat v0.1.0】该开源桌面AI伴侣采用Tauri v2 + React + Rust构建，轻量低RAM占用。支持始终置顶浮动窗口、系统安全密钥环存储API密钥、本地SQLite保存聊天历史，支持Gemini、OpenAI、Anthropic、Groq、Ollama及自定义端点等多提供商。完全开源免费，已提供下载。
此举为开发者提供无需切换应用的本地AI辅助工具，凸显端侧轻量AI应用落地加速。
信源:https://github.com/Rupak182/heychat/releases/tag/v0.1.0
AST SpaceMobile 备案确认服务推迟至2027年 并计划发行10亿美元可转债
AST SpaceMobile 在7月15日提交的8-K备案中宣布，受Blue Origin New Glenn火箭测试事故影响，卫星直连手机商业服务启动时间推迟至2027年，早期目标调整为2027年初部署约45颗BlueBird卫星。同时公司计划发行10亿美元1.625%可转债到期2034年，用于支持星座建设。
此举凸显卫星直连赛道执行风险上升，SpaceX Starlink Mobile竞争压力进一步加大。
信源:https://investors.ast-science.com/sec-filings
Astrio开源Forall AI编码代理
Astrio Labs 发布开源AI编码代理Forall，可同步生成代码与机器可验证证明。目前支持TypeScript、Java、Rust三种语言，已在GitHub上线并发起Show HN，征集形式验证、Lean及Dafny社区反馈。
该项目为AI辅助开发引入可证明正确性路径，值得形式化方法与代理工具跟踪。
信源:https://github.com/astrio-labs/forall
KT与Palantir结束内部AI黑客松“Agent Camp”
KT与Palantir合作举办的社内AI黑客松“Agent Camp”于13至15日在城南盆唐总部结束。活动围绕现场业务痛点，验证AI代理在三个主题上的实操可行性，Palantir提供平台与技术支持。
此举标志传统电信运营商正通过内部黑客松加速企业级AI代理落地验证。
信源:https://www.digitaltoday.co.kr/jp/view/82074/kt-palantir-wrap-up-in-house-ai-hackathon-agent-camp
CMMI推出AI成熟度模型 企业治理追赶部署速度
7月15日，CMMI Institute正式发布CMMI AI Maturity（AIM）模型，旨在解决AI投资与采用速度远超治理成熟度的现实问题。该框架覆盖数据、开发、人员、安全等八大领域，近50%的实践领域新增AI特定指导，目标是帮助企业从碎片化尝试转向可衡量、可扩展的ROI与风险管控。
这一动作正值全球AI部署加速却治理滞后的关键节点。过去一年，大模型公司与 hyperscalers 的资本开支与产品落地节奏迅猛，而多数企业仍缺乏 repeatable processes、问责机制与绩效控制。AIM模型继承CMMI decades-old 的绩效改进方法论，新增AI上下文，试图为监管合规与投资决策提供统一标尺。
与此同时，行业呈现鲜明对比：前沿实验室聚焦参数与能力竞赛，企业端则更需结构化框架来验证价值与降低风险。IBM Consulting 等机构参与试点，凸显跨行业对标准化工具的迫切需求。若该模型被广泛采纳，可能加速从“AI实验”向“AI运营”的转变；若停留在自愿阶段，则可能被更具强制力的监管所取代。
未来6-12个月，AIM能否成为事实上的企业标杆，还是仅停留在咨询工具层面，将直接检验AI治理从自发到制度化的真实进度。
信源：https://www.businesswire.com/news/home/20260715812389/en/
https://www.rutlandherald.com/news/business/cmmi-institute-launches-new-ai-maturity-aim-model/article_64503121-915c-5135-8d79-2cf71ba89c00.html
Cadence 推出 AuraStack AI 超级代理
Cadence 发布 AuraStack AI Super Agent 平台，专为 PCB 设计与先进芯片封装提供 agentic AI 支持。Nvidia、TSMC、Schneider Electric 已成首批用户。该平台针对系统与 AI 基础设施复杂度提升，扩展此前 ChipStack 系列能力，助力工程师应对硅外设计挑战。
信源:https://www.forbes.com/sites/marcochiappetta/2026/07/15/cadence-expands-ai-agents-with-aurastack-for-pcb-and-advanced-chip-packaging/
NVIDIA发布Jetson Thor T3000/T2000模块
NVIDIA今日推出基于Thor架构的T3000和T2000模块，面向主流机器人与边缘AI应用。T3000提供865 FP4 TFLOPS算力，支持Blackwell GPU与32GB内存；T2000则定位入门级视觉AI代理。配套推出Jetson agent skills与Cosmos 3 Edge模型，实现内存优化与边缘部署。模块计划2027年Q1量产。
信源:https://blogs.nvidia.com/blog/jetson-thor-robotics-edge-ai-agent/
xAI起诉南卡罗来纳男子利用Grok生成CSAM深假
xAI在得州联邦法院起诉Terry Wayne Harwood，指控其故意绕过Grok安全机制，上传非自愿图像并生成、传播儿童性虐待材料（CSAM）深假，违反服务条款。该男子此前因性剥削未成年人罪名被捕。诉讼于7月14日提交。
此举凸显AI公司正从被动防御转向主动追责用户滥用，行业安全责任边界进一步收紧。
信源:https://www.straitstimes.com/world/united-states/elon-musks-xai-sues-grok-user-over-sexualised-deepfakes
xAI 将 Grok Build 开源
xAI 于 2026 年 7 月 15 日宣布将 Grok Build 开源。该工具为面向开发者的命令行 AI 代理，支持代码编写、修改、文档更新与性能排查，早期版本曾限 SuperGrok Heavy 用户使用。开源后开发者可直接获取代码库并本地部署或二次开发。xAI 官方站点同步更新新闻，Elon Musk 相关 X 帖同步发布。
此举将加速 Grok 在工程场景的落地竞争，降低闭源代理工具使用门槛。
信源:https://x.com/elonmusk/status/2077495635687723408
Mira Murati开源模型Inkling入场，闭源与开源之争再起波澜
7月15日，Thinking Machines Lab（前OpenAI CTO Mira Murati创立）发布首款开源权重模型Inkling。这款多模态MoE模型总参数9750亿、激活参数410亿，支持文本、图像、音频、视频输入，已在Databricks平台上线，Apache 2.0许可下可下载微调。官方承认其性能并非当前最强，但强调“可控推理努力”与定制化优势，目标是打破“一刀切”模型的垄断。
这一发布正值开源模型加速渗透企业市场的关键节点。中国DeepSeek、Qwen等开源模型凭借性价比快速占领开发者与垂直场景，而美系闭源巨头OpenAI、Anthropic、Google则依赖API订阅与企业合同维持高毛利。Inkling的出现，为美国本土提供了一个可本地部署、深度定制的选项，尤其适合对数据隐私和特定工作流有强需求的用户。
与闭源模式对比，Inkling的开放性直接挑战“参数越大越好”的叙事。它采用MoE架构，在编码等任务上声称以更少token实现竞争性结果，体现基础设施与应用分离的趋势。Thinking Machines此前专注底层工具Tinker，此次模型发布标志其从“服务提供商”向“模型平台”转型，Databricks的日零伙伴关系也显示企业数据湖与开源模型的快速融合。
短期看，这将加剧开源与闭源的分化：闭源公司可能进一步强化企业级代理与安全功能，而开源阵营则向垂直定制与本地部署倾斜。长期悬念在于，Inkling能否在基准测试中持续追赶，或催生更多美国初创公司效仿，打破中国开源模型在性价比上的主导地位。
信源：
Thinking Machines amps up its bet against one-size-fits-all AI with its first open model, Inkling
https://www.reuters.com/business/ai-startup-thinking-machines-launches-an-open-weight-ai-model-2026-07-15/
https://thinkingmachines.ai/news/introducing-inkling/
