据动察Beating监测，OpenAI称，GPT-5.6SolUltra调用64个子Agent，用不到1小时，为提出约50年的「循环双覆盖猜想」给出一份证明。OpenAI已公开完整prompt和证明全文，并开源Lean形式化版本。相关代码已通过Lean内核检查。不过，这仍是OpenAI发布的结果。数学界尚未完成独立审查，因此暂时只能说「给出证明」，不能直接说「正式解决」。查看原文

展开

三菱汽车7月9日表示，将在日本工厂启动人形机器人量产。三菱汽车与其投资的新兴企业Highlanders共同开发的人形机器人将于2027年左右投产，并率先导入自有工厂使用，未来还将考虑对外销售。公司将在生产发动机的京都工厂闲置空间新建生产设备，月产能计划为1000台。（界面）查看原文

展开

火星财经消息7月11日消息，美股三大指数周五集体收涨，道指涨0.29%，纳指涨0.29%，标普500指数涨0.42%。大型科技股涨跌不一，Meta涨近6%，英伟达涨超4%，微软、特斯拉小幅上涨；SpaceX跌超4%，苹果、谷歌、亚马逊小幅下跌。韩国存储芯片巨头SK海力士ADR上市首日表现亮眼，盘中一度大涨近19%，最终大幅收涨超12%，市值达1.22万亿美元。与此同时，美股存储概念股多数走强，闪迪涨超3%，希捷科技涨超2%，西部数据涨0.78%，美光科技跌1.24%。此外，百货公司、鞋服板块走高，聪链集团涨超15%，耐克涨超3%；航空服务、生物技术跌幅居前，莫德纳跌近11%创2025年5月以来最大单日跌幅，维珍银河跌近2%。纳斯达克中国金龙指数收跌0.23%，热门中概股涨跌不一，金山云涨超4%，名创优品涨逾2%，阿里巴巴、理想汽车涨逾1%，奇富科技跌超11%，网易跌逾4%。（科股宝播报）查看原文

展开

火星财经消息，据链上分析师余烬监测，早期买入币安人生并获得约5000倍回报的钻石手巨鲸在5小时前再卖250万枚币安人生（170万美元），目前仅剩最后250万枚，预计明天凌晨完成全部清仓。其2480美元买入的1850万枚已卖出1600万枚，套现1112万美元。查看原文

展开

据报道，SK海力士CEO郭鲁正表示，从供应角度来看，2027年将是内存短缺周期中最糟糕的一年，预计客户需求在2030年后仍将超过供应能力。郭鲁正表示，美国在未来晶圆厂选址候选名单中，但公司尚未做出决定。郭鲁正称，SK海力士将优先选择能够以具有竞争力单制造成本提供足够土地、电力、水和技术工人的地点，“如果满足这些条件，美国、日本和东南亚都在考虑范围内”。（界面）查看原文

展开

火星财经消息，据Bitcoin.com报道，欧洲议会以416票赞成、169票反对、22票弃权通过数字欧元推进决议，进入与成员国谈判的关键阶段。该货币于2023年首次提出，旨在维护欧洲货币主权并为公民提供数字化现金。谈判代表FernandoNavarreteRojas强调数字欧元将“补充而非取代现金”，并提供免费基本账户和持有上限以保护金融体系。欧洲央行此前已与欧洲主要支付标准提供商建立合作，将其作为抵御稳定币等私人货币影响力扩大的工具，欧洲央行执委会成员PieroCipollone称数字欧元将“减少欧洲对外部提供商的依赖”。查看原文

展开

火星财经消息，7月11日，Serenity发文表示，针对近期有关OpenAIMRC网络架构优化及亚马逊（AMZN）RNG架构可能导致光模块需求下降的讨论，其认为即使单颗XPU所需光模块数量减少，AI算力规模的快速扩张仍将推动整体光通信需求持续增长。Serenity指出，随着XPU部署数量大幅提升，总体光模块需求预计仍将保持增长。在CPO（共封装光学）激光方案方面，其认为VCSEL更适合作为NPO（近封装光学）及短距离互连阶段的过渡技术，而长期来看，超高功率连续波（UHPCW）激光器将是CPO的更优方案，这一观点也与博通此前公开表态一致。查看原文

展开

火星财经消息，据TheDefiant报道，SkyFrontierFoundation发布的2026年6月财务与运营更新显示，其年化总收入运行率创下4.1908亿美元的新纪录。据悉，年化总收入运行率是一种将短期收入数据（通常为月度或季度）折算为年度收入的估算指标，用于快速评估业务当前的收入规模和发展趋势。DefiLlama数据显示，Sky在过去30天内获得了3014万美元的费用收入，年化收入约为3.67亿美元。该数据统计的是用户支付的总费用，而不是Sky所采用的“总收入”概念，这与Sky公布的数据基本一致。查看原文

