-
17:19
谷歌向美国外AI Pro用户推出智能体Gemini Spark
8月1日消息，谷歌已开始向美国以外的 Google AI Pro 用户推出 Gemini Spark。Spark 是一款可在后台 24/7 运行的个人 AI 智能体，能够按用户指令处理繁重任务。据测试账号 Testing Catalog 透露，该产品下一步重大升级将支持真正的 MCP（Model Context Protocol），相关功能已在开发中。
-
17:19
DeepSeek正式公测V4-Flash-0731版本
8月1日，DeepSeek 正式公测 V4-Flash-0731 版本，通过后训练与 Agent 框架优化，将 DeepSWE 榜单成绩从 7.3 提升至 54.4，Cybergym 得分翻倍至 76.7，部分硬榜表现接近 Claude Opus 4.8。新版本未增加参数，价格保持不变，原生支持 Responses API，老用户 API 将自动切换至新版本。目前仅更新 Flash API，V4 Pro 正式版仍在开发中。
-
16:58
CZ：即使是硬件钱包也可能存在漏洞，不存在100%的安全
8月1日，Binance创始人CZ针对Coldcard钱包疑似漏洞导致超3800万美元比特币被盗事件发文表示，即使是硬件钱包也可能存在漏洞。即使是历史悠久的钱包也可能有漏洞。为了降低风险或许可以把资金分散到几个钱包之中？但这又会带来另一套风险。没有什么是100%安全的。
-
16:57
超聚变AI Lab平台上线DeepSeek-V4-Flash正式版
8月1日，超聚变宣布，DeepSeek-V4-Flash-0731正式版已登陆超聚变AI Lab平台，可通过PC端访问并在线体验。
-
16:57
Alphabet因政策违规回滚谷歌地球中AI图像生成功能
8月1日，据路透社报道，谷歌母公司Alphabet表示，正在回滚其仅一天前在谷歌地球中推出的AI图像生成功能，原因是用户分享的图像似乎违反了公司政策。该功能由谷歌的Nano Banana 2 AI模型驱动，允许用户通过输入文本提示，针对地球上的任意位置生成基于谷歌地球卫星、航拍和3D影像的逼真图像。该工具因可能造成虚假信息而受到批评，因为它允许用户在古迹和地标的真实影像上创建虚假场景。
-
16:57
Coinbase比特币负溢价已持续75天，续创历史最长纪录
8月1日消息，据CoinGlass数据，Coinbase比特币溢价指数自5月19日至8月1日已连续75天处于负溢价区间，最新报-0.0959%，续创该指标推出以来最长连续负溢价纪录。此前最长纪录为今年1月16日至2月24日的连续40天，亦超过去年「1011崩盘」期间约30天的连续负溢价时长。 Coinbase比特币溢价指数用于衡量CoinbasePro与Binance之间的比特币价差。指数持续为负，通常意味着Coinbase报价相对较低，可反映美国市场买盘偏弱或卖压较大，但不宜仅凭该指标直接认定机构资金正在外流。
-
16:38
比特币ETF 7月净流入1.728亿美元
8月1日，据FarsideInvestors监测，比特币ETF7月累计净流入1.728亿美元。7月主要流入来自IBIT（+2.276亿美元）和灰度BTC（+2.946亿美元），而灰度GBTC（-3.604亿美元）和富达FBTC（-2.095亿美元）出现显著流出。此外，比特币ETF上周净流出6150万美元。
-
16:38
分析：比特币当前筹码集中度与FTX暴雷前夕类似，或出现熊市最后一跌
8月1日消息，据加密分析师 Murphy，比特币 URPD（UTXO Realized Price Distribution，UTXO 已实现价格分布）数据显示，比特币在 63000 美元位置筹码高度集中达 89 万枚，62000 美元处 71 万枚，两者合计占流通供应约 8%，远高于一般水平。Murphy 认为当前这一数据与 2022 年 FTX 事件前夕出现类似集中度，高集中度使比特币价格敏感度上升，易引发剧烈波动，最终导致暴力再分配，或成熊市末期重要方向选择。对此，江卓尔评论表示，若 CLARITY 法案无法在国会休会期前通过，比特币或将完成熊底最后一跌。
-
16:19
伊朗警告称美国海军封锁可能导致更多海峡关闭
8月1日，根据伊朗官方的伊通社，伊朗最高国家安全委员会秘书Mohammad Bagher Zolghadr当地时间周六早些时候表示，美国持续的海上封锁和局势升级，不仅会令霍尔木兹海峡的通行进一步受限，其他海峡和战略咽喉要道也会关闭。
-
16:19
OpenAI称AI模型取得数学突破：发布密码学、量子计算领域10个长期未解问题研究成果
OpenAI发布研究成果称，其下一代AI模型 Astra 在数学与理论计算机科学领域取得进展，涉及高维几何、编码理论、群论、量子复杂性、后量子密码学以及极值组合数学等领域，其公布的10项成果涉及：高维球堆积问题、二进制与球面编码问题、非sofic群问题、Connes刚性猜想、算术电路复杂性问题、量子并行重复问题、最近向量问题、Ehrhart体积猜想、多色Ramsey数问题、极值图论猜想。 据介绍，这些成果由内部版本的Astra模型完成推导，寻找解决方案所消耗的计算成本约为2000美元（按Sol API价格计算）。随后，人类研究人员利用同一模型协助整理成论文，并通过Lean形式化证明系统生成可验证证明证书。