OpenAI宣布与Trail of Bits等合作，启动“Patch the Planet”计划，首周即在cURL、Python等19个关键开源项目中发现数百个漏洞，提交64个PR和51个issue，旨在用AI解决开源安全人力不足的结构性问题。

Vitalik 在 X 平台表示，一种值得尝试的新型“高级编程语言”可以编译为 Lean 或 HOL 等形式系统，重点应放在让人类更容易阅读定义和定理，而非证明本身。他称，证明只要正确即可，关键在于定义和定理；其设想用途之一，是让 AI 生成大段证明后，读者仍能较轻松地看清其中究竟证明了哪些精确主张。

在 2026 世界人工智能大会主论坛上，阶跃星辰董事长、千里科技董事长印奇表示，AI 下一轮爆发将来自智能体模型与下一代终端产品结合。其称 2026 年模型能力已跨越关键临界点，智能体正成为生产力的最小单元，并将带来新系统、新载体、新网络三大底层产业变革。

Bun 创始人 Jarred Sumner 今年 5 月宣布，团队在 11 天内借助 Anthropic 未公开发布的 Claude Fable 5 与 Claude Code 动态工作流，将 Bun 的百万行代码从 Zig 重写为 Rust。Zig 创始人 Andrew Kelley 随后发文，将 Bun 早期稳定性问题归咎于工程习惯和管理方式，并质疑未经人工审查的 AI 生成 Rust 代码是否可靠。围绕 API 成本、开源文化与后续可维护性的争议，也随之扩大。

Vitalik Buterin 于 2026 年 7 月 5 日公布 Lean Ethereum 长期路线图，将其定义为以太坊在 Merge 之后的下一阶段重大演进。方案覆盖验证方式、最终性、状态存储、量子安全、隐私与执行引擎等核心模块，目标包括更快的 L1 最终确定性、1 gigagas 吞吐量、量子安全与原生隐私。路线图被视为未来三到四年的方向性框架，但对 ETH 价格的传导仍取决于后续需求、费用与销毁数据是否改善。

Moonshot AI 发布了开源编程模型 Kimi K2.6，支持超长编程任务、跨语言泛化、前端动画生成及高达 300 个并行子代理，同时引入 24/7 自主代理和人机协作功能。

本文揭秘ICO项目如何轻松创建ERC-20代币，仅需30分钟和简单代码，提醒投资者警惕‘速成’项目背后的风险。

Sui Foundation宣布Sui Bridge已在主网上线，支持以太坊与Sui之间安全转移ETH和WETH，并由Sui验证者提供安全保障，后续还将扩展更多资产与用例。