Anza宣布正分层移除Solana核心协议中的浮点运算。已在主网 Beta 的 epoch 1026 激活的 SIMD-0391，把 Stake Program 及验证者客户端预热和冷却逻辑改为定点运算。进入审查阶段的 SIMD-0607 则瞄准运行时，处理通胀奖励和租金计算路径。Anza称，此举是为避免不同硬件、客户端和编译器产生不同舍入结果，引发共识分歧和网络活跃性风险。

Solana 核心客户端开发团队 Anza 表示，正分层从 Solana 核心协议中移除浮点运算。已激活的 SIMD-0391 将 Stake Program 及验证者客户端预热、冷却逻辑改为定点运算；SIMD-0607 已提交审查，拟处理运行时中的通胀奖励和租金计算路径。Anza 称，此举旨在避免不同硬件、客户端和编译器产生舍入差异，降低共识分歧和网络活跃性风险。

SpaceXAI 的 GrokBot 工程师 Lauren Tan 在团队工作坊中披露，她目前会同时运行 20 多个智能体，上个月交付 1000 多个 PR，8 月目标翻倍。她展示了自己 5 个月累计 3000 多个 PR 的 GitHub 贡献曲线，并称如今从提 PR、跑验证到合入主干，很多环节已可由智能体独立完成。她将关键归因于验证体系、feature map、自动化代理 Benny，以及以 pstack、Dune、CI 和 lint 规则构成的强约束架构。

Blockstream 研究院发布比特币格基签名研究报告，对 Dilithium、Falcon、Hawk 三种后量子方案做了安全性、链上成本、实现复杂度、部署风险和密钥派生能力比较。报告认为，比特币至少应采用 3 级安全标准；Hawk 已因新攻击退出竞争，Dilithium 实现最简但体积偏大，Falcon 在体积、验证速度与成熟安全假设之间更均衡。若现在必须选择，报告倾向 Falcon-1024，但短期仍建议以哈希基签名作为更保守的过渡路线。

Blockstream 研究院发布比特币格基签名研究报告，对 Dilithium、Falcon、Hawk 三种后量子签名方案做了安全性、链上成本、实现复杂度、部署风险和发展潜力对比。报告认为，比特币至少应采用 NIST 3 级安全标准；Hawk 已因结构性缺陷退出竞争，Dilithium 实现更简单但体积偏大，Falcon 在体积、验证速度和成熟安全假设之间更均衡。若现在必须选择格基方案，报告倾向 Falcon-1024；短期则仍建议以哈希基签名作为更保守的过渡路线。

英伟达通用编码智能体 AVO 在 ARC-AGI-3 的 25 个游戏环境中通关全部 183 个关卡，以 6624 步拿到 100.00 的 RHAE。报道显示，AVO 未改动底层模型 Claude Opus 5，而是在模型外加入持久记忆和监督器机制。该系统原本用于 GPU 算子优化，曾在 B200 上自主运行 7 天，探索超过 500 个优化方向，并提交 40 个有效内核版本。

清华大学工业工程系研究者 Jianhao Ma 与宾大沃顿商学院教授 Yuxin Chen 发布论文，证明标准梯度下降仅靠预先设定步长序列，无法达到 Nesterov 动量方法的 O(1/T²) 收敛速度。论文给出的下界为 Ω(T^-1.9319)，核心证明由 GPT-5.6 Sol Pro 在研究者监督下完成，并通过 Lean 4 形式化验证，代码已在 GitHub 公开。

ChainFeeds Research 发布第 154 期 PRO 周报，内容聚焦以太坊 Glamsterdam 升级后的多维 Gas 市场研究、闪电网络 HTLC 安全优化、比特币 stale block 监测改进，以及 PoS 共识与 DeFi 预言机安全新模型。文中还介绍了面向源码保密的 Arcanum 编译器方案，并收录一篇关于比特币争议性软分叉条件的论文。