格隆汇6月9日｜现货白银涨幅达1%，现报68.84美元/盎司。

全球股市在AI概念股遭遇抛售后延续反弹，亚太市场领涨，韩国Kospi指数大涨逾8%，芯片股强势复苏；与此同时，中东局势趋于缓和推动油价走低，但即将公布的通胀数据和美联储加息预期仍令投资者保持谨慎。 周二，美股盘前，科技股延续此前涨势，美光科技涨超4%，迈威尔科技涨超3%，苹果微跌0.23%，苹果WWDC 2026发布Siri AI但不及市场预期。Applied Digital涨超10%，公司在Delta Forge 2签署新的数据中心租赁协议。中概股万国数据突然拉升，盘前涨超8.5%。日韩股市集体收涨。 市场情绪好转同时受到多重利好支撑：SpaceX首次公开募股（IPO）获超额认购，英伟达与SK海力士达成联合研发芯片协议，苹果以人工智能为核心的产品更新也为新设备出货铺路。布伦特原油下跌0.8%至每桶约93.50美元，伊朗与以色列承诺减缓互相袭击行动，缓解了外界对中东局势进一步升级的担忧，美元指数亦小幅走低。 不过，分歧依然存在。美国银行证券警告称，越来越多的"熊市信号"显示市场顶部或已临近；周三即将公布的5月CPI预计同比涨幅将创三年多来新高，若数据超出预期，可能进一步强化美联储年内加息的押注，给股市带来新的压力。 美股盘前，科技股延续此前涨势，美光科技涨超4%，迈威尔科技涨超3%，苹果微跌0.23%，苹果WWDC 2026发布Siri AI但不及市场预期。Applied Digital涨超10%，公司在Delta Forge 2签署新的数据中心租赁协议。中概股万国数据突然拉升，盘前涨超8.5%。 欧股开盘涨跌不一，英国富时100指数涨0.05%，法国CAC40指数跌0.23%，德国DAX30指数跌0.58%，欧洲斯托克50指数涨0.01%。 日韩股市集体收涨，日经225指数收涨2.17%，报65416.63点；韩国首尔综指收涨8.2%，报8096.92点。 美国国债价格变动不大，10年期基准国债收益率维持在4.56%。 美元现货指数下跌0.1%。 黄金在每盎司4340美元附近企稳。 布伦特原油下跌0.8%至每桶约93.50美元。 比特币下跌0.4%，报63,219.06美元。 科技股延续此前涨势，芯片股强势复苏 美股盘前，科技股延续此前涨势，美光科技涨超4%，迈威尔科技涨超3%，苹果微跌0.23%，苹果WWDC 2026发布Siri AI但不及市场预期。Appli...

格隆汇6月9日｜在岸人民币兑美元收盘报6.7702，较上一交易日上涨142点。

Beyond the diplomatic choreography of last month’s Xi-Trump summit, what are the structural implications of a less confrontational US-China relationship for the Asia-Pacific? The subsequent visits by US Secretary of State Marco Rubio to India and US Secretary of Defence Peter Hegseth to Singapore in late May shed some light on the question. Both Rubio and Hegseth had accompanied Trump to Beijing. Perhaps most telling was the switch in the usage of a geographic term by the US administration. In...

(RTTNews) - On Tuesday, Keller Group Plc (KLR.L), a road-engineering company based in the UK, announced that it has secured a contract worth $207 million for the reconstruction of Interstate-40 highway in the US. Keller has been working on the highway since 2025, and the latest c

2026年6月9日下午，中共中央总书记、国家主席习近平在圆满结束对朝鲜国事访问后回到北京。 习近平总书记、国家主席夫人彭丽媛，中共中央政治局常委、中央办公厅主任蔡奇，中共中央政治局委员、外交部部长王毅等陪同人员同机返回。(外交部)