展开

火星财经消息，据链上分析师余烬监测，Tether用每季度利润15%购买BTC的储备地址，在5小时前向Binance测试性充值4枚BTC（25万美元）。该地址一个月前曾向Bitfinex转移204.3枚BTC（1436万美元），当时BTC价格约7万美元。此前Tether会在每季度最后一天将当季购买的BTC提到链上，但二季度已结束十几天，尚未看到新币转入储备地址。查看原文

展开

火星财经消息，7月11日，纳斯达克上市的比特币财库公司EmperyDigital自5月7日以来累计出售1400枚BTC，平均售价约6.22万美元，合计套现约8710万美元，较此前比特币储备规模缩水近一半。公告显示，所得资金中1000万美元已于7月7日用于偿还债务，其余资金将用于此前宣布的AI数据中心相关地产收购、股东诉讼法律费用以及日常运营开支。该公司此前宣布将投资6500万美元，获得一家拟建设美国中西部AI数据中心项目实体25%的股权。截至7月10日，EmperyDigital仍持有1514枚BTC，按当前价格计算价值约9650万美元，同时持有约7390万美元现金，未偿还债务余额为4500万美元。报道称，越来越多持有比特币储备的上市公司开始将BTC作为流动性来源，而非仅作为长期持仓资产，通过出售部分储备满足债务偿还、资本开支及企业运营等传统融资需求。查看原文

展开

据动察Beating监测，Cursor发布3.11更新，新增侧边聊天和对话搜索。用户可以在主Agent继续工作时，另开一条继承上下文的聊天，用来追问、查资料或验证思路，不必打断主任务。侧边聊天会长期保留，也能通过@把内容带回主对话。Cursor还支持搜索过去的Agent对话。用户可用Cmd+K搜索本地索引中的数千条聊天记录，也可用Cmd+F查找当前对话。云端Agent同时新增一批Hooks。开发者可以在提交提示词、模型回复、思考、子Agent启动和任务停止等节点触发操作，用来监控运行过程、控制子Agent，或搭建自动纠错流程。查看原文

展开

火星财经消息，据OnchainLens监测，美国政府凌晨从其BTC-e没收钱包向新地址转移了4036枚ETH，价值约722万美元。查看原文

展开

火星财经消息，7月11日，据Axios报道，特朗普政府要求伊朗最迟在周六公开声明，确认霍尔木兹海峡保持开放，并承诺停止向商业船只开火。美国官员表示，该要求已通过直接渠道以及地区调解方传达给伊朗。美方认为，伊朗近期在霍尔木兹海峡及周边对商业船只发动袭击，违反了双方数周前签署的谅解备忘录，使脆弱的停火协议面临破裂风险。报道称，伊朗外长阿拉格齐与阿曼外长布赛迪预计将于周六在阿曼首都马斯喀特会面，讨论霍尔木兹海峡局势。美方希望伊朗在此次会谈后发表公开声明，承诺停止袭击，并确认海峡航道开放且免收通行费。美国官员称，美伊核谈判近期取得一定进展，但霍尔木兹危机引发美方对伊朗履行更复杂协议能力的担忧。若伊朗拒绝相关要求，美方警告将采取进一步行动。查看原文

展开

火星财经消息，7月11日，据CBS报道，美国高级官员透露，伊朗官员私下向特朗普政府顾问表示，伊朗在霍尔木兹海峡向商业船只开火是一个「错误」，相关袭击源于试图破坏谈判的「强硬派错误派系」。报道称，伊朗方面表示希望继续进行谈判。美国白宫希望伊朗公开承认这一错误。特朗普政府认为，针对商业船只的袭击行为违反了双方停火安排。美国官员称，特朗普已指示由副总统万斯、特朗普女婿库什纳、美国中东问题特使威特科夫以及国务卿鲁比奥组成的团队继续推进谈判。相关会谈将在阿曼举行。美方官员表示，如果伊朗继续采取敌对行动，美国将利用军事和经济手段进行回应。查看原文

展开

火星财经消息，7月11日，美国总统特朗普在社交平台表示，美光正在加速在美支出，计划投资2500亿美元在美国本土制造存储芯片。「我们正将制造业带回美国，并保障我们的供应链安全。这意味着全美各地勤劳的爱国者们将迎来成千上万个优质就业岗位。」此外他还转发美光科技首席执行官桑贾伊·梅赫罗特拉的话称，「上周，我向特朗普总统表示，得益于他的领导和政策，美光科技将于今天宣布——我们不仅进度超前，还将把在美国的制造和研发投资从2000亿美元增加到2500亿美元，从而创造10万个美国就业岗位。这是『特朗普效应』推动历史性私营部门投资、美国制造业和就业创造的又一例证。」查看原文

