据 X 用户 Leo 爆料，OpenAI 最快可能在下周推出代号 Astra 的新模型系列，内部开发代号为 mewfour，目前已进入测试阶段。ABMedia 报道称，这被描述为全新的预训练基础模型，而非 GPT-5.5、o3、o4 一类基于既有模型的后训练升级。OpenAI 近期研究《Ten advances in mathematics and theoretical computer science》也已提到 Astra，并称其为“下一代主要模型”。Kalshi 上线的相关合约显示，市场对 Astra 在 8 月内发布的预期较高。

Bitcoin Magazine 刊发 Colin Crossman 的评论称，Coldcard 硬件签名设备的熵源漏洞已导致攻击者清扫数千个地址，Galaxy Research 统计涉及 4,585 个地址和近 9000 万美元。文章认为，Coinkite 转向 source-available 许可并未阻止漏洞长期存在，AI 辅助审计与逆向能力提升，也在削弱闭源软件依赖“难以阅读”获得的安全边际。作者同时提到 Heartbleed、xz 后门和 Milk Sad 等案例，主张面向比特币托管的软件与硬件应采用可验证构建、更小可信核心和独立实现分散风险。

OpenAI在官方博客首次披露下一代主力模型Astra的内部版本，称其一次处理了10道停滞超过10年的公开数学与理论计算机科学难题。OpenAI表示，相关论证已整理为249页手稿，并进一步形式化为可由Lean逐行验算的证明，整套证明库已在GitHub开源。按Sol API费率计算，完成这10题的token总成本约为2,000美元。这一发布获得部分数学家肯定，但也因绕过传统期刊评审、直接通过博客公布，引发学界对署名权与学术信任机制的讨论。

OpenAI发布研究成果称，其下一代AI模型Astra在数学与理论计算机科学多个方向取得进展，覆盖高维几何、编码理论、群论、量子复杂性、后量子密码学和极值组合数学。官方公布的成果共10项。OpenAI表示，这些结果由内部版本Astra完成推导，求解计算成本约为2000美元，随后由研究人员整理成论文，并借助Lean生成可验证证明证书。

Palantir在X发布22点宣言，主张硅谷工程师应投身国防，并公开支持某种形式的恢复征兵制度，相关表述在科技圈与舆论场引发争议。

图论领域存在近 30 年的 Dinitz-Garg-Goemans 猜想，被 GPT-5.6 Pro 给出的一个 7 节点、9 条有向边反例击穿。研究者 Dmitry Rybin 在公开论证过程中只输入 4 条提示词，共 58 个英文单词。模型最终交付示意图、4 页证明证书、穷举验证程序、机器可读数据和 LaTeX 源码，核心矛盾落在猜想要求的负载上限与成本下限无法同时满足。

OpenAI 研究员 Ethan Knight 7 月 12 日在 X 发文称，GPT-5.6 Sol Ultra 在未使用互联网搜索的情况下，于约 1 小时内生成“循环双覆盖猜想”的证明论文及提示词。公开论文共 3 页，采用将问题归约为三次正则图、结合 8-flow theorem 与 GF(3) 标签，并用线性代数构造每条边恰好落在两个循环中的结构。该结果尚未发表、未经过同行评审，也未通过 Lean 或 Coq 等形式化验证。

TechFlow 汇总当日科技、AI、加密与宏观动态。苹果在北加州联邦法院起诉 OpenAI，指控其窃取商业机密；IMF 称美元稳定币可改善外汇准入，但可能放大挤兑风险；Robinhood 表示 AI 智能体功能将很快服务加密交易者；SK 海力士 CEO 预警 2027 年或出现最严重存储芯片短缺，中国则宣布对氦气实施临时禁止出口管理。