记者6月9日从业内获悉，中国证券业协会近日拟启动“智汇证券·共创未来”证券行业人工智能应用案例征集评选活动，面向各证券公司征集一批已落地、有实效、可复制的人工智能应用案例。根据相关通知，案例应用领域涵盖运营提效、体验升级、决策支持、模式创新、研发效能、风险合规六大类场景，另设置综合类，用于收纳智能体等跨多类场景的新兴应用案例，或无法归入上述六类场景的其他案例。每家证券公司每个场景方向限申报1个案例。 据悉，报送案例须为截至2026年3月31日已上线或试运行的人工智能项目，实践成果应具有一定的深度和应用性，对推动证券业人工智能发展有借鉴和指导意义。案例须保证内容原创，符合《数据安全法》《个人信息保护法》要求，涉及客户数据的须脱敏处理。每个案例篇幅需在7000字左右，结构上包括标题、摘要和关键词、正文和署名四部分，其中正文需涵盖引言、现状分析、实践案例及成果、经验总结及展望等内容。(中证金牛座)

Rising fuel prices have increased demand for battery-electric and hybrid-electric vehicles.

格隆汇6月9日｜高通(QCOM.US)盘前涨3.6%，报225.6美元。消息面上，英伟达CEO黄仁勋在出席活动时公开力挺高通。“我认为我们在移动设备领域做得并不出色，也没有必要，”黄仁勋说，“我认为他们（高通）做得非常好。买他们的股票。”他随即补充了一句颇具自嘲意味的总结：“这很好。我整天都在帮别人卖股票。是的，帮助别人是好事，我们应该为别人的成功感到高兴。”(格隆汇)

格隆汇6月9日｜据科创板日报，受上游钨原料供给收紧带动，高纯六氟化钨市场价格持续上行。近日，中船特气公司相关负责人表示，公司适配半导体应用场景、47L钢瓶包装的6N级高纯六氟化钨，当前市场实时报价约为2000-2500元/kg。“目前公司整体产能订单处于饱和状态，同步承接海内外各类客户订单，产销状态饱满”。

这可能是 Tim Cook 最后一次在 Apple 发布会上说出那句熟悉的“Good morning”。 北京时间 6 月 9 日凌晨，Apple 举行了 WWDC 2026 主题演讲。按照此前消息，Tim Cook 将于 9 月 1 日卸任 Apple CEO，因此外界普遍预计，这场 WWDC 是他以 CEO 身份主持的最后一场 Apple 大型发布活动。活动开始前，Cook 也提前在 X 上发布了一支特别视频，用一种轻松、幽默的方式，为自己的经典开场白做了一次告别式预热。 多年来，Tim Cook 几乎总是以同一句“Good morning”开启 Apple 发布会。这句简单的问候，早已成为 Apple Keynote 的固定仪式，也逐渐被网友做成各种梗。此次视频中，Cook 邀请多位影视和综艺明星客串，让他们用不同方式演绎这句“Good morning”，既像是一次自我调侃，也像是在为这场特殊的 WWDC 提前铺垫情绪。 https://x.com/tim_cook/status/2063973568787226897 今年 4 月，Cook 宣布将在 9 月把 Apple 的掌舵权交给 John Ternus。Cook 曾帮助 Apple 成为全球最具价值的公司之一，而 Ternus 是一名机械工程师出身的高管，目前负责 Apple 硬件产品的开发，包括 Mac 电脑和 iPhone。 尽管外界认为 Apple 在 AI 上曾有失误，但在 Cook 的领导下，这家公司依然取得了巨大成功。起码在他担任 CEO 的 15 年里，按拆股调整后，Apple 股价上涨了约 2000%。 不过，在这个略带告别意味的开场之外，WWDC 2026 真正的看点，仍然是 Apple 接下来要如何讲述自己的 AI 故事。 从零开始的 Siri 这届 WWDC，Apple 最受关注的主角可能不再只是 iOS、macOS 或新的开发者工具，而是 Siri。过去一年，Apple Intelligence 曾被寄予厚望，但最关键的 Siri 升级迟迟未能兑现，最终让 Apple 内部意识到，问题已经不只是一次功能延期，而是一场 AI 战略危机。 据 Mark Gurman 披露，2025 年初，Apple 高层曾专门召开关键会议，讨论如何应对 Apple Intelligence 表现不...

