据 DefiLlama 数据，Polymarket 本周收入已超过 1100 万美元，创下历史新高。同期，协议累计收入已超过 9700 万美元。该消息由 BlockBeats 于 7 月 12 日披露，分类为科技动态。

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

深圳云豹智能创业板 IPO 申请已获深交所受理，公司瞄准“国产 DPU 第一股”。招股书显示，其 2023 年至 2025 年营收从 17 万元增至 3.7 亿元，但仍处于亏损状态。腾讯通过关联主体持股 19.7792%，为 IPO 前第一大股东。公司由斯坦福博士萧启阳于 2020 年在深圳创办，已完成多轮融资，投后估值超过 140 亿元。

Citrini 分析师 Jukan 7 月 12 日在 X 平台称，英伟达已决定暂时放弃采用台积电 COUPE 技术方案，原因是台积电在氮化硅技术推进缓慢，且二维光栅耦合器开发未达预期。Jukan 表示，英伟达此前的“Plan A”基于台积电共封装光学平台，最新“Plan B”已转向 Tower Semiconductor 的硅光子平台。他此前还提到，英伟达下一代 Rubin 架构产品发布时间或再次延后。

The Kobeissi Letter表示，美国经济对 AI 投资的依赖正在上升。数据显示，AI 投资对美国 GDP 增长的贡献已超过 25%，创历史新高；AI 相关支出约占美国 GDP 的 8%，同样刷新纪录。该机构提到，相关投入涵盖软件、IT 设备、研发和数据中心建设。作为对比，2000 年互联网泡沫时期，IT 设备、软件和研发支出占 GDP 比重峰值约为 6.5%。

伊朗外交部发言人巴加埃7月12日表示，伊朗与阿曼外长11日在马斯喀特就霍尔木兹海峡航行及通航管理协调机制举行会谈，法律和技术代表团参与讨论。伊方称，未来通航管理安排应由伊朗与阿曼协商制定，双方还就航运安全、主权权利、国际法适用及《伊斯兰堡谅解备忘录》第五条交换意见。卡塔尔代表团参加了部分环节。

Anthropic近日发文回应Claude Code用户对“模型变笨”的争议，核心在于不少人混淆了Model与Effort两项设置。官方称，Model决定能力边界，Effort决定本次任务投入多少工作量。3月4日，Anthropic曾将Claude Code默认Effort从high下调至medium以降低延迟，4月7日又调回，并为订阅用户重置一次用量额度。官方还给出判断框架：先检查上下文，再区分问题是“不会”还是“不够努力”，再决定换模型还是调高Effort。

伊朗议会议长卡利巴夫表示，单方面协议的时代已经结束。此前，伊方曾要求有关方面履行承诺和义务，否则将为此付出代价。他还附上此前 14 项谅解备忘录中第五条的部分内容，强调在遵守伊朗方面安排的前提下，恢复霍尔木兹海峡通航。