展开

据动察Beating监测，苹果起诉OpenAI、其硬件主管TangTan和前苹果工程师ChangLiu，指控三方有组织窃取苹果商业机密，用于开发OpenAI自有硬件。苹果称，OpenAI鼓励苹果员工在面试中提供未发布产品的信息、零件和设计图。准备跳槽的员工还会被指导隐瞒去向，避免苹果提前关闭内部权限。Liu今年1月加入OpenAI。苹果指控他在离职前下载了数十份机密文件，包括未发布产品资料、技术规格和项目数据。Tan曾负责iPhone、AppleWatch和AirPods等产品设计。离开苹果后，他参与创办硬件公司ioProducts。OpenAI去年以65亿美元收购这家公司。苹果要求OpenAI停止使用并销毁相关材料，还要重新设计可能使用苹果技术的未发布产品。OpenAI回应称，公司对其他企业的商业机密「没有兴趣」，将继续专注开发惠及全球用户的创新技术。两家公司此前一直合作，把ChatGPT接入Siri和AppleIntelligence。如今OpenAI开始自研硬件，双方从合作伙伴变成了诉讼对手。查看原文

展开

火星财经消息，根据SoSoValue数据，XRP现货ETF单日总净流入10.74万美元。昨日仅21SharesXRPETF(TOXR)净流入，单日净流入10.74万美元，目前历史总净流出达2005.92万美元。截至发稿前，XRP现货ETF总资产净值为9.97亿美元，XRP净资产比率1.45%，历史累计净流入已达14.8亿美元。查看原文

展开

火星财经消息，7月11日，据Bit.com行情数据，美股周五收盘，道指初步收涨0.29%，标普500指数涨0.42%，纳指涨0.29%。SK海力士(SKHYV.O)美股首日收涨12.76%，带动大部分芯片股走强，MetaPlatforms(META.O)涨5.97%，闪迪(SNDK.O)涨3.1%，英伟达(NVDA.O)涨4.03%。查看原文

展开

火星财经消息，据TheBlock报道，剑桥替代金融研究中心（CCAF）最新发布的《合并后的以太坊》报告显示，以太坊节点活动约31%位于美国，39%分布于欧盟（不含英国），整体呈西方中心化格局。报告指出，以太坊网络存在潜在中心化风险——节点高度集中于Hetzner、AWS及OVH三大托管服务商，一旦超过三分之一的验证者同时离线，网络检查点将停止最终确认（Finalization）。此外，报告还对以太坊能耗进行了重新测算，合并后年耗电量约为7.9吉瓦时，较合并前下降约99.98%，可持续能源占比超56%，抵消其全年碳排放所需成本仅约3.35万至7.38万美元。查看原文

展开

火星财经消息，7月11日，据CNN报道，卫星图像显示，伊朗可能正在重建部分疑似核设施和导弹相关设施。图像显示，6月底至7月初，伊朗多个地点出现新的活动迹象，其中部分核设施的动向引发外界关注。CNN分析称，位于帕尔钦军事基地的塔勒甘2号设施出现修复和重建迹象。该设施被部分专家认为与核武器爆炸材料储存有关，卫星图像显示，美以此前空袭造成的多个弹坑正在进行修复。此外，疑似地下核设施「镐山」的卫星图像显示，在美伊6月17日签署的谅解备忘录生效期间，仍有车辆进出地下隧道。这一动向引发了疑问：伊朗是否违反了其在6月底与美国签署的谅解备忘录？时间甚至早于特朗普决定结束该谅解备忘录，并对伊朗发动新一轮袭击。查看原文

展开

火星财经消息，据彭博社报道，加密银行CustodiaBank已向美国最高法院提交请愿书，要求审查其“被非法拒绝接入美联储支付系统”一案。Custodia于2020年向堪萨斯城联储申请主账户接入，但美联储于2023年以“业务模式集中于加密资产相关活动”为由拒绝。Custodia提起诉讼，但第十巡回上诉法院维持了美联储的决定。Custodia在请愿书中称该案提出了“极其重要的问题”——地区联储银行是否可以通过拒绝央行支付服务来否决州银行特许决定。Custodia创始人兼CEOCaitlinLong表示，怀俄明州已通过数十项法律打造加密友好环境，但堪萨斯城联储主席“不同意怀俄明的政策选择”。最高法院将在10月休庭后决定是否受理此案。查看原文