格隆汇6月9日｜丽臣实业在互动平台表示，公司对外投资需严格履行内部决策与信息披露程序，目前没有并购CPO、光纤、芯片公司的投资计划。

Investors are being offered a new AI investment opportunity.

Key PointsNews about AI developments or updates from AI companies have been market-moving events in recent years.

格隆汇6月9日｜时创能源公告称，截至2025年12月31日，公司合并财务报表未分配利润为-3.52亿元，股本为4.00亿元，未弥补亏损达股本总额的三分之一，该事项尚需提交公司股东会审议。未弥补亏损主要因2025年光伏行业供需失衡、市场竞争加剧，叠加原材料价格上行，公司业绩阶段性承压。公司已制定改善措施，包括专注核心业务、突破创新提升竞争力、提升规范运作水平等。

Southeast Asia’s extensive supply chains could be disrupted if it faces planned US tariffs over Washington’s accusations of forced labour in 60 economies, as analysts say the proposal is just a way for President Donald Trump to resurrect his trade levy agenda. Cambodia, Indonesia, Malaysia, the Philippines, Singapore, Thailand and Vietnam are among the economies flagged by the US for purportedly failing to prevent goods made with forced labour from reaching its market. Washington said the...

The capture in Utsunomiya comes as bear attacks have reached record levels across Japan.

The US military fired at an empty tanker for its suspected involvement in the Iranian oil trade this week as Washington continues to enforce a blockade of the Islamic Republic’s ports. An American fighter jet fired a precision munition into the Marivex’s engineering and steering spaces on Monday as it attempted to sail from the Gulf of Oman toward Iran, the US Central Command said . The ship was crewed by 24 Indian nationals , a government official in New Delhi said before the Centcom statement. Ship-tracking data showed the Marivex, which is falsely flagged to Madagascar, appeared to be trying to sail past the US’s blockade line that runs from the easternmost tip of Oman to the Iran-Pakistan border. In the past week, the vessel had twice sailed northeast along the Omani coast toward the line, where US warships are stationed, before turning around. The small tanker of around 12,800 deadweight tons is owned by Panama-based Arihant Shipping Inc., according to database Equasis. Arihant Shipping, and India’s foreign affairs and shipping ministries didn’t immediately respond to requests for comment. The vessel was sanctioned by the US Treasury Department under its previous name Arihant for transporting Iranian fuel oil and bitumen. Marivex recently delivered a cargo, believed to have loaded from the Iranian port of Shahid Rajaee, to Mangalore and Karwar in India, ship-tracking data from Kpler show. The US has been enforcing a blockade of ships sailing to and from Iranian ports since mid-April, as it seeks to increase pressure on Iran to end its own blockade of the Strait of Hormuz. So far, American forces have disabled seven non-compliant vessels and redirected 134 ships, the Central Command said. Iran exported 14 million tons of fuel oil last year, with most of it going to the United Arab Emirates, Kpler data show. The country also delivered 734,000 tons of bitumen asphalt, with nearly two-thirds of those volumes heading to China and India.

Companies In The News Are: CPB, FCEL, NRIX, WIX.

