110,837 Shares in Amazon.com, Inc. $AMZN Purchased by Linden Rose Investment LLC MarketBeat

格隆汇6月9日｜瑞银将康明斯的目标价从565美元上调至850美元，评级从“中性”上调至“买入”。(格隆汇)

Key PointsWith inflation accelerating, investors expect the Federal Reserve to raise interest rates by a half percentage point in the next 15 months.

格隆汇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万元（不含交易费用）。