Typesafe AI已开放System One模型Jev，取消候补名单，并向每名新用户赠送5美元额度。该模型开发历时两年，累计融资4000万美元，不提供聊天功能，只接收事实和封闭式问题，并在70至500毫秒内返回概率结果。Monad首席AI工程师Jarrod Watts已将Jev接入价格数据，构建出约每300毫秒在Kuru链上订单簿提交限价单的交易机器人，相关代码已在GitHub开源。

Techub News 消息，AI 研究机构 MirroS 发布 Code-as-World 框架，用于把物理世界表示为可执行世界表征。该框架可将视频场景转换为可由 MuJoCo 物理引擎运行的代码，并形成包含物体组成、物理演化和视觉外观的三元组。MirroS 还开源了相关代码库和模型检查点，其 Code-as-World-VL-9B 模型在 QuantiPhy 验证集上取得 55.4 MRA，超过 Gemini 3.1 Flash 的 54.8 分。

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

OpenAI在GitHub开源Plant Talk项目，基于ChatGPT让室内盆栽语音对话。最低配置只需摄像头麦克风，进阶版加装土壤湿度传感器可提升精度。官方强调Codex Desktop才是真正产品。

一个GitHub开源项目ai-hedge-fund用19个AI代理模拟巴菲特、芒格、Cathie Wood等知名投资人的决策逻辑，目前已获5.66万星。用户输入股票代码即可获得多位“大师”的综合建议。

GitHub开源工具anti-distill引发讨论。它可将员工编写的Skill文件处理成“清洗版”和本地加密保存的“私人备份”，回应职场对知识被AI蒸馏、岗位被替代的担忧。

Anthropic在GitHub开源金融服务插件框架，提供41项自动触发技能、38个斜线指令和11个数据连接器，覆盖投行、股票研究、私募股权与财富管理。

7月15日至16日，市场消息集中在BNB Chain第36次季度销毁、多个ETH巨鲸地址增持及转账、贝莱德披露数字资产业务数据，以及DTCC联手华尔街机构推进股票和美债代币化。与此同时，Revolut获迪拜原则性批准，Aave V4扩展至Avalanche，Coinbase、Base、Summer.fi等平台也披露了业务调整与风险事件进展。