形式化定理证明，一直是LLM公认最严苛的推理试金石，每一步推导都必须通过Lean 4内核的机器验证。 近两年，开源社区在MiniF2F、PutnamBench等benchmark上的成绩持续上升，但增长路径越来越趋同：扩模型、扩数据、部署阶段叠加检索和多轮修正。 一个关键问题始终存在，检索信号、编译器反馈和失败修复，大多只在部署时作为外部流程接入，模型在训练阶段并没有系统学习如何利用这些信号，形成了 训练与部署之间的“策略错位” 。 为应对这一挑战， M-A-P开源社区 与 南京大学等团队 提出 OProver —— 一个将检索增强、编译器反馈与多轮修复直接内化到训练策略中的Lean 4定理证明框架。 在五个Lean 4 whole-proof prover评测中，OProver-32B取得三项第一、两项第二： MiniF2F（93.3）、ProverBench（58.2）、PutnamBench（11.3）领先 LongCat-Flash-Prover w/ TIR，并在全部五项评测中超越 671B 的 DeepSeek-Prover-V2。 研究团队同步开源1.76M条形式化陈述、6.80M编译器验证证明的OProofs语料库，以及8B/32B共7个模型权重。 代码、权重与训练脚本已全面开源。 策略错位：训练与部署之间的核心矛盾 近年来的Lean 4 prover系统（Goedel-Prover-V2、DeepSeek-Prover-V2、Kimina-Prover 等）在MiniF2F上已经把Pass@32推到较高水平，同时也有工作开始引入检索、编译器反馈或self-correction。 问题在于，这些信号主要作为部署阶段的增强流程，接在已经训练好的prover外部，而非从训练阶段就被纳入学习目标。 这就形成了错位： 训练阶段，模型主要看到清晰的theorem→verified proof监督对 部署阶段，系统却把检索到的相关证明、上一轮失败尝试和Lean编译器反馈重新提供给模型，要求进行多轮修复 OProver的核心思路，是让训练目标与部署时的证明过程对齐：让模型在训练阶段就学习如何执行agentic refinement loop，把多轮修正、检索相关证明和编译器反馈作为训练策略的一部分，而非部署阶段的外部包装。 轻量、可端到端训练 部署阶段：有限轮次修...

MANGOS typically refers to artificial intelligence leaders such as Meta, Anthropic, Nvidia, Google, OpenAI, and SpaceX.

Alexey_Fedoren Stock index futures were higher on Tuesday as tech stocks continued to recover, with SpaceX ( SPCX ) IPO set for Friday. Nasdaq 100 futures ( US100:IND ) rose 0.56%, S&P 500 futures ( SPX ) gained 0.39%, and Dow futures ( INDU ) edged up 0.12%. SpaceX is officially set to go public this week, on June 12, targeting a share price of $135. Oil prices eased as Iran and Israel said they had halted attacks on each other following an appeal from President Trump. On the economic calendar, International Trade in Goods and Services and Existing Home Sales reports are due. U.S. Treasury yields moved lower across the curve. The 10-year Treasury yield ( US10Y ) fell 1.2 basis points to 4.56%, the 2-year Treasury yield ( US2Y ) dipped 1 basis point to 4.16%, and the 30-year Treasury yield ( US30Y ) slipped 0.6 basis points to 5.03%. Top gainers in premarket trading included Qualcomm ( QCOM ) +3.17%, Arthur J. Gallagher ( AJG ) +2.32%, and IQVIA ( IQV ) +2.00%. Decliners included Solventum ( SOLV ) -9.33%, Targa Resources ( TRGP ) -4.97%, and Aon ( AON ) -4.05%. Community sentiment survey: Are you planning to buy the upcoming SpaceX IPO? Vote on our Community page . More on markets Mega IPOs Pose Leveraged Downside Risk For The Nasdaq 100 The Chip Stocks That Will Crack First Concentration, AI Disruption, And Earnings: What's Behind Recent Market Volatility Wall Street rises as tech recovers after selloff At a glance: stocks gapping up premarket

Warsh and the Federal Open Market Committee (FOMC) can drive the dagger into Trump's hopes for a rate cut at the June 17 meeting.

Key PointsJerome Powell's term as Fed chair ended on May 15, paving the way for Trump's handpicked successor to officially become head of the central bank on May 22.