展开

火星财经消息，7月11日，SK海力士公司首席执行官郭鲁正表示，目前困扰计算机、汽车和设备市场的内存芯片短缺问题，可能将持续到2030年以后。郭鲁正表示，客户正在签署长期合同，因为他们「认为短缺状况会持续更久」。该公司及其同行——三星电子和美光科技——已成为人工智能热潮的主要受益者。数据中心运营商的大规模支出，推动了对传统内存以及一种新型高带宽内存的需求。这场抢购使得满足对存储芯片的广泛需求变得更加困难，导致电脑、手机和汽车等领域的短缺。郭鲁正表示，SK海力士的分析显示，这种短缺可能持续到下一个十年。客户信号也表明，人们预计未来一段时间内将无法获得足够的存储芯片。查看原文

展开

火星财经消息，7月11日，特朗普政府计划放宽对阿联酋的出口限制，为其采购包括商业卫星和用于人工智能的半导体在内的多种先进技术扫清障碍。美国商务部在下周即将发布的一份通知中表示，阿联酋现在符合美国出口管制法的更宽松待遇条件。美国商务部还提到，阿联酋支持美国在反伊战事中的立场。放宽出口限制将使阿联酋的企业能够按计划从英伟达公司、AMD和CerebrasSystems公司采购先进的AI芯片。这一协议是美国与阿联酋一年多前达成的，规定这些公司向阿联酋国家支持的科技领军企业G42供应数千个处理器，用于该地区新建的AI数据中心。查看原文

展开

火星财经消息,美股三大指数集体收涨，道指涨0.29%，纳指涨0.29%，标普500指数涨0.42%，大型科技股涨跌不一，Meta涨近6%，英伟达涨超4%，SPaceX跌超4%，美光科技跌超1%。SK海力士ADR在美股上市首日收涨12.76%。(财联社)查看原文

展开

火星财经消息,SK海力士正在考虑以新的方式销售其内存芯片的使用权，包括所谓的“内存即服务”，这意味着客户可以向这家韩国公司租用存储资源，而无需购买芯片。“我们实际上可以提供其他商业模式，”SK集团会长崔泰源在接受彭博电视采访时表示。“我们可以成为存储服务提供商，提供‘内存即服务’。未来，这实际上是我们可以关注的另一个领域。”(财联社)查看原文

展开

火星财经消息，BinanceResearch发布代币化股票报告显示，bStocks上线不足一个月，代币化股票资产数量已由5个增至25个，链上市值已接近3亿美元。 用户参与方面，190,417名bStocks用户中，41.5%仅交易bStocks，58.5%同时参与永续合约和/或股票产品。报告还显示，共有2,806名用户参与跨市场套利，其中206名系统性套利用户贡献了1.982亿美元的快速匹配成交量，占相关成交量的96.5%。 报告称，bStocks在非交易时段的吸引力尤为明显。常规交易时段内，股票现货成交量占比为52%，bStocks占比为48%；而在非交易时段，bStocks成交量占比升至58%，高于股票现货的42%。 此外，bStocks已开始延伸至链上收益场景。当前相关流动性池可提供32%至228%的APY，原生信贷池收益率为5%至10%，可见总TVL约为115万美元。查看原文

展开

火星财经消息，7月10日，EmperyDigital减持其比特币储备，出售1400枚BTC套现8710万美元，用于支持其AI数据中心项目、偿还债务以及支付法律费用。该公司目前仍持有1514枚BTC，价值接近1亿美元。查看原文

展开

火星财经消息，Backpack宣布推出首个面向国际投资者的24/7/365实盘美股交易市场，用户可全天候买卖真实美国股票，而非合成衍生品。首批支持的股票包括SpaceX（SPCX）、Micron（MU）和SanDisk（SNDK）。 Backpack表示，平台提供真实股权持有、即时结算及持续价格发现，并支持使用法币或稳定币入金。此外，平台还支持这些资产在Solana上的代币化版本，用户可在Backpack平台上实现传统证券与代币化股票之间的1:1转换。查看原文

展开

火星财经消息，7月10日，据官方公告，Binance将于2026年7月10日23:50（东八区时间）上线SKHYUSDT永续合约，最高支持50倍杠杆。查看原文

展开

火星财经消息，7月10日，据BIT（bit.com）行情数据，SK海力士美国存托凭证（ADR）上市首日开盘价报170美元，发行价为149美元。根据交易安排，SK海力士ADR今日在纳斯达克全球精选市场以临时代码「SKHYV」开始发行前交易，并计划于7月13日转为正式代码「SKHY」进行常态化交易。查看原文

展开