格隆汇5月26日｜据新智元，数学界这个月，彻底疯了。前脚OpenAI刚把Erdős 80年猜想推翻，数学家们的惊呼声还没落地。紧接着，Google DeepMind发布了一个全新AI数学智能体——AlphaProof Nexus。 它一出手，就干掉了9道悬而未决几十年的Erdős开放问题。其中最古老的那个，悬了整整56年！而且，每道题花费的算力成本，只有几百美元。更关键的是，这次的证明不可能有错。每一步推理都经过Lean编译器的形式化验证，不存在幻觉空间。编译器通过，证明就是对的。 除了Erdős问题，AlphaProof Nexus还在OEIS猜想、代数几何、凸优化、图论、量子光学等多个数学分支中取得了实质性突破。

格隆汇5月26日｜煤炭曾经占全球电力结构的40%以上，但随着可再生能源成本的下降和清洁能源投资的增加，世界电力系统正在稳步重塑。根据全球能源智库Ember的数据，2025年可再生能源发电量达10,730太瓦时(TWh)，占全球总发电量的33.8%，自1919年以来首次超过煤炭。过去十年，可再生能源在全球发电量中的占比增长了近11个百分点，从2015年的23.0%上升至2025年的33.8%。

格隆汇5月26日｜A股三大指数今日涨跌不一，上证指数收跌0.17%，创业板指涨0.54%。科创50指数跌1.49%。半导体、算力硬件产业链全线下挫，光刻机、CPO、存储器方向领跌。商业航天、特高压、AI应用、光伏题材跌幅靠前。有色金属、化工、券商板块走强，PCB、宇树机器人概念股活跃。市场逾4000股下跌。 今日有色金属、黄金及港股科技板块逆势走强，相关ETF涨幅显著，与有色金属、PCB、机器人题材活跃行情高度联动： 有色金属与矿业板块：工业有色ETF万家（560860）大涨3.79%，领涨全市场；有色ETF鹏华（159880）上涨3.51%，有色金属ETF南方（512400）上涨3.46%，矿业ETF国泰（561330）上涨3.45%，黄金股ETF永赢（517520）上涨3.38%，有色金属ETF华夏（516650）上涨3.10%，有色ETF华宝（159876）上涨2.85%，资源ETF博时（510410）上涨2.37%，工业金属、黄金、矿业题材集体走强，成为市场领涨主线。港股科技板块：港股通科技ETF广发（159262）上涨2.65%，港股通科技ETF汇添富（520980）上涨2.48%，港股科技题材同步活跃。 今日商业航天、半导体设备、电网设备及AI应用板块集体大幅下挫，相关ETF跌幅居前，与半导体、算力硬件产业链调整，商业航天、特高压题材跌幅靠前形成联动，市场逾4000股下跌： 商业航天与卫星通信板块：卫星ETF永赢（159206）大跌3.88%，卫星ETF富国（563230）下跌2.79%，商业航天、卫星通信题材集体大幅走弱。港股信息技术板块：港股通信息技术ETF华宝（159131）下跌3.81%，港股科技、CPO题材同步大幅回调。电网设备与特高压板块：电网设备ETF华夏（159326）下跌3.09%，电网设备ETF国泰（561380）下跌2.94%，特高压题材集体大幅走弱。半导体设备与科创芯片板块：科创芯片设计ETF国联安（588780）下跌2.89%，半导体设备ETF国泰（159516）下跌2.81%，光刻机、存储器题材同步大幅调整。通用航空与信息安全板块：通用航空ETF永赢（159378）下跌2.88%，航空航天ETF华泰柏瑞（563380）下跌2.65%，信息安全ETF易方达（562920）下跌2.62%，AI应用、通用航空题材集体下挫。

格隆汇5月26日｜伊朗最高领袖穆杰塔巴·哈梅内伊：区域国家将不再是美国基地的保护伞，美国在中东将不再有安全据点。伊朗与本地区各国拥有许多共同的潜力和利益，这些将塑造本地区乃至世界的新秩序和未来格局。呼吁各国与伊朗携手合作，共同为伊斯兰民族的进步和解决伊斯兰世界的问题而努力。

格隆汇5月26日｜综合市场消息，科技界年度盛事“台北国际电脑展”将在6月初举行，作为主题演讲嘉宾之一、英伟达CEO黄仁勋周日(24日)晚间现身台北饶河夜市扫街，一路品尝各式台湾小吃，保罗烤玉米、烤鱿鱼、香肠及刨冰，并与群众挥手互动及自拍。 英伟达在社交平台发帖文称：“没有去夜市，台北之旅就不算完整”，并分享黄仁勋身穿招牌皮衣、与芒果冰的合照，以及他在餐厅的厕所墙上留下“Jensen was here(黄仁勋到此一游)”签名的照片。 有台媒指，黄仁勋此次访台将停留两周，创最长纪录，行程包括出席英伟达的台北开发者大会“NVIDIA GTC Taipei 2026”、位于北投士林科技园区英伟达海外总部动工典礼，以及主持台湾供应商高层的“兆元宴”。