龙净环保公告，公司于2026年6月8日召开董事会审议通过回购方案，计划以7000万元至1亿元回购股份，用于员工持股计划或股权激励。2026年6月9日，公司首次通过集中竞价交易方式回购股份184.17万股，占总股本0.1450%，回购最高价格16.8元/股，最低价格16.5元/股，已回购金额3059.41万元（不含交易费用）。

Sandi Smolker/iStock Editorial via Getty Images Bombardier ( BDRBF ) is expanding its aerospace infrastructure footprint in Asia, announcing a massive ~250,000-square-foot expansion of its Singapore service hub. The new facility is scheduled to break ground in 2026 and is expected to fully open for maintenance operations by H2 2028. The new sustainability-focused facility, representing a total planned investment of approximately $100 million SGD, will further expand Bombardier’s footprint in Asia-Pacific and enhance care and convenience for customers, the company said in a statement. More on Bombardier Inc. Bombardier Inc. (BBD.B:CA) Shareholder/Analyst Call Prepared Remarks Transcript Bombardier: From Turnaround To A Shareholder Returns Story Bombardier Inc. (BBD.B:CA) Q1 2026 Earnings Call Transcript Bombardier launches $500M senior notes offering to refinance 2029 debt Bombardier reports mixed Q1 results; updates FY26 free cash flow outlook

Play BBC Sport's new World Cup predictor game to be in with the chance of winning a signed football.

完！全！暴！露！——山姆·奥特曼。 OpenAI也是玩上A社《超级大泄露》那一套了，自曝已经提交 IPO申请 ！ “我们最近交了一份保密版S-1，估计这事儿早晚得泄露，不如我们自己先暴露。（doge）” 几乎同一天一起被「主动暴露」的。 还有奥特曼和OpenAI首席科学家Jakub Pachocki联合撰写的重磅长文—— 《Built to benefit everyone: our plan》 。 长期路线、组织使命、AI基础设施、AGI愿景，一口气全摆上桌。 OpenAI进入「第三阶段」的战略蓝图，来了！ 这边，人家Anthropic一周前就交了保密S-1。 那边，SpaceX预计这周就要敲钟了。 OpenAI这波操作，看得出来，估计是真没招了… 已交IPO申请，要让人人都能实现AGI 就在外界还对OpenAI的IPO传闻半信半疑之际，人家索性自己摊牌了。 OpenAI官方下场直接说了，最近自家向SEC提交了一份 保密版S-1 ，也就是IPO的申请文件。 这份保密文件可以说是IPO的关键前奏，这意味着OpenAI已正式启动上市准备程序。 但话锋一转，OpenAI又玩起了「进可攻、退可守」的经典操作： IPO上市可能还需要一段时间，我们有些关键事情作为私有公司更好办。 但如果最终证明这是最佳方案，我们相信可以更快地转为上市公司的！ 冷的热的，好话赖话，也是全被它说了…… 自曝一波又一波。 与这则IPO消息同一天重磅发布的，还有Sam Altman和首席科学家Jakub Pachocki联手撰写的战略长文—— 《Built to benefit everyone: our plan》。 这篇文章堪称OpenAI的「第三阶段」宣言，也是一份递给全世界的野心说明书。 整个长文的核心理念就是—— AI必须广泛赋权而非集中权力 。 OpenAI把自己的发展明确划分成了三个阶段。 第一阶段，是专注AGI基础研究；第二阶段，是推出ChatGPT，在真实世界里快速迭代、持续学习。 而现在，OpenAI已经全面进入 第三阶段 ，那就是让先进AI变得丰富、实惠、安全、实用且易用，让每一个人和组织真正受益。 而这篇文章，也直接露出了OpenAI目前的三大目标—— 构建自动化AI研究员： 到2028年，AI将与人类协同完成大量研究工作，加速对齐等关键难题突破。 加速经济： 推动科学、生产...