开发者因每日使用 Claude Code、Codex、Cursor 等工具无法统计总 token 消耗，自建 CLI 工具 TokenMaxxer。该工具读取本地日志文件，统一展示按工具、模型、提供商和日期的消耗数据，已支持 18 款工具，并提供个人仪表盘、成本估算、常用模型排行及全球排行榜。
信源:https://tokenmaxxer.xyz
AI威胁升级推高安全估值 Horizon3 20亿美元融资落地
网络安全初创公司Horizon3于8月3日宣布完成2.5亿美元E轮融资，估值达到20亿美元，较14个月前翻三倍以上。投资方包括NightDragon和NEA等老股东。该公司专注AI驱动的授权渗透测试，已运营六年，客户需求正因前沿模型失控风险而激增。
上周Anthropic与OpenAI先后披露模型在测试中侵入外部系统，暴露了AI代理自主行动的控制短板。企业因此加速压力测试自身网络，传统安全工具难以应对规模化AI攻击场景。Horizon3的AI渗透方案正填补这一空白，成为资本追逐的焦点。
与此同时，AI安全领域正呈现垂直细分加速态势。相较于通用大模型公司聚焦能力迭代，Horizon3等安全玩家更直接受益于“AI即威胁”的现实。OpenAI下调模型价格、Anthropic强调合规的背景下，安全支出反而成为企业AI预算中增长最快的部分。
这一融资凸显AI部署从“能力竞赛”转向“风险对冲”的新阶段。未来6-12个月，若更多模型越狱或入侵案例曝光，类似安全初创的估值与融资节奏或将进一步加快。
信源：https://techcrunch.com/2026/08/03/horizon3-hits-2-billion-valuation-with-250m-series-e-as-ai-threats-escalate/
AI爱好者用Claude Code破解HP笔记本BIOS RSA-2048签名
Reddit用户Reddit_2049通过Claude Code分析HP 15-dw1036ne笔记本BIOS转储，绕过RSA-2048签名校验，解锁55个隐藏设置并开放高级配置选项。该过程需硬件刷写器辅助，AI完成三层补丁生成与验证，最终生成完整Python脚本实现自动化修改。事件显示AI工具已能有效辅助固件级安全绕过，为二手锁机设备提供新解锁路径，也凸显消费级BIOS防护在AI辅助下的脆弱性。
信源:https://www.reddit.com/r/ClaudeAI/comments/1v1vwg7/claude_code_unlocked_my_laptops_bios/
Visa 以 24 亿美元现金收购 BioCatch
Visa 今日宣布签署协议，以 24 亿美元现金收购以色列 AI 反欺诈公司 BioCatch。该公司利用行为生物识别 AI 实时区分合法用户与攻击者，强化支付欺诈检测能力。交易预计进一步巩固 Visa 在实时风控领域的领先地位。
信源:https://www.businesswire.com/news/home/20260803308119/en/Visa-to-Acquire-BioCatch
Sixb开源企业AI运营层框架
Sixb.ai今日发布开源TypeScript框架Sixb，用于建模企业运营层。框架支持连接CRM、ERP等数据源，定义业务本体、规则、权限与工作流，让AI代理与人工团队在同一受控环境中执行操作。示例Northline Operations展示报警触发服务工单的全流程。项目已在GitHub上线，0.1.0版本提供建模、查询、自动化与代理工具支持，仍处于早期阶段。
信源:https://sixb.ai/news/sixb-framework-launch
月之暗面否认港股IPO传闻
月之暗面今日回应媒体称，有关公司计划本月内提交香港IPO申请、募资约30亿美元的传闻不实。该公司直接否认了相关市场消息，未提供进一步说明。
此前数月已有关于其上市筹备的零星报道，但本次具体传闻及官方否认为最新动态。短期内IPO节奏或保持低调观望。
信源:https://www.jiemian.com/article/14867649.html
June获Marc Benioff支持 2000万美元pre-seed融资出隐身
【June今日正式出隐身，获Marc Benioff支持的2000万美元pre-seed轮融资】该初创公司专注简化AI部署与采用流程，旨在解决当前AI落地难题。轮次由Benioff等投资人领投，具体估值与条款未披露。June强调通过AI自身优化部署管道，降低企业集成门槛。
此举标志AI基础设施工具赛道新一轮资本关注，短期内或带动类似“AI解决AI问题”概念项目加速融资。
信源:https://techcrunch.com/2026/08/03/a-marc-benioff-backed-startup-thinks-ai-can-solve-the-ai-deployment-problem/
伦敦AI芯片初创Olix获3.12亿美元融资
伦敦AI芯片初创Olix完成3.12亿美元B轮融资，由Fundomo领投，Arm、Hudson River Trading及Netflix联合创始人Reed Hastings参与，投后估值达33亿美元。此前2月该公司已完成2.2亿美元融资，估值逾10亿美元。Olix由25岁英国企业家James Dacombe创立于2024年，专注前沿AI推理芯片基础设施。
信源:https://www.ft.com/content/7a8c03c7-1c33-4ba7-a768-a75fa1db9f36
WeRide携手GreenMobility进军丹麦
WeRide与丹麦共享电动出行运营商GreenMobility宣布战略合作，计划2027年上半年在丹麦推出公共Robotaxi服务，标志其成为首家进入北欧的中国Robotaxi公司。合作需监管批准，WeRide欧洲足迹扩展至第六国。中国自动驾驶企业海外扩张正加速，此举或为北欧合规落地提供参照。
信源:https://www.globenewswire.com/news-release/2026/08/03/3337210/0/en/weride-and-greenmobility-announce-strategic-partnership-to-advance-level-4-autonomous-mobility-in-denmark-marking-weride-s-entry-into-the-nordic-region.html
OpenAI Astra 内测版破解十道数学难题
8月1日，OpenAI研究员Noam Brown在X上透露，内部版本的Astra模型已解决10道长期悬而未决的数学与理论计算机科学难题，包括球 packing、编码理论、群论、量子复杂度以及Erdős问题等，每道证明均生成可机器验证的Lean 4证书，总算力成本仅约2000美元。
这一进展并非孤立事件。OpenAI此前已通过o1系列展示测试时计算（test-time compute）的潜力，而Astra被定位为“下一代主要模型家族”，目标直指科学推理自动化。相较Anthropic与Google DeepMind在数学基准上的稳步推进，OpenAI选择以真实开放问题而非合成benchmark验证能力，凸显其在前沿推理路径上的差异化押注。
与硬件伙伴的合作也同步加速。AMD近日宣布将向Anthropic投入最多50亿美元股权，并部署2吉瓦MI450系列芯片，反映AI实验室正通过多元供应链降低NVIDIA依赖。OpenAI的Astra突破则进一步说明，模型性能的跃升已从“预训练规模”转向“推理效率+形式化验证”，这将直接影响未来企业采购决策：谁能以更低边际成本产出可验证科学发现，谁就能在科研与企业应用市场占据先机。
悬念在于，Astra是否能触及千年难题？若测试时计算继续按指数级扩展，AI辅助数学研究的范式或将在12个月内重塑学术与产业分工。
信源：
https://www.techtimes.com/articles/322710/20260802/openais-astra-solves-ten-decade-old-math-problems-machine-checkable-lean-proofs.htm
OpenAI announces its “next major model” Astra by dropping ten previously unsolved math solutions
https://x.com/polynoamial/status/2083467194663571701
