Astrio Labs 发布开源AI编码代理Forall，可同步生成代码与机器可验证证明。目前支持TypeScript、Java、Rust三种语言，已在GitHub上线并发起Show HN，征集形式验证、Lean及Dafny社区反馈。 该项目为AI辅助开发引入可证明正确性路径，值得形式化方法与代理工具跟踪。 信源:https://github.com/astrio-labs/forall ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信
Author: TheBestDoll
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 ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信
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 ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信
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/ ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信
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/ ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信
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 ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信
xAI 将 Grok Build 开源
xAI 于 2026 年 7 月 15 日宣布将 Grok Build 开源。该工具为面向开发者的命令行 AI 代理，支持代码编写、修改、文档更新与性能排查，早期版本曾限 SuperGrok Heavy 用户使用。开源后开发者可直接获取代码库并本地部署或二次开发。xAI 官方站点同步更新新闻，Elon Musk 相关 X 帖同步发布。 此举将加速 Grok 在工程场景的落地竞争，降低闭源代理工具使用门槛。 信源:https://x.com/elonmusk/status/2077495635687723408 ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信
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/ ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信
SpaceX期权7月15日成交53.33万张
SpaceX期权7月15日总成交量达53.33万张，未平仓合约283.61万张。Moomoo数据聚焦当日看涨看跌期权分布，反映市场对SPCX.US短期波动与持仓兴趣。 信源:https://www.moomoo.com/hans/news/post/72604952/spacex-options-spot-on-on-july-7th-651-67k-contracts ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信
Atlassian推出Jira AI原生软件开发系统
Atlassian今日在官网博客发布公告，Jira新增多项agentic功能，支持用AI代理规划、分配、监控和治理软件开发全流程。新能力包括Jira Planner生成结构化技术规范、直接向Claude Code或Cursor等代理分配工作项、Agent sessions可视化追踪、Coding Agent内置自动化，以及DX AI成本管理工具。系统依托Teamwork Graph提供上下文，目标解决AI编码生产力瓶颈，实现人类与代理协同的可观测SDLC。 该更新标志Jira从传统项目跟踪工具向AI时代工作协调平台转型，企业落地AI-native开发将更依赖单一系统记录与治理。 信源:https://www.atlassian.com/blog/company-news/ai-sdlc ✕ 📱 分享到微信 📤 分享图片 或长按图片 → Save to Photos → 发到微信 📤 分享这篇文章 💬 分享微信好友𝕏 X 分享in LinkedIn 点击”分享微信好友”→ 长按图片发到微信