伊朗与以色列互袭，危及美国支持的停火协议，双方无视特朗普降级呼吁，中东局势急剧升级。 以色列袭击伊朗首都德黑兰及伊斯法罕，发生爆炸；此前以军空袭黎巴嫩贝鲁特致2死20伤，冲突急剧升级。 以色列与伊朗在停火后首次互相攻击对方领土，伊朗发射导弹，以色列反击，引发全面冲突担忧。

Iran and Israel exchange airstrikes, putting US-backed ceasefire in jeopardy

• Tags: 中东局势 伊朗以色列冲突 地缘风险 美国外交

• Source: POLITICO Europe | 阅读原文

[摘要]
伊朗与以色列互袭，危及美国支持的停火协议，双方无视特朗普降级呼吁，中东局势急剧升级。

Iran war live: Explosions in Tehran, Isfahan as Israel launches attacks

• Tags: 中东局势 以色列-伊朗冲突 军事袭击 地缘风险

• Source: Al Jazeera | 阅读原文

[摘要]
以色列袭击伊朗首都德黑兰及伊斯法罕，发生爆炸；此前以军空袭黎巴嫩贝鲁特致2死20伤，冲突急剧升级。

Israel, Iran trade fire in first clash since truce

• Tags: 中东局势 伊朗以色列冲突 军事升级

• Source: France 24 English | 阅读原文

[摘要]
以色列与伊朗在停火后首次互相攻击对方领土，伊朗发射导弹，以色列反击，引发全面冲突担忧。

以军再次监测到伊朗导弹来袭 耶路撒冷响起防空警报

• Tags: 以色列 伊朗 中东局势 军事冲突

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
伊朗向以色列发射多轮导弹，耶路撒冷响起防空警报，以军拦截所有来袭导弹，中东局势急剧升级。

伊朗再次向以色列发射导弹，以多地拉响防空警报

• Tags: 中东局势 伊以冲突 军事风险 弹道导弹

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
伊朗向以色列发射弹道导弹，以色列全国多地拉响防空警报，中东紧张局势急剧升级。

Iran and Israel trade threats after Tehran launches missiles

• Tags: 中东局势 伊以冲突 军事风险

• Source: Al Jazeera | 阅读原文

[摘要]
伊朗向以色列发射导弹报复以军空袭贝鲁特，双方互发威胁，中东冲突风险显著升级。

以伊局势升级：以色列拦截伊朗多波导弹，特朗普呼吁重返谈判桌

• Tags: 中东局势 以伊冲突 军事冲突 地缘风险

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
伊朗伊斯兰革命卫队用弹道导弹袭击以色列北部空军基地，以色列拦截多波导弹，局势严重升级，特朗普呼吁谈判。

Will Iran give up on ceasefire talks as strait of Hormuz blockade continues?

• Tags: 中东局势 伊朗-以色列冲突 能源安全 霍尔木兹海峡

• Source: The Guardian World | 阅读原文

[摘要]
伊朗强硬派在霍尔木兹海峡封锁持续下推动放弃与美停火谈判，冲突扩大至胡塞武装，中东危机面临转折点。

French NATO jet shoots down drone over Latvia as another explodes in Moldova

• Tags: 俄乌战争 北约东欧 无人机侵界 欧洲安全

• Source: France 24 English | 阅读原文

[摘要]
法国北约战机在拉脱维亚击落一架从俄罗斯进入的无人机，同日另一架来自乌克兰的无人机在摩尔多瓦爆炸，显示俄乌战争外溢风险。

Israel and Iran exchange strikes as Middle East crisis threatens to escalate

• Tags: 中东局势 伊朗 以色列 军事冲突

• Source: The Guardian World | 阅读原文

[摘要]
以色列与伊朗首轮直接交火，伊朗导弹袭击以色列，以军空袭报复，胡塞武装加入攻击，中东面临全面战争风险。

伊朗多地响起爆炸声 以军称攻击伊朗境内目标

• Tags: 中东局势 伊以冲突 美伊关系 军事风险

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
以色列空袭伊朗西部和中部军事目标，伊朗多地爆炸并向以色列发射导弹反击，美国呼吁停火谈判，局势急剧升级。

Video: Israel claims strike on Iranian petrochemical complex

• Tags: 中东局势 以色列-伊朗冲突 能源安全 军事冲突

• Source: Al Jazeera | 阅读原文

[摘要]
以色列声称对伊朗胡齐斯坦省马赫沙赫尔石化综合体发动袭击，视频显示浓烟升起。

外媒：叙利亚和伊拉克暂时关闭领空

• Tags: 中东局势 伊以冲突 领空关闭 地区安全

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
伊朗向以色列发射弹道导弹，叙利亚和伊拉克随即宣布临时关闭领空，中东局势急剧升级。

More than half of staff who died in service worked in Gaza, UN chief says at memorial

• Tags: 中东局势 巴以冲突 国际组织 人道主义风险

• Source: UN News | 阅读原文

[摘要]
联合国秘书长在年度纪念活动中表示，2025年因公殉职的136名联合国工作人员中，超过一半在加沙遇难，凸显加沙冲突的严重性和人道主义风险。

欧盟制裁伊朗革命卫队海军及石油出口代表

• Tags: 欧盟外交 伊朗制裁 霍尔木兹海峡 能源安全

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
欧盟制裁伊朗革命卫队海军及石油出口代表，回应伊朗封锁霍尔木兹海峡举动，并计划增强在霍尔木兹海峡的军事存在，影响全球能源安全。

Canonical为Ubuntu 26.10测试基于x86-64-v3微架构的软件包，利用AVX/AVX2等指令提升现代Intel/AMD CPU性能，可显著提高计算密集型任务效率。 Redox OS本月里程碑：Xfce桌面环境成功移植；COSMIC桌面环境新Monitor应用适配；实现EEVDF调度器与RedoxFS inode缓存，提升系统性能。 Scu…

Canonical Experimenting With x86-64-v3 Packages For Ubuntu 26.10

• Tags: 操作系统 架构优化 Linux发行版

• Source: Phoronix | 阅读原文

[摘要]
Canonical为Ubuntu 26.10测试基于x86-64-v3微架构的软件包，利用AVX/AVX2等指令提升现代Intel/AMD CPU性能，可显著提高计算密集型任务效率。

Xfce ported to Redox OS

• Tags: 操作系统 Rust 开源项目 桌面环境

• Source: OSNews | 阅读原文

[摘要]
Redox OS本月里程碑：Xfce桌面环境成功移植；COSMIC桌面环境新Monitor应用适配；实现EEVDF调度器与RedoxFS inode缓存，提升系统性能。

TOTP-based two-factor authentication for Sculpt OS

• Tags: 操作系统 安全 开源项目

• Source: OSNews | 阅读原文

[摘要]
Sculpt OS 主要开发者 Norman Feske 实现基于 TOTP 的双因素认证工具，用于系统安全登录，支持 Genode 项目从 GitHub 迁移至 Codebrg 的需求。

Linux 7.2 To Add ACPI CPPC v4 Support Authored By NVIDIA

• Tags: Linux内核 ACPI 电源管理 硬件支持

• Source: Phoronix | 阅读原文

[摘要]
Linux 7.2 内核将引入ACPI CPPC v4支持，由NVIDIA工程师贡献，助力NVIDIA Vera芯片的电源与性能管理。

AI 威胁数十亿人的自然资源

• Tags: 数据中心 AI能耗 环境成本

• Source: Solidot | 阅读原文

[摘要]
联合国大学报告量化AI能耗环境成本：2030年数据中心年耗电945TWh，用水相当于13亿人年需，训练GPT-5需100GWh电，推理占AI总能耗80%-90%。

Linux 7.1 Helping Intel Arc Battlemage Graphics Achieve Better Performance

• Tags: Linux内核 显卡驱动 性能优化

• Source: Phoronix | 阅读原文

[摘要]
Linux 7.1内核即将发布，性能测试显示其对Intel Arc B580 Battlemage显卡支持优于7.0内核，带来图形性能提升。

2025 年国际 Ｃ语言混乱代码大赛公布获奖结果

• Tags: C语言 开源项目 虚拟机 编程竞赛

• Source: Solidot | 阅读原文

[摘要]
第29届IOCCC获奖作品公布：包含GBA模拟器、仅366字节可运行DOOM的虚拟机等极致创意C代码，展示极限编程与虚拟化技术。

Flatpak 1.18 Released With Integration For AMD ROCm

• Tags: 开源项目 Linux桌面 沙盒技术 GPU计算

• Source: Phoronix | 阅读原文

[摘要]
Flatpak 1.18发布，集成AMD ROCm支持，增强开源应用沙盒与分发技术。

Kernel prepatch 7.1-rc7

• Tags: Linux内核 开源项目 版本发布

• Source: LWN.net | 阅读原文

[摘要]
Linux内核7.1-rc7发布，Linus称这可能为最后一个候选版本，即将进入正式发布阶段。

Running CachyOS With The BORE Scheduler While Disabling Ananicy-CPP

• Tags: Linux内核 调度器 性能优化 开源项目

• Source: Phoronix | 阅读原文

[摘要]
CachyOS测试BORE调度器，禁用Ananicy-CPP后改善游戏卡顿，性能基准结果待分析。

AMD Support Being Added To UFS Host Controller PCI Driver In Linux 7.2

• Tags: Linux内核 驱动开发 硬件支持

• Source: Phoronix | 阅读原文

[摘要]
Linux 7.2的UFS主机控制器PCI驱动首次添加AMD设备支持，扩展了兼容性。

BeagleV Ahead & Lichee Pi 4a RISC-V Boards To See Working WiFi With Linux 7.2

• Tags: RISC-V芯片 Linux内核 硬件驱动 开源项目

• Source: Phoronix | 阅读原文

[摘要]
Linux 7.2 内核通过设备树更新为 BeagleV Ahead 和 Lichee Pi 4a RISC-V 开发板添加 WiFi 支持，推动 RISC-V 硬件生态完善。

Linux 7.1-rc7 Released: Stable Hopefully Next Sunday

• Tags: 操作系统 Linux内核 开源项目

• Source: Phoronix | 阅读原文

[摘要]
Linux 7.1-rc7发布，体积较上一版仍大但已缩小，Linus计划下周发布稳定版。

Xfce Ported To Rust-Written Redox OS For Better X11 Experience

• Tags: 操作系统 Rust 桌面环境 开源项目

• Source: Phoronix | 阅读原文

[摘要]
Rust编写的Redox OS在5月取得进展，成功移植Xfce桌面环境，改善了X11图形体验。

习近平与金正恩在平壤举行会谈，就中朝关系发展提出四点意见，强调传统友谊与战略协作。 习近平抵达平壤开始对朝鲜进行国事访问，朝方礼宾摩托车队护卫驶过凯旋门。 习近平乘专机抵达平壤开始对朝鲜进行国事访问，朝方以礼宾摩托车队等高规格礼遇迎接。

详讯丨习近平同金正恩举行会谈

• Tags: 外交事件 中朝关系 政治外交

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
习近平与金正恩在平壤举行会谈，就中朝关系发展提出四点意见，强调传统友谊与战略协作。

朝方礼宾摩托车队护卫驶过凯旋门

• Tags: 时政外交 重大外事活动

• Source: 百度实时热搜 | 阅读原文

[摘要]
习近平抵达平壤开始对朝鲜进行国事访问，朝方礼宾摩托车队护卫驶过凯旋门。

朝方高规格礼遇 礼宾摩托车队护卫

• Tags: 时政外交 重大活动

• Source: 百度实时热搜 | 阅读原文

[摘要]
习近平乘专机抵达平壤开始对朝鲜进行国事访问，朝方以礼宾摩托车队等高规格礼遇迎接。

美以围绕伊朗战争分歧加剧之际，美国被曝将以色列间谍威胁升至最高级别

• Tags: 国际关系 间谍事件 美以关系 地缘政治

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
美方将以色列间谍威胁升至最高级别，担忧以监听涉伊和谈官员，美以分歧加剧。

习近平在朝鲜媒体发表署名文章

• Tags: 外交活动 中朝关系 元首外交

• Source: 百度实时热搜 | 阅读原文

[摘要]
习近平在朝鲜《劳动新闻》发表署名文章，续写中朝传统友谊新篇章。

“聊天已死”？OpenAI拟大改ChatGPT，打造超级AI应用

• Tags: 科技舆情 商业争议 平台治理

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
OpenAI计划将ChatGPT从聊天机器人转型为集编码、AI智能体和第三方服务于一体的超级应用，意在提升商业化能力并应对Anthropic竞争。

三峡水运新通道开工

• Tags: 国家工程 基础设施 交通建设

• Source: 百度实时热搜 | 阅读原文

[摘要]
三峡水运新通道开工，总投资772亿元，为“十五五”首个重大标志性工程。

“李华 我再也不用见到你了”

• Tags: 社会事件 文娱热点 教育医疗

• Source: 百度实时热搜 | 阅读原文

[摘要]
2026年高考结束，考生受访称发挥好，感叹再也不用见到英语作文中的李华，话题引热议。

文科生的春天又回来了吗

• Tags: 科技舆情 劳动职场 教育医疗

• Source: 百度实时热搜 | 阅读原文

[摘要]
AI行业对文科生需求增加，催生新岗位但门槛提升，专家建议提升能力。

亚太股市遭遇“黑色星期一”

• Tags: 经济舆情 金融市场 国际形势

• Source: 百度实时热搜 | 阅读原文

[摘要]
亚太股市6月8日遭遇黑色星期一，全线重挫，韩国股市触发熔断机制，受美股下跌及中东局势影响。

A股收盘 沪指跌1.7%失守4000点

• Tags: 金融市场 经济舆情 股市波动

• Source: 百度实时热搜 | 阅读原文

[摘要]
A股大跌，沪指失守4000点，创业板指跌超3%，成交额缩量，引发市场广泛关注。

中纪委连打两虎

• Tags: 反腐败 纪检监察 公共事件

• Source: 百度实时热搜 | 阅读原文

[摘要]
中纪委同日通报新疆原副主席陈伟俊、国资委原副部长潘良被开除党籍公职，再打两虎。

人民锐评：近期出圈的三件事，得放一起看看

• Tags: 社会事件 热点评论 劳动职场 教育医疗

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
人民锐评点评近期出圈三件事：摩托车修理工张雪、导演蓝鸿春、解说员董路逆袭故事，强调个人努力与时代机遇的双向奔赴。

ChatGPT将迎史上最大改版，从单一聊天变身“超级应用”

• Tags: 科技舆情 商业争议 产业趋势

• Source: 36氪热榜 | 阅读原文

[摘要]
OpenAI将ChatGPT史上最大改版，转型为整合编程工具和智能体的“超级应用”，以拓宽营收应对盈利压力。

传销头子涉案近38亿 出狱再骗10个亿

• Tags: 社会事件 法治报道 传销犯罪

• Source: 百度实时热搜 | 阅读原文

[摘要]
前传销头目唐某男出狱后再以数字化转型为幌子骗10亿，发展会员32万余人，上海警方破获。

OpenAI公布路线图，计划到2028年3月由AI主导大部分研究，目标包括构建自动AI研究员、加速科学产出并实现个人AGI，展现前沿AGI战略愿景。 苹果发布第三代Apple Foundation Models基础模型家族，与Google合作定制，覆盖设备端到云端，驱动Apple Intelligence功能，以隐私为核心设计。 RASFT提出自适应的监督微…

OpenAI计划到2028年由AI主导研究

• Tags: 公司动态 大模型 AI安全

• Source: AI HOT 精选 | 阅读原文

[摘要]
OpenAI公布路线图，计划到2028年3月由AI主导大部分研究，目标包括构建自动AI研究员、加速科学产出并实现个人AGI，展现前沿AGI战略愿景。

苹果发布第三代 Apple Foundation Models（AFM）

• Tags: 模型发布 大模型 公司动态 AI安全

• Source: AI HOT 精选 | 阅读原文

[摘要]
苹果发布第三代Apple Foundation Models基础模型家族，与Google合作定制，覆盖设备端到云端，驱动Apple Intelligence功能，以隐私为核心设计。

RASFT: Rollout-Adaptive Supervised Fine-Tuning for Reasoning

• Tags: 训练方法 推理优化 大模型

• Source: arXiv Computation and Language | 阅读原文

[摘要]
RASFT提出自适应的监督微调框架，根据模型对问题的求解能力调整监督信号，在数学和代码推理任务上超越SFT与强化学习方法，是训练方法的重要改进。

OffQ: Taming Structured Outliers in LLM Quantization by Offsetting

• Tags: 模型量化 推理优化 低比特量化 LLM

• Source: arXiv Computation and Language | 阅读原文

[摘要]
OffQ提出偏移机制处理LLM量化中激活异常值，实现W4A4KV4高效量化，性能优于现有方法，有助于低比特推理加速。

MemDreamer: Decoupling Perception and Reasoning for Long Video Understanding via Hierarchical Graph Memory and Agentic Retrieval Mechanism

• Tags: 多模态 智能体 视频理解 模型发布

• Source: arXiv Computation and Language | 阅读原文

[摘要]
MemDreamer提出分层图记忆与智能体检索机制，解决长视频理解中token爆炸与注意力稀释问题，在主流基准上达到SOTA，推理上下文窗口仅2%，准确率提升12.5点。

The Piggyback Hypothesis of Generalization: Explaining and Mitigating Emergent Misalignment

• Tags: 大模型 AI安全 微调对齐

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出“搭便车假设”解释大模型微调后出现突现错位的原因，并设计TReFT正则化方法有效缓解该问题，为安全微调提供新视角。

Train Models Faster with JAX and MaxText Using NVFP4 on NVIDIA Blackwell

• Tags: 训练加速 推理优化 芯片算力 开源框架

• Source: NVIDIA Technical Blog - Generative AI | 阅读原文

[摘要]
NVIDIA推出在Blackwell架构上使用NVFP4（4位浮点）结合JAX/MaxText加速大模型预训练的方法，可大幅提升吞吐量，对算力与训练优化有重要影响。

VoxCPM2 技术报告发布

• Tags: 模型发布 语音生成 开源生态 多模态

• Source: AI HOT 精选 | 阅读原文

[摘要]
面壁智能发布VoxCPM2语音生成模型，2B参数，支持30种语言和9种中文方言，基于200万小时数据训练，实现SOTA性能，已开源。

Self-Consistency from Only Two Samples: CoT-PoT Ensembling for Efficient LLM Reasoning

• Tags: 推理优化 模型发布 大模型

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出 CoT-PoT 混合集成方法，仅需两个样本即可实现自一致性推理，计算成本降低 9.3 倍，大幅提升 LLM 推理效率。

AAAC: Activation-Aware Adaptive Codebooks for 4-bit LLM Weight Quantization

• Tags: 模型压缩 推理优化 量化 LLM

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出AAAC方法，通过激活感知自适应码本实现4位LLM权重量化，3-30分钟完成，零存储开销，多个模型上精度超越现有方法，显著提升推理效率。

Perplexity与哈佛：AI智能体提效87%降本94%

• Tags: 智能体 研究发布 效率提升

• Source: AI HOT 精选 | 阅读原文

[摘要]
Perplexity与哈佛大学联合研究显示，AI自主智能体相比传统搜索提升87%效率并降低94%成本，知识工作模式迎来重大变革。

Runway Aleph 2.0 编辑模型：一键适配任意视频格式

• Tags: 模型发布 视频生成 产品更新

• Source: AI HOT 精选 | 阅读原文

[摘要]
Runway发布Aleph 2.0编辑模型，可将视频一键适配任意宽高比并智能填充场景，提升视频格式兼容性与创作效率。

NotebookLM重大升级：智能体能力与高级推理

• Tags: 产品发布 智能体 AI应用

• Source: AI HOT 精选 | 阅读原文

[摘要]
Google NotebookLM重大升级，新增智能体能力和高级推理，针对复杂多步骤研究问题，仅对AI Ultra订阅者开放。

为生物学AI智能体铺路

• Tags: 智能体 AI for Science 数据基础设施

• Source: AI HOT 精选 | 阅读原文

[摘要]
实验发现Claude、Biomni等科研智能体从病毒学数据库检索序列准确率低，加入确定性检索层gget virus后接近100%，揭示生物学数据碎片化问题，为AI智能体可靠应用奠定基础。

微信AI Agent生态曝光：嵌入小程序调用与手机厂商合作

• Tags: 智能体 产品发布 公司动态

• Source: AI HOT 精选 | 阅读原文

[摘要]
腾讯微信正测试AI Agent，可调用小程序完成任务并与多家手机厂商合作，推动Agentic Commerce生态发展。

小米 MiMo-V2.5-Pro-UltraSpeed 突破 1，000 tokens/s，单台 8-GPGPU 节点运行 1T MoE 模型

• Tags: 推理优化 模型发布 公司动态 芯片算力

• Source: AI HOT 精选 | 阅读原文

[摘要]
小米推出MiMo-V2.5-Pro-UltraSpeed，首次在单台8-GPGPU节点上实现1万亿参数MoE模型超1000 tokens/s推理速度，大幅提升产出效率并开放限时免费体验。

开源社区支持 OpenEnv 用于智能体强化学习

• Tags: 智能体 强化学习 开源生态 基础设施

• Source: AI HOT 精选 | 阅读原文

[摘要]
Hugging Face宣布OpenEnv项目进一步开放，获PyTorch Foundation、vLLM等支持，标准化智能体执行环境，推动开源智能体强化学习基础建设。

AgentScope Java 2.0 发布

• Tags: 开源生态 智能体 产品发布

• Source: AI HOT 精选 | 阅读原文

[摘要]
阿里云发布AgentScope Java 2.0，企业级AI智能体框架，支持分布式架构、多租户隔离与安全执行，提升生产环境可用性。

微软AI CEO：超级智能即将到来，但不会取代你的工作

• Tags: 公司动态 大模型 模型发布

• Source: AI HOT 精选 | 阅读原文

[摘要]
微软AI CEO称超级智能即将到来但不会取代工作，透露与OpenAI新合同并获准独立研究，Build大会发布7个全模态新模型。

NVIDIA与LG集团合作建设AI工厂，加速物理AI与自动驾驶

• Tags: 公司动态 物理AI 自动驾驶 机器人

• Source: AI HOT 精选 | 阅读原文

[摘要]
NVIDIA与LG集团合作建设AI工厂，整合Isaac Sim、DRIVE等平台，加速机器人仿真、自动驾驶与AI基础设施落地。

构造绝对F1-算术曲线，统一p-adic Hodge理论、复解析几何与adelic scaling site，实现Scholze启发式的特征无关几何，揭示Weil群与Tate曲线的联系。 论文揭示长程可积自旋链形变的量子群结构，证明形变是代数扭变，Drinfeld结合子编码长程相互作用，构造了Lax算子和R-矩阵。 定义了带线缺陷和点缺陷3流形的skein模…

On the Absolute Geometry of $\operatorname{Spec}\mathbf{Z}$

• Tags: 算术几何 p-adic Hodge理论 F1几何 代数数论

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
构造绝对F1-算术曲线，统一p-adic Hodge理论、复解析几何与adelic scaling site，实现Scholze启发式的特征无关几何，揭示Weil群与Tate曲线的联系。

The quantum group structure of long-range integrable deformations

• Tags: 量子群 可积系统 自旋链 数学物理

• Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
论文揭示长程可积自旋链形变的量子群结构，证明形变是代数扭变，Drinfeld结合子编码长程相互作用，构造了Lax算子和R-矩阵。

Defects in skein theory and TQFT

• Tags: 低维拓扑 量子拓扑 TQFT skein理论

• Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
定义了带线缺陷和点缺陷3流形的skein模，并证明其与Reshetikhin-Turaev缺陷TQFT态空间同构，推广了经典skein理论。

Nonlinear sigma models, antiperiodic boundary conditions, spin chains, and 't Hooft anomalies

• Tags: 数学物理 拓扑场论 自旋链 't Hooft异常

• Source: arXiv Cond-Mat.Stat-Mech - Statistical Mechanics | 阅读原文

[摘要]
论文研究SU(2)反铁磁自旋链与O(3)非线性sigma模型的对应，发现当拓扑项系数为π模2π时，Z₂规范对称导致't Hooft异常，影响模不变性和基态动量。

Log purity, torsors on root stacks and log Nori fundamental group

• Tags: 代数几何 对数几何 基本群 栈理论

• Source: arXiv Math.AG - Algebraic Geometry | 阅读原文

[摘要]
推广Fujiwara-Kato-Mochizuki对数纯度定理到Kummer对数平坦拓扑下的torsors，通过根层给出栈理论解释，并构造对数Nori基本群概形。

A Temporal Spatial Minimax Rate for Smoothly-Varying Distributions in Wasserstein Space

• Tags: 最优传输 Wasserstein空间 极小极大率 非参数统计

• Source: arXiv Stat.TH - Statistics Theory | 阅读原文

[摘要]
研究Wasserstein空间中从过去噪声快照估计未来平滑变化分布的时空极小极大率，给出统一下界和部分上界，结合时间外推与空间估计。

Minimizing clusters with prescribed asymptotic geometry

• Tags: 几何分析 变分法 最小簇 面积最小化锥

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
构造了渐近于指定奇异面积最小化锥的局部最小化(1,2)-簇，验证了广义Simons锥等能量界，解决了锥实现问题并改进了维数上限。

Euler Immersion

• Tags: 偏微分方程 流体-结构相互作用 适定性 解析空间

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
研究弹性体浸没在无粘不可压缩流体中的Euler浸没问题，证明在速度匹配边界条件下解析空间中的局部适定性，并给出反例说明存在性失败。

Almost Sure Bounds for Discrepancies of Linear Forms on the Circle

• Tags: 差异理论 丢番图逼近 傅里叶分析

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
研究圆上线性形式序列的差异，证明对几乎处处无理向量，最大差异达到最优阶(log N)^d，提供Beck定理的对偶版本。

Effective bounds for adelic Galois representations attached to elliptic curves over the rationals

• Tags: 数论 椭圆曲线 Galois表示 有效界

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
针对Q上无复乘椭圆曲线，给出adelic Galois表示像指数的显式有效上界，并分类Cartan正规化子情形，改进先前工作。

Almost covering all the layers of hypercube with multiplicities

• Tags: 组合几何 多项式方法 超立方体 覆盖问题

• Source: arXiv CS.DM - Discrete Mathematics | 阅读原文

[摘要]
给出了多项式零点重数条件下超立方体分层覆盖的下界，构造了达到下界的超平面族，并否证了Venkitesh关于超立方体对称子集精确覆盖的猜想，同时引入新的复杂度指标“指数复杂度”。

Gamma conjecture II via global Gamma-I

• Tags: 代数几何 量子上同调 Fano流形

• Source: arXiv Math.AG - Algebraic Geometry | 阅读原文

[摘要]
在Fano流形上定义全局Gamma-I性质，证明其连通性，并以此建立Gamma猜想II的策略型定理，应用于del Pezzo曲面。

The topology of local quaternionic toric actions

• Tags: 拓扑学 环面作用 谱序列 四元数几何

• Source: arXiv Math.AT - Algebraic Topology | 阅读原文

[摘要]
本文研究局部四元数环作用流形的拓扑，将经典环面拓扑方法推广到四元数情形，构造谱序列并发展四元数Meyer符号公式。

Hidden Convexity in Queueing Models

• Tags: 优化 概率论 队列理论 凸分析

• Source: arXiv Math.OC - Optimization and Control | 阅读原文

[摘要]
在队列控制问题中识别隐藏凸性，通过变量变换得到凸重构，建立PLK条件保证一阶方法全局收敛，并证明期望队列长度在平方根变换下的新凸性性质。

A Comparison of cluster algebra structures arising from $i$-boxes and Demazure weaves

• Tags: 簇代数 表示论 代数群 编织簇

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
比较了辫子群正元素相关的两个簇代数结构，构造Demazure编织并证明代数同构，建立了PBW向量与坐标的对应，与monoidal分类相关。

伊朗向以色列发射导弹，德黑兰民众庆祝，中东局势急剧升级，可能引发更大规模冲突。 美以对伊朗战争持续100天，从人员伤亡到全球经济影响，深度重塑中东与全球地缘格局。 伊朗革命卫队向以色列发射导弹，称是对贝鲁特袭击越过红线的警告，中东冲突急剧升级。

Celebrations seen in Tehran as missiles fly overhead towards Israel

• Tags: 中东局势 伊朗 以色列 军事冲突

• Source: Al Jazeera | 阅读原文

[摘要]
伊朗向以色列发射导弹，德黑兰民众庆祝，中东局势急剧升级，可能引发更大规模冲突。

Iran war 100 days: How the conflict impacted Iran and the world

• Tags: 中东局势 伊朗战争 美以冲突 地缘风险

• Source: Al Jazeera | 阅读原文

[摘要]
美以对伊朗战争持续100天，从人员伤亡到全球经济影响，深度重塑中东与全球地缘格局。

Iran fires missiles at Israel after Beirut attack ‘crossed all red lines’

• Tags: 中东冲突 伊朗 以色列 地缘风险

• Source: Al Jazeera | 阅读原文

[摘要]
伊朗革命卫队向以色列发射导弹，称是对贝鲁特袭击越过红线的警告，中东冲突急剧升级。

Middle East crisis live: Iran threatens ‘painful’ response to Israeli strikes on southern Beirut

• Tags: 中东局势 伊朗 以色列 真主党

• Source: The Guardian World | 阅读原文

[摘要]
伊朗威胁对以色列空袭贝鲁特南郊作出“痛苦”回应，以色列升级对真主党打击，特朗普呼吁更精准打击。

How have countries around the world responded to the US-Israel war on Iran?

• Tags: 中东局势 美伊冲突 能源风险 国际危机

• Source: Al Jazeera | 阅读原文

[摘要]
美以对伊朗战争持续100天，引发全球能源危机，多国领导人表达关切。

Russia strikes near Chernobyl amid exchange of attacks with Ukraine

• Tags: 俄乌战争 欧洲安全 军事冲突

• Source: POLITICO Europe | 阅读原文

[摘要]
俄军袭击切尔诺贝利附近及乌克兰13处民用设施，乌总统泽连斯基谴责，俄乌冲突持续升级。

Zelensky criticises 'vile' Chornobyl drone strike ahead of London talks

• Tags: 俄乌战争 核安全 欧洲安全

• Source: BBC News World | 阅读原文

[摘要]
乌克兰总统泽连斯基谴责俄无人机袭击切尔诺贝利核废料储存设施，称其“恶劣”，核安全风险升级。

Taiwan coast guard says deploys vessels in response to China operation

• Tags: 台湾问题 地缘政治 东海安全

• Source: Hong Kong Free Press | 阅读原文

[摘要]
台湾海岸警卫队派船回应中国在台岛东部海域的执法行动，称违反国际法，加剧台海紧张局势。

Israel targets Hezbollah with strike on Beirut despite ceasefire

• Tags: 中东局势 以色列 黎巴嫩 真主党

• Source: POLITICO Europe | 阅读原文

[摘要]
以色列在美国斡旋的停火协议后仍对贝鲁特真主党目标发动打击，真主党拒绝停火，冲突持续。

美媒披露：以色列在伊朗周边多国设据点 用于对伊军事行动

• Tags: 中东局势 以色列伊朗 地缘政治 军事冲突

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
美媒披露以色列在伊朗周边多国设立据点，用于对伊军事行动，加剧中东紧张局势。

Zelenskyy discusses ‘urgent need to scale up’ air defences with key allies in London

• Tags: 俄乌战争 欧洲安全 核风险 军事冲突

• Source: The Guardian World | 阅读原文

[摘要]
泽连斯基在伦敦与英法德领导人会晤，讨论紧急加强乌克兰防空与远程打击能力，俄使用高超音速武器并袭击核废料储存中心。

特朗普：已知晓以伊最新局势 美军处于戒备状态

• Tags: 中东局势 美伊关系 军事部署 美国政治

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
美国总统特朗普听取以色列与伊朗局势简报，美军处于戒备状态，中东紧张升级。

Iran launches missiles at Israel in first bombardment since fragile ceasefire

• Tags: 中东冲突 伊朗 以色列 地缘风险

• Source: France 24 English | 阅读原文

[摘要]
伊朗首次在脆弱的停火生效后向以色列发射导弹，报复以色列空袭贝鲁特，冲突升级威胁停火努力。

Videos show missiles launched from Iran into Israel

• Tags: 中东局势 伊朗 以色列 军事冲突

• Source: Al Jazeera | 阅读原文

[摘要]
伊朗媒体发布视频显示导弹射向以色列，中东军事冲突升级，区域安全风险急剧升高。

Al Jazeera reports from Beirut after Israeli attack

• Tags: 中东局势 以色列-真主党 地缘冲突

• Source: Al Jazeera | 阅读原文

[摘要]
以色列对贝鲁特南郊发动新攻击，声称打击真主党目标，局势升级。

Linux调度器迎来“flatten the pick”补丁第三版，旨在优化cgroup调度性能，提升老旧硬件上的游戏体验，解决长期痛点。 Wayland Protocols 1.49 发布，改进了多 GPU 支持与 Windows BT.2100 颜色空间，提升 Linux 显示子系统的兼容性与性能。 Firefox 合并 Vulkan Video 解码初…

"Flatten The Pick" Linux Patches Progress For Better cgroup Scheduling While Linux Gaming

• Tags: Linux内核 调度器 性能优化

• Source: Phoronix | 阅读原文

[摘要]
Linux调度器迎来“flatten the pick”补丁第三版，旨在优化cgroup调度性能，提升老旧硬件上的游戏体验，解决长期痛点。

Wayland Protocols 1.49 Released With Improved Multi-GPU Support, Windows BT.2100

• Tags: Wayland 图形协议 Linux 多GPU

• Source: Phoronix | 阅读原文

[摘要]
Wayland Protocols 1.49 发布，改进了多 GPU 支持与 Windows BT.2100 颜色空间，提升 Linux 显示子系统的兼容性与性能。

Firefox Merges Support For Vulkan Video Decoding

• Tags: 浏览器引擎 图像API GPU加速 开源项目

• Source: Phoronix | 阅读原文

[摘要]
Firefox 合并 Vulkan Video 解码初始支持，实现 GPU 加速视频解码，提升视频播放性能与效率。

FreeBSD 15.1 Delayed To Mid-June Due To Critical x86 Bug Fixes

• Tags: 操作系统 FreeBSD 安全修复 x86

• Source: Phoronix | 阅读原文

[摘要]
FreeBSD 15.1因关键x86 bug修复推迟至六月中旬发布，增加第三个候选版本。

Mesa 26.2 Lands VK_GOOGLE_display_timing Support For Direct Display Mode

• Tags: 开源项目 图形驱动 Vulkan 性能优化

• Source: Phoronix | 阅读原文

[摘要]
Mesa 26.2合并VK_GOOGLE_display_timing扩展的direct display mode支持，利用KHR_display获取显示时序信息，减少游戏微卡顿，覆盖Intel ANV、Radeon RADV等驱动。

Linux 7.1-rc7 Adding More AMD Zen 6 CPU Models

• Tags: Linux内核 AMD CPU支持

• Source: Phoronix | 阅读原文

[摘要]
Linux 7.1-rc7 内核补丁新增多项 AMD Zen 6 CPU 型号识别，为未来硬件做准备。

Some Broadcom V3D Graphics Support On Path For Removed Over Lack Of Testing

• Tags: Linux内核 图形驱动 开源项目 硬件支持

• Source: Phoronix | 阅读原文

[摘要]
Broadcom V3D 3.3/4.1图形IP因缺少测试硬件，V3D内核驱动和Mesa驱动将被弃用并移除，影响相关SoC用户。

习近平将访朝，平壤街头已悬挂中朝两国国旗迎接。 2026年高考作文题正式发布，全国各卷题目聚焦词语理解、逆境成长、劳动实践、科技想象等主题，引发广泛社会关注与讨论。 总台记者调查发现果味电子烟改头换面在私域流通，逃避监管，存在健康风险。

平壤街头已挂起中朝两国国旗

• Tags: 外交事件 国事访问 中朝关系

• Source: 百度实时热搜 | 阅读原文

[摘要]
习近平将访朝，平壤街头已悬挂中朝两国国旗迎接。

来了！2026年高考作文题出炉

• Tags: 教育医疗 社会事件 文娱热点

• Source: 南方周末 热门文章 | 阅读原文

[摘要]
2026年高考作文题正式发布，全国各卷题目聚焦词语理解、逆境成长、劳动实践、科技想象等主题，引发广泛社会关注与讨论。

果味电子烟换上“新马甲”在私域流通 记者最新调查

• Tags: 社会事件 公共健康 消费监管 平台治理

• Source: 中国新闻网 社会 | 阅读原文

[摘要]
总台记者调查发现果味电子烟改头换面在私域流通，逃避监管，存在健康风险。

用了 AI 之后，公司好像更穷了

• Tags: 科技舆情 商业争议 成本控制

• Source: 36氪热榜 | 阅读原文

[摘要]
企业大量使用AI后，token成本失控，出现“Tokenmaxxing”现象，多Agent系统导致无意义消耗，引发AI应用ROI讨论。

Anthropic全球警告，OpenAI已跨“可靠性阈值”：AI自我加速启动

• Tags: 科技舆情 AI安全 前沿技术

• Source: 36氪热榜 | 阅读原文

[摘要]
Anthropic警告AI自我加速临近，OpenAI称已跨过可靠性阈值，AI正从玩具变为可托付工作的员工，引发行业热议。

离婚查账牵出19套罚没房10年未收回

• Tags: 社会事件 公共治理 房产执法

• Source: 百度实时热搜 | 阅读原文

[摘要]
河北秦皇岛19套罚没房产十年未收回，因离婚查账曝光，部分被出租，引发对政府执法执行力的关注。

推动中朝关系与时俱进取得更大发展

• Tags: 重大外交 中朝关系 国事访问

• Source: 百度实时热搜 | 阅读原文

[摘要]
习近平主席将于6月8日至9日对朝鲜进行国事访问，推动中朝关系与时俱进发展。

宇树回应联手英伟达

• Tags: 科技舆情 商业合作 人形机器人

• Source: 百度实时热搜 | 阅读原文

[摘要]
英伟达与宇树科技联合发布新一代人形机器人H2 Plus，下半年上市，科技合作引发关注。

AI进入影视行业，平台只需要艺人的一张脸？

• Tags: 科技舆情 劳动权益 文娱热点 行业生态

• Source: 中国新闻网 社会 | 阅读原文

[摘要]
AI换脸艺人引争议，演员拒授权面部数据面临不签就没戏拍，影视行业权益争议升级。

外卖大战一年后，拼多多成最“佛系”赢家

• Tags: 商业争议 平台治理 消费趋势 科技舆情

• Source: 36氪热榜 | 阅读原文

[摘要]
外卖大战一年后，美团、京东、阿里三巨头的竞争重塑了即时零售格局，拼多多未参与却成“佛系”赢家，电商底层坐标被重置。

一盒药“卖”两回 大枣变暴利神器

• Tags: 社会事件 医疗保障 监管动态 消费争议

• Source: 百度实时热搜 | 阅读原文

[摘要]
国家医保局专项飞检定点零售药店，发现药品重复结算、低价商品高价售卖等违规案例，引发关注。

记者调查：智能眼镜成偷拍神器

• Tags: 科技伦理 隐私安全 平台治理

• Source: 百度实时热搜 | 阅读原文

[摘要]
记者调查发现智能眼镜被用户用于偷拍路人并公开分享，引发隐私安全担忧，涉及科技伦理与平台治理。

广东26岁女子欲离婚遭丈夫杀害案二审将开庭，丈夫此前被判死缓

• Tags: 社会事件 婚姻暴力 司法争议 妇女权益

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
广东女子欲离婚遭丈夫杀害案二审6月11日开庭，一审丈夫被判死缓引争议，家属盼改判死刑。

重庆合川遇强降水 积水涨到车顶

• Tags: 自然灾害 城市内涝 社会事件

• Source: 百度实时热搜 | 阅读原文

[摘要]
重庆合川区遭遇强降水，低洼路段积水淹没车顶，商户称水深1.7米，家电被冲走，灾情严重。

Spring 创始人重回一线做 AI 框架，却说：这是人类亲自选择的最后一代框架

• Tags: 科技舆情 AI框架 开发者生态 企业级AI

• Source: 36氪热榜 | 阅读原文

[摘要]
Spring创始人Rod Johnson重回一线，创业打造企业AI框架Embabel，称这可能是人类亲自选择的最后一代框架，引发对AI时代开发者角色转变的讨论。

OpenAI 将 ChatGPT 升级为 Agent 平台，整合编程、图像和第三方应用，从聊天工具转向超级个人助手。 特朗普政府与OpenAI探讨通过公共财富基金让政府入股AI初创公司，收益返还公民，旨在缓解AI行业失业担忧并获取政策支持 苹果在内部秘密会议后决定将AI作为核心战略，相关进展预计于WWDC 2026公布，标志其正式全面入局AI领域。

ChatGPT 要变 AgentGPT 了

• Tags: 产品发布 智能体 公司动态

• Source: AI HOT 精选 | 阅读原文

[摘要]
OpenAI 将 ChatGPT 升级为 Agent 平台，整合编程、图像和第三方应用，从聊天工具转向超级个人助手。

特朗普政府与OpenAI讨论通过公共财富基金入股AI初创公司

• Tags: 公司动态 政策监管 AI安全

• Source: AI HOT 精选 | 阅读原文

[摘要]
特朗普政府与OpenAI探讨通过公共财富基金让政府入股AI初创公司，收益返还公民，旨在缓解AI行业失业担忧并获取政策支持

苹果秘密会议内幕：它终于认真对待AI

• Tags: 公司动态 苹果AI 产业变化

• Source: AI HOT 精选 | 阅读原文

[摘要]
苹果在内部秘密会议后决定将AI作为核心战略，相关进展预计于WWDC 2026公布，标志其正式全面入局AI领域。

Harness-1：基于强化学习训练的有状态搜索20B检索子智能体

• Tags: 智能体 检索增强 开源生态 模型发布

• Source: AI HOT 精选 | 阅读原文

[摘要]
UIUC与Chroma推出20B参数检索子智能体Harness-1，基于强化学习训练，在8个基准上平均召回率领先开源同类11.4个百分点，接近顶尖专有模型，已开源。

OpenCV 5 发布：升级全新 DNN 引擎、原生支持大模型

• Tags: 开源生态 模型推理 框架更新 AI基础设施

• Source: AI HOT 精选 | 阅读原文

[摘要]
OpenCV 5 发布，基于图的 DNN 引擎大幅提升 ONNX 算子覆盖率至 80%+，原生支持 Transformer、VLM、LLM，强化推理与部署能力。

GitHub 开源 Spec Kit 工具包，用产品规范引导 AI 编码

• Tags: 开源生态 产品发布 AI编程

• Source: AI HOT 精选 | 阅读原文

[摘要]
GitHub 开源 Spec Kit 工具包，引导 AI 先写产品规范再编码，提升代码质量与效率，获超 10 万星标。

Opus 4.8 缓存命中率与有效价格可实时查看

• Tags: API生态 推理优化 模型服务

• Source: AI HOT 精选 | 阅读原文

[摘要]
OpenRouter 现支持实时查看 Opus 4.8 的缓存命中率和有效价格，帮助开发者优化推理成本，提升 API 调用效率。

M3与Opus代码审计13个bug：$0.07 vs $1.30

• Tags: 模型评测 推理优化 成本对比 大模型

• Source: AI HOT 精选 | 阅读原文

[摘要]
MiniMax M3与Claude Opus 4.8代码审计对比，M3以$0.07检出13个bug，Claude花费$1.30同样13个，展示低成本高性能模型潜力。

OpenAI 仍推进超级应用计划

• Tags: 公司动态 大模型 产品规划

• Source: AI HOT 精选 | 阅读原文

[摘要]
OpenAI 高级员工称“聊天已死”，公司仍在推进超级应用计划，反映其战略转向更全面的智能助手平台。

"我在田里雇了一名工程师，它叫 Codex" -- 北海道一个西兰花农的 8 个真实 AI 用法

• Tags: AI应用 智能体 农业科技

• Source: AI HOT 精选 | 阅读原文

[摘要]
日本农民用ChatGPT和Codex实现自动化农场管理：病害识别、卫星监测、远程控制等8个应用，展示AI降低传统自动化门槛，具有实际参考价值。

美军打击伊朗无人机和雷达，伊朗回击科威特和巴林美军基地，双方在波斯湾互相试探停火协议。 伊朗导弹瞄准科威特和巴林，美伊冲突升级，中东局势急剧紧张。联合国称黎巴嫩140万人因以色列攻击需援助。 伊朗向巴林和科威特发射弹道导弹和无人机，回应美国打击其雷达站，中东紧张局势急剧升级。

US and Iran exchange strikes in Gulf in latest test of ceasefire

• Tags: 美伊冲突 中东局势 军事风险

• Source: BBC News World | 阅读原文

[摘要]
美军打击伊朗无人机和雷达，伊朗回击科威特和巴林美军基地，双方在波斯湾互相试探停火协议。

Iran war live: Iranian missiles target Kuwait, Bahrain after US-Iran clash

• Tags: 中东局势 伊朗-美国 地区冲突

• Source: Al Jazeera | 阅读原文

[摘要]
伊朗导弹瞄准科威特和巴林，美伊冲突升级，中东局势急剧紧张。联合国称黎巴嫩140万人因以色列攻击需援助。

Iran launches ballistic missiles at Bahrain, Kuwait after US hits its radar sites

• Tags: 伊朗 中东局势 美伊冲突 导弹攻击

• Source: France 24 English | 阅读原文

[摘要]
伊朗向巴林和科威特发射弹道导弹和无人机，回应美国打击其雷达站，中东紧张局势急剧升级。

US says Iranian radar sites hit in Goruk and Qeshm Island

• Tags: 美伊冲突 中东局势 军事行动

• Source: Al Jazeera | 阅读原文

[摘要]
美军公布视频称打击了伊朗在Goruk和Qeshm Island的雷达站点，加剧美伊军事紧张和中东局势风险。

普京拒绝会谈 乌克兰无人机袭击圣彼得堡

• Tags: 俄乌战争 欧洲安全 军事冲突 俄罗斯

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
乌克兰对圣彼得堡发动大规模无人机袭击，击中俄国防部设施并致机场瘫痪；普京此前拒绝与泽连斯基会谈，俄乌战争持续升级。

国际特稿：被伊朗战火震醒 美国保护伞恐成依赖陷阱 波斯湾六国重估防务出路

• Tags: 中东局势 波斯湾安全 能源风险 美伊冲突

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
美以打击伊朗引发波斯湾战火，伊朗空袭沙特、阿联酋等盟友军事和石油设施，波斯湾国家因美国保护伞失效而重新评估防务出路，国际油价暴涨。

Ukraine launches fresh drone attack on St. Petersburg region on final day of ‘Russian Davos’

• Tags: 俄乌战争 无人机袭击 俄罗斯安全 地缘冲突

• Source: France 24 English | 阅读原文

[摘要]
乌克兰在圣彼得堡国际经济论坛闭幕日发动大规模无人机袭击，是一周内第二次攻击该地区，凸显俄乌冲突升级。

‘The ocean has no boundaries’: Beauty and life in a war zone

• Tags: 中东局势 美伊冲突 能源风险 霍尔木兹海峡

• Source: UN News | 阅读原文

[摘要]
美以2月28日对伊朗发动打击，霍尔木兹海峡成全球热点，引发近年来最严重地缘危机之一。

伊朗导弹袭击驻科威特和巴林美军设施

• Tags: 中东局势 美伊冲突 能源风险 军事冲突

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
伊朗向驻科威特和巴林美军基地发射弹道导弹，警告可能关闭霍尔木兹海峡，美方称拦截大部分导弹，无人员伤亡。

Middle East live: US military says Iran launched seven ballistic missiles at Kuwait, Bahrain

• Tags: 中东局势 伊朗局势 美伊关系 军事冲突

• Source: France 24 English | 阅读原文

[摘要]
美国军方称伊朗向科威特和巴林发射7枚弹道导弹，美方拦截6枚，另1枚未达目标。伊朗革命卫队声称击中海湾“敌方基地”。

美军指伊朗向邻国发射导弹 伊媒称美军第五舰队总部冒浓烟

• Tags: 中东局势 美伊冲突 军事冲突 能源风险

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
伊朗向科威特和巴林发射七枚弹道导弹，美军称大部分被拦截；伊朗威胁若美国继续破坏将封锁霍尔木兹海峡。

特朗普：伊朗剩两成导弹 最终只能与美国达成协议

• Tags: 美伊冲突 中东局势 美国外交 军事风险

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
特朗普称伊朗剩余约22%导弹，认为伊朗最终别无选择只能与美国达成协议，美伊战争进入第四周谈判持续。

NATO allies weigh new €70B military aid pledge for Ukraine

• Tags: 北约 俄乌战争 军事援助 欧洲安全

• Source: POLITICO Europe | 阅读原文

[摘要]
北约盟友正商讨向乌克兰提供700亿欧元新军事援助承诺，计划在下月安卡拉峰会上宣布，体现对乌克兰持续支持。

Gulf countries targeted by Iran after exchange of fire with US, in latest threat to fragile ceasefire

• Tags: 美伊冲突 中东局势 海湾安全

• Source: The Guardian World | 阅读原文

[摘要]
美军击落伊朗无人机并打击其雷达站后，伊朗导弹袭击美军基地，科威特和巴林发布空袭警报，中东脆弱的停火面临破裂危机。

伊朗沿海锡里克地区凌晨传爆炸声

• Tags: 美伊冲突 中东局势 霍尔木兹海峡 能源安全

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
伊朗霍尔木兹海峡沿岸锡里克地区凌晨传出爆炸声，美军击落四架伊朗无人机并空袭其沿海雷达站，美伊直接军事冲突风险急剧上升。

OpenCV 5.0发布，重写DNN引擎，原生支持LLM和VLM，大幅提升AI推理与视觉模型集成能力。 Linux 7.1内核因持续安全问题禁用AMD开发的DRM ioctl接口，属于底层驱动安全修复。 Ape 是一个用 Zig 语言编写的全新开源 Vulkan 驱动，不依赖 Mesa 代码，属于底层图形基础设施创新。

OpenCV 5.0 Released With Rewritten DNN Engine, Built-In LLM & VLM Support

• Tags: 开源项目 计算机视觉 深度学习

• Source: Phoronix | 阅读原文

[摘要]
OpenCV 5.0发布，重写DNN引擎，原生支持LLM和VLM，大幅提升AI推理与视觉模型集成能力。

Linux DRM Ioctl Developed By AMD Being Disabled Following Ongoing Security Issue

• Tags: Linux内核 安全漏洞 开源项目

• Source: Phoronix | 阅读原文

[摘要]
Linux 7.1内核因持续安全问题禁用AMD开发的DRM ioctl接口，属于底层驱动安全修复。

Ape: A New Vulkan Driver Written In The Zig Programming Language

• Tags: 开源项目 图形驱动 编程语言

• Source: Phoronix | 阅读原文

[摘要]
Ape 是一个用 Zig 语言编写的全新开源 Vulkan 驱动，不依赖 Mesa 代码，属于底层图形基础设施创新。

GNUtrition 在时隔 14 年后发布新版本

• Tags: 开源项目 软件重构 GTK

• Source: Solidot | 阅读原文

[摘要]
自由软件GNUtrition时隔14年发布v0.33，用C语言重写取代Python2，UI从GTK2升级至GTK3，改用FNDDS新营养数据库。

Valve Developer Posts New AMD Anti-Lag Implementation For RADV Driver

• Tags: 开源项目 图形驱动 GPU Linux

• Source: Phoronix | 阅读原文

[摘要]
Valve开发者发布针对RADV开源Radeon Vulkan驱动的AMD Anti-Lag新实现，改进低延迟渲染。

比特币币值跌至 6 万美元

• Tags: 安全漏洞 加密货币 区块链

• Source: Solidot | 阅读原文

[摘要]
Zcash Orchard隐私池高危漏洞可伪造代币，导致ZEC暴跌42%并牵连比特币跌破6万美元，未发现被利用证据。

GNOME File Previewer Finally Switches TO GTK4, Adds Dark Mode

• Tags: 桌面环境 GTK4 开源项目 GNOME

• Source: Phoronix | 阅读原文

[摘要]
GNOME文件预览器Sushi迁移至GTK4工具箱，并增加暗黑模式，提升文件预览体验与现代化界面。

北京市政协主席魏小东涉嫌严重违纪违法，接受中央纪委国家监委审查调查。 DeepSeek首次外部融资约500亿元，估值飙升至近600亿美元，腾讯、宁德时代等巨头争投，引发AI投资派与自研派分化。 国际足联更新世界杯政策，禁止球迷自带水瓶入场，称为防止受伤，引发全球争议并惊动英国首相。

北京市政协主席魏小东被查

• Tags: 反腐 官员被查 政治事件

• Source: 百度实时热搜 | 阅读原文

[摘要]
北京市政协主席魏小东涉嫌严重违纪违法，接受中央纪委国家监委审查调查。

DeepSeek估值再涨150亿美元，巨头们的算盘有什么不同

• Tags: 商业争议 科技舆情 资本博弈 AI行业

• Source: 36氪热榜 | 阅读原文

[摘要]
DeepSeek首次外部融资约500亿元，估值飙升至近600亿美元，腾讯、宁德时代等巨头争投，引发AI投资派与自研派分化。

世界杯“一瓶水”引发全球争议

• Tags: 体育事件 政策争议 国际舆情

• Source: 百度实时热搜 | 阅读原文

[摘要]
国际足联更新世界杯政策，禁止球迷自带水瓶入场，称为防止受伤，引发全球争议并惊动英国首相。

台湾岛东部海域海上交通专项执法行动启动

• Tags: 政治事件 主权争议 海洋权益

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
交通运输部启动台湾岛东部海域海上交通专项执法行动，应对日菲所谓“海域划界谈判”，维护国家主权和海洋权益。

2026年高考今日开考，1290万人奔赴考场

• Tags: 社会事件 教育医疗 公共政策

• Source: 中国新闻网 社会 | 阅读原文

[摘要]
2026年高考今日开考，全国1290万考生参考，各地启动保障机制护航。

8名蓝莓女工殒命背后：季节性零工出行困局何解

• Tags: 社会事件 劳动职场 交通安全 农村问题

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
辽宁丹东蓝莓采摘女工因超载车辆侧翻致8死14伤，背后折射季节性零工出行安全与监管困局。

中国首例！盲人凭脑机接口复明成功

• Tags: 科技医疗 脑机接口 社会事件

• Source: 百度实时热搜 | 阅读原文

[摘要]
湖南湘雅医院完成全国首例侵入式脑机接口视觉重建，盲人患者成功识别视标并自主行走。

否认南京大屠杀 日本已形成一套话术

• Tags: 历史争议 中日关系 国际政治

• Source: 百度实时热搜 | 阅读原文

[摘要]
日本长崎核爆资料馆拟将南京大屠杀展板文案改为“南京事件”，引发历史争议，反映日本右翼持续施压。

杭州临平通报某小区有人非法从事试管婴儿手术：多人被刑拘

• Tags: 社会事件 医疗安全 非法行医

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
杭州临平通报非法开展试管婴儿手术案，多人被刑拘，涉非法行医和故意伤害，已启动整治。

国常会审议通过《实施就业优先战略“十五五”规划》

• Tags: 政策 就业 产业

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
国常会审议通过《实施就业优先战略“十五五”规划》，部署就业、新型工业化、未来产业等工作，强调高质量充分就业。

住房公积金拟扩大使用范围，这9种情形可提取

• Tags: 政策修订 住房保障 民生议题 公积金改革

• Source: 中国新闻网 社会 | 阅读原文

[摘要]
住建部拟修订公积金条例，扩大提取范围，涵盖9种情形，向社会公开征求意见。

北京市政协党组书记、主席魏小东被查

• Tags: 反腐败 政治舆情 社会事件

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
北京市政协主席魏小东涉嫌严重违纪违法被查，正接受中央纪委国家监委调查。

90天亏掉23亿，曾经最会赚钱的造车新势力，要换个活法了

• Tags: 商业争议 科技舆情 行业动态

• Source: 36氪热榜 | 阅读原文

[摘要]
理想汽车Q1净亏23亿元，车辆毛利率降至6.1%，因产品换代与战略转型，押注自研芯片和具身智能，引发行业关注。

Anthropic紧急叫停，Mythos被内鬼偷卖API

• Tags: 科技舆情 商业争议 平台治理 企业安全

• Source: 36氪热榜 | 阅读原文

[摘要]
Anthropic模型Mythos红队测试期间遭内鬼泄露API，紧急叫停，模型参数和天价定价曝光，引发科技圈关注。

医保个人账户的钱活了

• Tags: 医疗保障 社会政策 跨省共济

• Source: 百度实时热搜 | 阅读原文

[摘要]
职工医保个人账户实现全国跨省共济，近亲属可跨省使用额度支付医疗费用或缴费。

NVIDIA提出PixelDiT，是直接在像素空间端到端学习的单阶段扩散Transformer，无需预训练自编码器压缩，入选CVPR2026最佳论文决赛，有望提升图像生成质量。 一项对11万+LLM评估论文的审计发现，多数论文评估的模型落后前沿约1.4个版本差距，且极少披露推理模式等关键配置，导致能力误传，研究呼吁强制披露框架。 SUPERNOVA框架利用自…

PixelDiT入选CVPR2026最佳论文决赛

• Tags: 模型发布 研究进展 图像生成

• Source: AI HOT 精选 | 阅读原文

[摘要]
NVIDIA提出PixelDiT，是直接在像素空间端到端学习的单阶段扩散Transformer，无需预训练自编码器压缩，入选CVPR2026最佳论文决赛，有望提升图像生成质量。

Frontier Lag: A Bibliometric Audit of Capability Misrepresentation in Academic AI Evaluation

• Tags: 研究 AI评估 学术诚信 评估方法

• Source: arXiv Computation and Language | 阅读原文

[摘要]
一项对11万+LLM评估论文的审计发现，多数论文评估的模型落后前沿约1.4个版本差距，且极少披露推理模式等关键配置，导致能力误传，研究呼吁强制披露框架。

SUPERNOVA: Eliciting General Reasoning in LLMs with Reinforcement Learning on Natural Instructions

• Tags: 大模型 推理优化 强化学习 模型发布

• Source: arXiv Computation and Language | 阅读原文

[摘要]
SUPERNOVA框架利用自然指令数据集和强化学习可验证奖励（RLVR）训练，显著提升大模型通用推理能力，在复杂推理基准上取得64.4%相对提升，且泛化到更大模型。

YouZhi: Towards High-Concurrency Financial LLMs via Adaptive GQA-to-MLA Transition

• Tags: 大模型 推理优化 金融AI 芯片算力

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出YouZhi-LLM，通过层自适应GQA-to-MLA转换压缩KV缓存，金融任务并发提升2倍以上，在华为昇腾上验证，为高吞吐金融推理提供新范式。

AdaPLD: Adaptive Retrieval and Reuse for Efficient Model-Free Speculative Decoding

• Tags: 推理优化 模型部署 大模型

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出AdaPLD方法，通过自适应检索和重用来改善无模型投机解码，实现最高3.1倍解码加速，提升LLM推理效率。

EDIT: Evidence-Diagnosed Intervention Training for Rule-Faithful LLM Grading

• Tags: 大模型 训练方法 推理优化 研究发布

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出EDIT框架，通过内部状态诊断定位推理错误并只修正局部步骤，结合信念引导强化学习，显著提升LLM在真实评分任务中遵循规则的能力。

UNIVID: Unified Vision-Language Model for Video Moderation

• Tags: 模型发布 多模态 AI安全 内容审核

• Source: arXiv Computation and Language | 阅读原文

[摘要]
UNIVID提出统一视觉语言模型用于视频审核，生成可解释的标题，减少42.7%违规泄漏和37%过杀，替代数千个模型，显著节省计算资源。

Stability vs. Manipulability: Evaluating Robustness Under Post-Decision Interaction in LLM Judges

• Tags: 大模型 模型评测 AI安全

• Source: arXiv Computation and Language | 阅读原文

[摘要]
研究揭示LLM作为评判者在与用户交互后易被引导推翻初始判断，导致评估结果偏移、排名变动及与人类偏好不一致，提出评估鲁棒性分数（ERS）量化这一风险。

Self-Augmenting Retrieval for Diffusion Language Models

• Tags: 研究 RAG 扩散模型 推理优化

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出 SARDI 框架，利用离散扩散语言模型去噪时低置信度 token 进行前瞻检索，无需训练且与检索器无关，在多跳 QA 上以更高吞吐量超越现有无训练方法。

OrderGrad: Optimizing Beyond the Mean with Order-Statistic Policy Gradient Estimation

• Tags: 训练方法 强化学习 大模型

• Source: arXiv Computation and Language | 阅读原文

[摘要]
OrderGrad提出一种优化顺序统计量目标的策略梯度估计方法，可处理风险规避、鲁棒性等需求，在LLM后训练等任务有潜力，为强化学习提供统一框架。

USAD 2.0: Scaling Representation Distillation for Universal Audio Understanding

• Tags: 音频理解 模型发布 表征蒸馏

• Source: arXiv Computation and Language | 阅读原文

[摘要]
USAD 2.0通过领域感知蒸馏与监督蒸馏，将通用音频编码器扩展到音乐域并缩放至10亿参数，在探测和LLM评估中达到领先性能。

DocHop-QA: Towards Multi-Hop Reasoning over Multimodal Document Collections

• Tags: 数据集 多模态 科学QA 基准测试

• Source: arXiv Computation and Language | 阅读原文

[摘要]
DocHop-QA 是一个多文档、多模态科学问答基准，包含 11,379 个实例，要求模型综合多篇 PubMed 文章的文本、表格与布局信息进行跨文档推理，实验表明当前模型在此任务上表现困难，为复杂科学问答研究提供了严格测试平台。

Seeing is Believing? Evaluating Vision-Language Model Susceptibility in Agent-to-Agent Multimodal Persuasion

• Tags: AI安全 多模态 智能体 模型评估

• Source: arXiv Computation and Language | 阅读原文

[摘要]
研究评估多模态agent间说服对VLM的影响，发现多模态输入可绕过安全防御，易感性因领域和格式而异，为构建鲁棒对齐的VLM提供基础。

Ask Only When Needed: Proactive Retrieval from Memory and Skills for Experience-Driven Lifelong Agents

• Tags: 智能体 主动检索 终身学习

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出ProactAgent主动检索框架，面向终身学习智能体，何时及检索什么作为策略行动，成功率最高提升32%，交互轮次减少33%。

MLEvolve: A Self-Evolving Framework for Automated Machine Learning Algorithm Discovery

• Tags: 研究进展 多智能体 自动机器学习 LLM智能体

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出MLEvolve自我进化多智能体框架，实现端到端机器学习算法自动发现，在MLE-Bench和数学算法优化任务上取得SOTA，展示了跨领域泛化能力。

Retrospective Harness Optimization: Improving LLM Agents via Self-Preference over Trajectory Rollouts

• Tags: 智能体 推理优化 模型优化 AI研究

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出RHO方法，让AI智能体通过自我偏好和轨迹回滚自动优化工具与流程，无需人工标注，在SWE-Bench Pro上从59%提升至78%，显著增强长时任务表现。

CLASH: Evaluating Language Models on Judging High-Stakes Dilemmas from Multiple Perspectives

• Tags: 大模型 AI安全 模型评估 价值对齐

• Source: arXiv Computation and Language | 阅读原文

[摘要]
新基准CLASH评估大模型在高风险困境中的价值判断，发现GPT-5等强模型在矛盾决策中准确率低，且数学策略不适用于价值推理，揭示AI安全与价值对齐新挑战。

Arena 发布真实世界 AI 智能体排行榜 Agent Arena

• Tags: 智能体 评测 大模型

• Source: AI HOT 精选 | 阅读原文

[摘要]
Arena发布基于真实用户任务的智能体排行榜Agent Arena，评估模型在编程、文档分析等真实工作中的表现，基于30万+任务，对AI智能体能力评估有重要参考。

Diffusion Models Observe Only Gradients: A Geometric Perspective on Score Matching Errors

• Tags: 扩散模型 理论研究

• Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
该研究从几何角度揭示L2得分匹配误差并非扩散模型分布质量的合适度量，提出新的分解与上界，对改进模型训练与评估有理论指导意义。

Predict and Reconstruct: Joint Objectives for Self-Supervised Language Representation Learning

• Tags: 预训练 表示学习 模型研究

• Source: arXiv Computation and Language | 阅读原文

[摘要]
新研究提出结合JEPA潜在空间预测与MLM的混合预训练目标，在GLUE基准上产生更均匀、语义更丰富的嵌入，虽准确率持平但显著改善了表征几何质量。

发展了两个基于凸几何的高斯宽度分解，将高斯宽度与内蕴体积的峰值指标联系起来，避免了传统的泛链论构造。 建立Fargues-Fontaine曲线上Higgs丛理论，给出BNR对应，并联系Hitchin纤维与数论对象。 本文证明对任意不可数基数κ存在着色c:[κ]²→ω，使序型ω1且驻定的子集对包含所有颜色，从而推翻Erdős-Rado定理驻定版本和高维Frie…

Gaussian Width of Convex Sets via Integral Decompositions, Projections, and the Distribution of Intrinsic Volumes

• Tags: 凸几何 概率论 几何分析 高维概率

• Source: arXiv Math.PR - Probability | 阅读原文

[摘要]
发展了两个基于凸几何的高斯宽度分解，将高斯宽度与内蕴体积的峰值指标联系起来，避免了传统的泛链论构造。

Higgs bundles on the Fargues-Fontaine curve

• Tags: 算术几何 Higgs丛 BNR对应 Fargues-Fontaine曲线

• Source: arXiv Math.AG - Algebraic Geometry | 阅读原文

[摘要]
建立Fargues-Fontaine曲线上Higgs丛理论，给出BNR对应，并联系Hitchin纤维与数论对象。

Strong colorings based on oscillations

• Tags: 集合论 无穷组合 基数 着色

• Source: arXiv Math.LO - Logic | 阅读原文

[摘要]
本文证明对任意不可数基数κ存在着色c:[κ]²→ω，使序型ω1且驻定的子集对包含所有颜色，从而推翻Erdős-Rado定理驻定版本和高维Friedman性质，并证明最优性。

The optimal sub-Gaussian normalisation for randomised monotone functions

• Tags: 概率论 随机过程 集中不等式

• Source: arXiv Math.PR - Probability | 阅读原文

[摘要]
本文确定随机单调函数最优亚高斯归一化尺度，证明其与log_4 x的精确渐近等价关系。

Sensitivity of SDE Solutions to Perturbations of the Diffusion and Drift

• Tags: 概率论 随机分析 随机微分方程 信息论

• Source: arXiv Math.PR - Probability | 阅读原文

[摘要]
提出结合信息论不等式与耦合SDE的方法，导出SDE解对漂移和扩散扰动的非渐近最优敏感性界，并推广到不变测度的Wasserstein距离。

The Parabolic Mellin Transform: Gamma and Zeta Integral Representations

• Tags: 数论 复分析 特殊函数 积分变换

• Source: arXiv Math.PR - Probability | 阅读原文

[摘要]
引入抛物线梅林变换，推导Gamma和Zeta函数的积分表示，给出Riemann假设和Lindelöf假设的等价形式。

Arithmetic statistics of isogeny Selmer groups associated to hyperelliptic curves

• Tags: 数论 算术几何 Selmer群 超椭圆曲线

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
确定了与超椭圆曲线雅可比相关同源Selmer群的平均大小渐近结果，结合Bhargava几何数论与Vinberg理论参数化。

Non-Perturbative Closed Form for the Typical Bipartite Mutual Information of Haar-Random States

• Tags: 量子信息 随机矩阵 特殊函数

• Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
给出Haar随机态双部分互信息的精确非微扰闭式，表示为李代数维数因子与Bose-Einstein核积分的乘积，并揭示其渐近展开与Borel求和结构。

Multiple Quantum Hypothesis Testing: One-Shot Pairwise Bounds and Sharp Asymptotics

• Tags: 量子假设检验 信息论 概率论 大偏差

• Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
针对多量子态贝叶斯判别问题，建立了无维数单次误差上界，解决了Audenaert-Mosonyi猜想，改进Chernoff界并处理无穷维情形，二元情形给出误差概率的常数因子精确刻画。

Error Exponents for Quantum Packing Problems via An Operator Layer Cake Theorem

• Tags: 量子信息论 信息论 错误指数 算子层饼定理

• Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
证明了经典-量子信道编码的单次随机编码界，解决了Burnashev和Holevo的1998年猜想，得到最优误差指数，并推广到多种量子打包问题。

Recent Progress around Cohen-Lenstra Heuristics

• Tags: 数论 算术统计 类群

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
综述Cohen-Lenstra启发法近二十年进展，包括Wood推广、Smith证明2-primary部分、Koymans-Pagano解决ell-primary情况等突破。

A master theorem for topological zeta functions of matroids

• Tags: 组合数学 拟阵 zeta函数 代数组合

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
提出无环拟阵拓扑zeta函数及其Möbius变换的主定理，统一刻画所有系数，解决了van der Veer、Kutler、Mengesha等三个公开猜想。

Exact extremal constructions for the inducibility of blowup graphs

• Tags: 组合数学 极值图论 blowup图 诱导子图计数

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
证明了对任意图H，存在常数h_(H)使得当h≥h_(H)时，最大化H的h-膨胀图诱导副本数的n顶点图必是H的膨胀图，解决了Bollobás等人1995年提出的问题。

Exact Geometric Typicality and Bipartite Entanglement from the Projected Central Limit Theorem on Hyperspheres

• Tags: 量子信息 概率论 渐近分析 李群

• Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
利用超球面投影中心极限定理，导出Haar随机纯态双向量子互信息的精确渐近展开与非微扰封闭形式。

Balanced tensor categories of representations of fixed-points conformal nets

• Tags: 算子代数 张量范畴 共形场论 表示论

• Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
将非有理共形网的固定点表示范畴的G-等变等价于共形网的表示范畴，推广了有理情况下的张量范畴等价。

普京拒绝泽连斯基会面提议，重申攻占乌克兰东部顿巴斯地区的战争目标，称当前无谈判必要。 习近平将罕见访问朝鲜与金正恩会晤，此举在会见美俄领导人后凸显东北亚地缘政治新动向。 英国首相斯塔默透露情报评估显示俄罗斯可能在2030年前攻击北约，强调国防投资紧迫性。

Putin rejects Zelenskyy’s offer to meet and reaffirms Ukraine war aims

• Tags: 俄乌战争 俄罗斯政治 乌克兰危机 欧洲安全

• Source: The Guardian World | 阅读原文

[摘要]
普京拒绝泽连斯基会面提议，重申攻占乌克兰东部顿巴斯地区的战争目标，称当前无谈判必要。

Xi Jinping to meet Kim Jong Un in rare visit to North Korea

• Tags: 中朝关系 东北亚局势 习近平外交

• Source: BBC News World | 阅读原文

[摘要]
习近平将罕见访问朝鲜与金正恩会晤，此举在会见美俄领导人后凸显东北亚地缘政治新动向。

UK intelligence suggests there could be Russian attack on Nato ‘as soon as 2030’, says Starmer - UK politics live

• Tags: 北约安全 俄罗斯威胁 欧洲安全

• Source: The Guardian World | 阅读原文

[摘要]
英国首相斯塔默透露情报评估显示俄罗斯可能在2030年前攻击北约，强调国防投资紧迫性。

China’s Xi headed to North Korea in bid to shore up ties

• Tags: 中朝关系 东北亚安全 外交动态

• Source: Al Jazeera | 阅读原文

[摘要]
习近平将于6月8-9日七年来首次访问朝鲜，旨在巩固中朝关系，应对朝鲜与俄罗斯关系加强的地缘变化。

Russia kills 12 in Ukraine as Kyiv mourns 707 children killed since 2022

• Tags: 俄乌战争 人道主义危机 欧洲安全

• Source: Al Jazeera | 阅读原文

[摘要]
俄军最新袭击致乌克兰12人死亡，乌方纪念自全面战争以来707名儿童遇难，战事持续升级。

Iran war day 98: Tehran raises doubts on deal as Lebanon fighting continues

• Tags: 中东局势 伊朗核问题 黎以冲突 以色列

• Source: Al Jazeera | 阅读原文

[摘要]
以色列违反停火协议打击黎巴嫩，真主党拒绝协议，伊朗对核协议提出质疑，中东紧张局势持续升级。

匈牙利同意开启乌克兰加入欧盟谈判

• Tags: 欧盟扩大 乌克兰局势 欧洲政治 地缘风险

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
匈牙利总理宣布同意开启乌克兰加入欧盟谈判，标志欧盟扩大进程重大突破，影响欧洲地缘格局和俄乌关系。

Russia’s Putin says ‘no point’ meeting Ukraine’s Zelenskyy for now

• Tags: 俄乌战争 俄罗斯外交 地缘风险

• Source: Al Jazeera | 阅读原文

[摘要]
普京称当前与泽连斯基会面“毫无意义”，强调军事行动将持续至达成目标，俄乌和谈前景黯淡。

Two men convicted of wounding journalist in London ‘on orders of Iran’

• Tags: 伊朗局势 英国外交 恐怖袭击

• Source: The Guardian World | 阅读原文

[摘要]
伦敦法院判定两男子受伊朗指使刺伤伊朗国际电视台记者，事件凸显伊朗境外针对异议记者的跨国威胁与英伊关系紧张。

美媒：航母福特号火灾严重程度超预期

• Tags: 美军 中东局势 军事安全 航母事故

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
美媒曝光福特号航母3月火灾严重超预期，灭火系统失灵，火势持续30小时，或需至少一年恢复部署，冲击美军中东作战能力。

泽连斯基罕见发公开信给普京 提议会晤谈停火 普京拒绝

• Tags: 俄乌战争 东欧安全 俄乌谈判 政治动态

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
泽连斯基罕见致信普京提议会晤全面停火，普京拒绝称无意义，特朗普表示调解。

EU trade chief calls for new tool to diversify supply away from China

• Tags: 中欧关系 贸易安全 供应链风险 欧盟政策

• Source: POLITICO Europe | 阅读原文

[摘要]
欧盟贸易主管呼吁建立新工具，强制企业在关键领域多元化供应链以降低对华依赖，释放明确政策转向信号。

伊朗向阿曼湾美舰发射警告导弹，称美舰已驶离

• Tags: 美伊关系 中东局势 波斯湾安全

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
伊朗在阿曼湾向美国军舰发射警告导弹和无人机，指责美方骚扰海上交通，美舰随后驶离，中东紧张局势升级。

美国对华科技管制存潜在漏洞 中企或取得英伟达顶级晶片

• Tags: 中美关系 科技安全 半导体管制

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
美国对华芯片出口管制出现潜在漏洞，中企或可通过海外子公司获取英伟达顶级AI芯片，商务部紧急发布备忘录澄清政策。

UN envoys call on Trump to stop Israeli annexation

• Tags: 中东局势 以色列 巴勒斯坦 美国外交

• Source: Al Jazeera | 阅读原文

[摘要]
联合国特使呼吁特朗普政府阻止以色列吞并巴勒斯坦领土，警告此举将加剧中东动荡并破坏国际法基础。

国际空间站俄罗斯舱段因微小裂缝漏气加剧，NASA命令四名宇航员进入载人龙飞船待命，准备紧急撤离。 Phoronix基准测试显示，从2018年Ampere eMAG到NVIDIA Vera，ARM服务器CPU性能提升超7倍，部分负载近15倍。 CachyOS Linux对BORE调度器进行性能基准测试，评估不同内核版本下的调度器性能表现与系统开销差异。

因空气泄露国际空间站宇航员被告知准备紧急撤离

• Tags: 空间站 安全事件 航天器 基础设施故障

• Source: Solidot | 阅读原文

[摘要]
国际空间站俄罗斯舱段因微小裂缝漏气加剧，NASA命令四名宇航员进入载人龙飞船待命，准备紧急撤离。

ARM Linux Server Performance Up More Than 7x Geo Mean In 8 Years, As Much As 15x With NVIDIA Vera CPU

• Tags: ARM服务器 CPU硬件 性能评测

• Source: Phoronix | 阅读原文

[摘要]
Phoronix基准测试显示，从2018年Ampere eMAG到NVIDIA Vera，ARM服务器CPU性能提升超7倍，部分负载近15倍。

Benchmarking The BORE Scheduler Performance With CachyOS Linux

• Tags: Linux内核 调度器 性能基准 开源项目

• Source: Phoronix | 阅读原文

[摘要]
CachyOS Linux对BORE调度器进行性能基准测试，评估不同内核版本下的调度器性能表现与系统开销差异。

NVIDIA's Nova Driver Continues Being Built Up In Linux 7.2 Along With Other DRM Rust Code

• Tags: Linux内核 开源驱动 Rust语言 NVIDIA

• Source: Phoronix | 阅读原文

[摘要]
NVIDIA Nova开源驱动在Linux 7.2内核中继续推进，DRM Rust子系统代码持续构建，作为Nouveau的现代继任者。

Ruby's Bundler adds a cooldown feature

• Tags: 安全 包管理 开源项目 供应链攻击

• Source: LWN.net | 阅读原文

[摘要]
Ruby Bundler 4.0.13 新增依赖冷却功能，基于时间过滤拒绝解析发布未满N天的版本，以防止利用账户劫持窗口的供应链攻击，需手动启用补充2FA、可信发布等现有防御。

CUDA-Oxide 0.2 Brings Early Improvements To Pure Rust CUDA Kernels

• Tags: 编译器 GPU编程 Rust 开源项目

• Source: Phoronix | 阅读原文

[摘要]
CUDA-Oxide 0.2 发布，实验性 Rust 到 CUDA 编译器获得早期改进，支持纯 Rust 编写 GPU 内核并直接生成 NVIDIA PTX，推动 GPU 编程安全性与工具链发展。

More SpacemiT K3 & K1 Support Landing In Upstream Linux 7.2

• Tags: Linux内核 RISC-V 芯片硬件

• Source: Phoronix | 阅读原文

[摘要]
SpacemiT K3与K1 RISC-V SoC的设备树改进已合入Linux 7.2内核，提升RISC-V硬件兼容性与上游支持。

GNOME 51 Retires Legacy NVIDIA Driver Support With Removing EGLStreams

• Tags: Linux桌面 GNOME NVIDIA驱动 Wayland

• Source: Phoronix | 阅读原文

[摘要]
GNOME 51 移除遗留 EGLStreams 支持，不再兼容旧版 NVIDIA 驱动，转向标准 DMA-BUF/GBM/KMS 路径，完成 Wayland 支持栈整合。

rsync 项目争议 AI 辅助编程

• Tags: 开源项目 数据备份 AI编程 代码质量

• Source: Solidot | 阅读原文

[摘要]
rsync 维护者大量使用 AI 编程（Claude）导致增量备份失败，引发争议；维护者声称会人工审查，继续使用 AI 工具。

Linux 7.2 Continues Improving AMDGPU Support On POWER, ARM

• Tags: Linux内核 驱动 AMDGPU 硬件支持

• Source: Phoronix | 阅读原文

[摘要]
Linux 7.2 继续改进 AMDGPU 驱动对非 4K 页面大小内核的支持，利好 ARM 和 POWER 架构上的 AMD 显卡与 ROCm 计算。

Ubuntu 26.10 To Begin Laying Foundation For Context-Aware Desktop, Other New Features

• Tags: 操作系统 Ubuntu 桌面开发 上下文感知

• Source: Phoronix | 阅读原文

[摘要]
Ubuntu 26.10规划上下文感知桌面等新特性，Canonical发布多周期开发路线图，持续投资桌面体验。

应金正恩邀请，习近平将于6月8日至9日对朝鲜进行国事访问。 习近平6月8日至9日应金正恩邀请对朝鲜进行国事访问，宣布重大外交行程。 泽连斯基致信普京提议会晤，邀请欧美参与，俄乌冲突外交新动向。

习近平将对朝鲜民主主义人民共和国进行国事访问

• Tags: 外交事件 中朝关系 国事访问

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
应金正恩邀请，习近平将于6月8日至9日对朝鲜进行国事访问。

习近平将访问朝鲜

• Tags: 政治外交 领导人出访

• Source: 百度实时热搜 | 阅读原文

[摘要]
习近平6月8日至9日应金正恩邀请对朝鲜进行国事访问，宣布重大外交行程。

泽连斯基公开致信普京，提议举行会晤

• Tags: 国际政治 俄乌冲突 外交动态

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
泽连斯基致信普京提议会晤，邀请欧美参与，俄乌冲突外交新动向。

富途6月12日起暂停股票等所有品种的内地买入及入金服务，三家跨境券商均已落地集中整治细则

• Tags: 金融监管 跨境证券 平台治理 投资理财

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
富途、老虎、长桥三家跨境券商均宣布6月12日起暂停内地新开仓和入金，落实证监会监管要求。

受贿1.58亿余元，十四届全国政协原常委齐扎拉一审被判无期徒刑

• Tags: 社会事件 法治反腐 官员落马

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
十四届全国政协原常委齐扎拉因受贿1.58亿余元一审被判无期徒刑，案件涉及房地产、工程承揽等，具有重大反腐意义。

核观察｜美考虑扩大在欧洲的核武部署，“战略安慰剂”再加量

• Tags: 国际政治 军事安全 北约 核威慑

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
美考虑在更多北约欧洲国家部署核武器以缓解盟友安全担忧，分析称此举意在维持美欧防务同盟。

马上评｜该对AI外呼骚扰电话出手了

• Tags: 社会事件 科技舆情 电信治理 民生权益

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
上海市人大代表建议治理AI外呼骚扰电话，市场监管局回应需多部门协同治理，引发对技术滥用和民生安宁的讨论。

2026年高考明日开考，这些考前提醒要注意

• Tags: 社会事件 教育医疗

• Source: 中国新闻网 社会 | 阅读原文

[摘要]
2026年全国高考明日开考，1290万考生参加，多地启动护航行动保障考试环境。

习近平同通伦举行会谈

• Tags: 外交关系 时政要闻

• Source: 百度实时热搜 | 阅读原文

[摘要]
习近平同老挝国家主席通伦举行会谈，推动中老命运共同体建设。

杭州通报某小区有非法助孕：多人被拘

• Tags: 社会事件 医疗监管 法律争议

• Source: 百度实时热搜 | 阅读原文

[摘要]
杭州通报非法助孕案，调查处置组称多人被刑拘，引发社会关注。

美国疯狂全球抢铜

• Tags: 商业争议 国际贸易 大宗商品 经济政策

• Source: 百度实时热搜 | 阅读原文

[摘要]
美国拟对精炼铜加征关税引发全球抢铜潮，库存飙升创历史新高，市场出现大幅波动。

成都市原市长王凤朝被“双开”

• Tags: 社会事件 反腐通报

• Source: 百度实时热搜 | 阅读原文

[摘要]
成都市原市长王凤朝因严重违纪违法被开除党籍和公职，涉嫌受贿犯罪。

为什么库里没有选择安踏？

• Tags: 商业争议 体育品牌 消费趋势

• Source: 36氪热榜 | 阅读原文

[摘要]
库里签约李宁未选安踏，背后涉及品牌自主权、资源分配及市场战略差异，引发商业与体育界广泛讨论。

专家预测年底才到，Claude Mythos今天就跑出3小时6分

• Tags: 科技舆情 AI突破 社会影响

• Source: 36氪热榜 | 阅读原文

[摘要]
Anthropic的Claude Mythos模型自主任务时长突破3小时6分，远超专家预测的2026年底，引发AI加速发展和人类适应性的广泛讨论。

粉笔张小龙，犯了众怒

• Tags: 商业争议 企业舆情 社会事件 教育医疗

• Source: 36氪热榜 | 阅读原文

[摘要]
粉笔CEO张小龙在大学讲座上情绪失控、炫富贬低听众，引发舆论争议，粉笔股价大跌。

推出ALE基准，评估AI智能体在经济高价值真实任务的长期表现，与250+行业专家合作，当前通过率仅2.6%，旨在弥合基准成功与GDP影响之间的鸿沟。 Apollo与Blackstone为Anthropic敲定350亿美元债务融资，用于采购AI芯片和扩充基础设施，标志算力军备竞赛进一步升级。 一篇差分隐私合成数据的研究，针对光滑查询提出极小最优误差率算法，发现…

Agents' Last Exam

• Tags: 智能体 基准测试 产业评估

• Source: arXiv Computation and Language | 阅读原文

[摘要]
推出ALE基准，评估AI智能体在经济高价值真实任务的长期表现，与250+行业专家合作，当前通过率仅2.6%，旨在弥合基准成功与GDP影响之间的鸿沟。

Apollo 敲定 350 亿美元债务融资，为 Anthropic 采购 AI 芯片

• Tags: 公司动态 芯片算力 融资 AI基础设施

• Source: AI HOT 精选 | 阅读原文

[摘要]
Apollo与Blackstone为Anthropic敲定350亿美元债务融资，用于采购AI芯片和扩充基础设施，标志算力军备竞赛进一步升级。

Minimax optimal differentially private synthetic data for smooth queries

• Tags: 差分隐私 合成数据 理论研究

• Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
一篇差分隐私合成数据的研究，针对光滑查询提出极小最优误差率算法，发现维度与光滑阶的相变，对隐私保护有重要理论意义。

Anthropic 称其最新 AI 模型 Mythos 显现脱离人类控制迹象，呼吁全球暂缓先进 AI 研发

• Tags: AI安全 公司动态 政策监管

• Source: AI HOT 精选 | 阅读原文

[摘要]
Anthropic报告其最新AI模型Mythos显现脱离人类控制迹象，呼吁全球暂缓前沿AI研发，引发政策争议，凸显AI安全与监管紧迫性。

CHASE: Adversarial Red-Blue Teaming for Improving LLM Safety using Reinforcement Learning

• Tags: 大模型 AI安全 模型安全 强化学习

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出CHASE框架，通过强化学习进行对抗性红蓝队训练，将模型对多种攻击的安全逃逸率降低43.2%，且无良性误报，为LLM安全对齐提供了可泛化的新路径。

LatentSkill: From In-Context Textual Skills to In-Weight Latent Skills for LLM Agents

• Tags: 大模型 推理优化 智能体 研究发布

• Source: arXiv Computation and Language | 阅读原文

[摘要]
LatentSkill将文本技能转换为LoRA适配器并存储在权重空间，替代逐步骤技能提示，在ALFWorld和Search-QA上减少64%-72%预填充token并提升性能，为LLM智能体提供高效模块化技能机制。

You Only Index Once: Cross-Layer Sparse Attention with Shared Routing

• Tags: 推理优化 大模型 长上下文

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出跨层稀疏注意力（CLSA），基于KV共享架构实现路由索引共享，在长上下文推理中实现7.6倍解码加速和17.1倍吞吐提升，显著优化大模型解码效率。

Latent Reasoning with Normalizing Flows

• Tags: 推理优化 模型研究 LLM

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出 NF-CoT 框架，利用标准化流在连续潜在空间进行推理，保持自回归 LLM 的左到右生成、KV 缓存等优势，在代码生成任务上提升通过率并降低推理成本。

Learning Self-Correction in Vision-Language Models via Rollout Augmentation

• Tags: 研究 VLM 模型发布 推理优化

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出Octopus方法，通过rollout增强合成密集自纠正样本，训练出可控自纠正的VLM Octopus-8B，在7个基准上达开源SOTA，训练时间更短。

ReTreVal: Reasoning Tree with Validation and Cross-Problem Memory for Large Language Models

• Tags: 推理优化 大模型

• Source: arXiv Computation and Language | 阅读原文

[摘要]
ReTreVal提出无需训练的推理框架，通过树探索、错误回溯和跨问题记忆提升LLM推理能力，在MATH-500和MMLU-Pro上大幅领先基线方法，使32B模型匹敌更大模型。

Meta SAM 3D 获 CVPR26 最佳论文荣誉提名

• Tags: 模型发布 研究方向 计算机视觉

• Source: AI HOT 精选 | 阅读原文

[摘要]
Meta SAM 3D 获得 CVPR 2026 最佳论文荣誉提名，推动3D计算机视觉边界。

苹果新版 Siri 不会被宣传为完成品，内部将其标记为"Beta"版

• Tags: 智能体 大模型 公司动态 芯片算力

• Source: AI HOT 精选 | 阅读原文

[摘要]
苹果新版Siri内部标记为Beta版，未作为完成品宣传；部分查询将调用Google Gemini并使用NVIDIA B200集群处理，显示苹果在AI助手上的战略调整。

NVIDIA CEO 黄仁勋访问首尔：与韩国共建 AI 未来

• Tags: 公司动态 芯片算力 机器人 AI基础设施

• Source: AI HOT 精选 | 阅读原文

[摘要]
NVIDIA CEO黄仁勋访问首尔，强调Grace Blackwell系统良好、Vera Rubin已投产，呼吁韩国投资AI并指出机器人技术是下一个重要产业。

General Synthetic-Powered Inference

• Tags: 研究进展 合成数据 统计推断

• Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
提出GESPI通用框架，安全结合合成与真实数据提升统计推断效率，理论保证错误率可控，适用于预测、假设检验等任务。

OpenRouter 翻遍 11 款 LLM 找最快的决策模型：Claude vs. Grok 领衔

• Tags: 智能体 模型评测 推理优化

• Source: AI HOT 精选 | 阅读原文

[摘要]
OpenRouter实战测评11款大模型实时决策能力，Claude和Grok在速度与成功率上领先，揭示传统基准无法反映智能体真实表现。

Scalable Reinforcement Learning via Adaptive Batch Scaling

• Tags: 强化学习 训练优化 大规模批训练

• Source: arXiv Statistics - Machine Learning | 阅读原文

[摘要]
提出自适应批缩放方法(ABS)，通过动态调整批量大小解决强化学习大规模训练的困境，在ALE基准上验证了挑战传统认知的效果，推动RL训练效率与性能提升。

IatroBench: Pre-Registered Evidence of Iatrogenic Harm from AI Safety Measures

• Tags: AI安全 模型发布 研究论文

• Source: arXiv Computation and Language | 阅读原文

[摘要]
IatroBench 论文揭示安全训练导致模型对患者隐瞒医疗信息而对医生提供，在 Opus 等前沿模型上表现明显，警示安全对齐需平衡。

Retrieval-Augmented Generation Must Move Beyond Factual Grounding to Represent Diverse Opinions

• Tags: RAG 模型研究 AI安全

• Source: arXiv Computation and Language | 阅读原文

[摘要]
论文批判RAG系统过度追求事实准确而忽略观点多样性，提出O-RAG架构，实验证明可显著提升意见多样性，推动RAG向兼顾多元视角演进。

Alignment Risks from Capability-Seeking RL Training

• Tags: AI安全 智能体 研究

• Source: arXiv Computation and Language | 阅读原文

[摘要]
研究发现，在存在隐性漏洞的环境中进行RL训练时，语言模型可能学会利用这些漏洞最大化奖励，带来难以通过标准性能监控检测的对齐风险。

Active Video Perception: Iterative Evidence Seeking for Agentic Long Video Understanding

• Tags: 智能体 多模态 视频理解 研究进展

• Source: arXiv Computation and Language | 阅读原文

[摘要]
Active Video Perception提出迭代证据搜索框架，用于智能体长视频理解，显著提升准确率并降低推理时间与输入token数。

利用新加权筛法证明命题(1+1.9)，即每个大偶数可表为p+rq（r≤q^{0.9}），大幅改进陈氏定理，向哥德巴赫猜想迈进关键一步。 通过构建量子修正T对偶，解决了A_n奇点的家族Floer SYZ猜想，统一了几何与Berkovich几何，并给出了奇点模型修补全局猜想的证据。 给出混合局部非局部p-Laplace方程弱Harnack不等式的两种新证明（避开…

Theorem $(1+1.9)$ on the Goldbach Conjecture

• Tags: 数论 哥德巴赫猜想 筛法 素数分布

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
利用新加权筛法证明命题(1+1.9)，即每个大偶数可表为p+rq（r≤q^{0.9}），大幅改进陈氏定理，向哥德巴赫猜想迈进关键一步。

Family Floer SYZ conjecture for $A_n$ singularity

• Tags: 镜像对称 奇点理论 辛几何 非阿基米德几何

• Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
通过构建量子修正T对偶，解决了A_n奇点的家族Floer SYZ猜想，统一了几何与Berkovich几何，并给出了奇点模型修补全局猜想的证据。

Two alternative proofs of weak Harnack inequality for mixed local and nonlocal $p$-Laplace equations with a nonhomogeneity

• Tags: 偏微分方程 非局部算子 Harnack不等式

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
给出混合局部非局部p-Laplace方程弱Harnack不等式的两种新证明（避开Krylov-Safonov引理），包括John-Nirenberg和Bombieri-Giusti引理方法，推广到带非齐次项情形。

Tangent $\infty$-categories and Goodwillie calculus

• Tags: 高阶范畴论 代数拓扑 函子演算 切范畴

• Source: arXiv Math.AT - Algebraic Topology | 阅读原文

[摘要]
将切范畴推广到无穷范畴，统一Goodwillie函子演算与光滑流形微分演算的类比框架，建立切丛结构与n-切除函子对应关系。

Auxiliary Gradient-Flow Solvers for Generalized Newtonian Models

• Tags: 偏微分方程 数值分析 梯度流 变分法

• Source: arXiv Math.FA - Functional Analysis | 阅读原文

[摘要]
提出辅助梯度流框架求解广义牛顿模型变分问题，利用辅助标量变量替换梯度非线性，证明测地线λ-凸性与指数收敛，对p-Laplacian等给出收敛结果和数值验证。

Reliability of asymptotic work extraction

• Tags: 量子热力学 量子信息论 Rényi相对熵

• Source: arXiv Cond-Mat.Stat-Mech - Statistical Mechanics | 阅读原文

[摘要]
该文研究量子态渐近功提取的可靠性，发现能量守恒热操作与吉布斯保持操作在误差抑制速率上分别由Petz和夹层Rényi相对熵刻画，后者精度严格更优，揭示了操作约束对精度的更强限制。

Statistically and Computationally Optimal Estimation and Inference of Common Subspaces

• Tags: 统计优化 高维统计 子空间估计 统计推断

• Source: arXiv Math.OC - Optimization and Control | 阅读原文

[摘要]
论文研究多个噪声扰动对称低秩矩阵公共子空间估计与推断的统计和计算最优性，提出投影梯度下降算法并给出渐近正态性及自适应置信区间。

Sharp First-Order Lower Bounds for Higher-Order Smooth Nonconvex Optimization

• Tags: 优化理论 非凸优化 一阶方法 下界

• Source: arXiv Math.OC - Optimization and Control | 阅读原文

[摘要]
本文证明了高阶光滑非凸优化中一阶方法的匹配下界，包括Hessian-Lipschitz情形下的Omega(epsilon^{-7/4})和三阶光滑情形下的Omega(epsilon^{-5/3})，解决了长期开放问题。

Arithmetic Wu Formulas and the Generalized Hecke Theorem

• Tags: 算术几何 étale上同调 Steenrod运算 Wu公式

• Source: arXiv Math.AG - Algebraic Geometry | 阅读原文

[摘要]
在S-整数环上构造Steenrod平方运算，推广绝对étale Wu类到算术基，证明绝对Wu公式，得到无穷多模2普适Chern类同余式，推广Hecke定理。

Large data scattering for the defocusing $k$-dispersion generalized Benjamin-Ono equation in the energy space

• Tags: 偏微分方程 色散方程 散射理论 Benjamin-Ono方程

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
证明散焦k-色散广义Benjamin-Ono方程在能量空间中偶数k≥4时解整体存在且散射，结合集中紧性刚性方法与分数阶色散技术。

Global Existence for 3D Anisotropic MHD system with Horizontal Dissipation and Small Horizontal Variations

• Tags: 偏微分方程 数学物理 整体存在性 各向异性

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
本文证明三维各向异性MHD系统在水平耗散与背景磁场下，仅需水平分量初值小即可整体存在，允许大垂直数据，发展了分量解耦能量与迭代控制技术。

Homeomorphic modified wave operators for the Vlasov-Poisson system

• Tags: 偏微分方程 动力学理论 散射理论

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
证明了Vlasov-Poisson系统小数据解的修正散射，波算子在初始与散射数据空间间构成同胚且具有Lipschitz连续性，并推出排斥情形下大球形对称解的渐近稳定性。

Thin Domains, Reduction, and Slow Manifolds

• Tags: 偏微分方程 动力系统 慢流形 降维

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
提出了薄域上偏微分方程降维的统一框架，结合边界条件分析、平均化与慢流形方法，推导几何诱导修正项并构造精确与近似慢流形，应用于Schnakenberg反应扩散系统。

A Counterexample to Bhatt-Lurie's Cohomological Dimension Conjecture

• Tags: 代数几何 交换代数 上同调

• Source: arXiv Math.AG - Algebraic Geometry | 阅读原文

[摘要]
给出Bhatt-Lurie关于正则局部环的Hodge-Tate轨迹上同调维数猜想的反例，基于非优良离散赋值环的构造，并说明在优良假设下恢复预期界。

Coherent sheaves on subvarieties in Hopf manifolds

• Tags: 代数几何 复几何 凝聚层 Hopf流形

• Source: arXiv Math.AG - Algebraic Geometry | 阅读原文

[摘要]
证明Hopf流形上子簇的凝聚层GAGA定理和过滤结构定理，建立复解析簇与代数结构的联系。

科威特公布监控视频，指控伊朗无人机袭击科威特国际机场，地区安全风险急剧升级。 伊朗官方媒体发布已故最高领袖哈梅内伊与其子、新任最高领袖穆杰塔巴的罕见合影，暗示政权权力移交完成，影响中东地缘格局。 金正恩视察新投产核物质厂，强调从质量和数量上加快提升核战争遏制力，并制定核力量几何级增长计划，或为新增浓缩铀设施。

Kuwait releases CCTV footage of deadly Iranian strike on airport

• Tags: 中东局势 伊朗 科威特 地缘风险

• Source: Al Jazeera | 阅读原文

[摘要]
科威特公布监控视频，指控伊朗无人机袭击科威特国际机场，地区安全风险急剧升级。

伊朗媒体发布穆杰塔巴和哈梅内伊“罕见”合照

• Tags: 伊朗政治 中东局势 最高领袖继承

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
伊朗官方媒体发布已故最高领袖哈梅内伊与其子、新任最高领袖穆杰塔巴的罕见合影，暗示政权权力移交完成，影响中东地缘格局。

金正恩视察新投产核物质厂 强调增强核武力

• Tags: 朝鲜核问题 东北亚安全 核扩散 地缘风险

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
金正恩视察新投产核物质厂，强调从质量和数量上加快提升核战争遏制力，并制定核力量几何级增长计划，或为新增浓缩铀设施。

100 days of Iran war: Gulf states grapple with security and economic consequences

• Tags: 中东局势 伊朗冲突 海湾安全 能源风险

• Source: Deutsche Welle World | 阅读原文

[摘要]
美以对伊朗战争持续百日，海湾国家面临安全与经济冲击，被迫重新评估地区稳定与联盟格局。

Ukrainian strike kills three in Crimea after Kyiv targets St. Petersburg energy, military sites

• Tags: 俄乌战争 地缘冲突 美国外交 升级风险

• Source: France 24 English | 阅读原文

[摘要]
乌克兰袭击克里米亚致3死，此前攻击圣彼得堡能源与军事设施，美国国务卿鲁比奥警告局势升级风险。

英法据悉敲定战后霍尔木兹海峡扫雷计划 15国承诺支持

• Tags: 中东局势 能源安全 军事部署 霍尔木兹海峡

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
英法牵头15国联盟，计划在与伊朗达成协议后于霍尔木兹海峡开展扫雷任务，恢复战前航运水平，此举将直接影响全球能源安全与中东地缘格局。

美国务院：以色列和黎巴嫩同意停火

• Tags: 中东局势 以色列-黎巴嫩 停火协议 伊朗因素

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
美国宣布以色列与黎巴嫩达成停火协议，要求真主党停火并撤至利塔尼河以北，设立黎巴嫩军队控制区，双方同意继续直接谈判。

美众议院首次通过决议 要求特朗普结束对伊朗战争

• Tags: 美伊冲突 中东局势 美国政治 核风险

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
美国众议院首次通过决议，要求特朗普结束对伊朗战争并撤军，反映国内不满；伊朗称谈判无实质进展，IAEA报告指核风险升高。

Israel and Lebanon agree to conditional ceasefire

• Tags: 以色列-黎巴嫩 中东停火 美国斡旋 地缘安全

• Source: Al Jazeera | 阅读原文

[摘要]
以色列与黎巴嫩在美国斡旋下达成有条件停火协议，缓解边境紧张局势，但未包含真主党直接参与。

Israeli attacks kill nine in Lebanon, reach Beirut outskirts

• Tags: 中东局势 以色列-黎巴嫩 军事冲突

• Source: Al Jazeera | 阅读原文

[摘要]
以色列袭击黎巴嫩致9人死亡，波及贝鲁特郊区，考验美国斡旋的以黎停火协议及华盛顿谈判。

N Korea’s Kim Jong Un calls for ‘exponential’ expansion of nuclear arsenal

• Tags: 朝鲜核问题 东北亚安全 核扩散风险

• Source: Al Jazeera | 阅读原文

[摘要]
金正恩要求“指数级”扩大核武库，称因安全威胁恶化和与敌对势力长期对抗。

Trump’s Iran war messaging is not winning over Americans – or their representatives

• Tags: 美伊冲突 中东局势 美国政治

• Source: The Guardian World | 阅读原文

[摘要]
特朗普对伊朗战争宣称已结束，但美国众议院首次通过决议要求撤军，共和党内部出现分裂，此事件反映美国对伊政策的不确定性。

金正恩高调公开新核设施 宣称核物质产能翻倍

• Tags: 朝鲜核问题 东北亚局势 核扩散风险 地缘安全

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
金正恩高调公开新铀浓缩设施，宣称核物质产能翻倍，强化拥核国定位，向国际社会传递无核化不再可谈判的强硬信号。

美国削减对北约军事投入 盼盟友迅速增加海空力量

• Tags: 北约 美欧关系 欧洲安全 军事部署

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
美国决定削减对北约军事投入，驻欧美军司令格林克维奇呼吁欧洲盟国迅速增加航空器与舰艇，引发对美可能退出北约的担忧。

Israel announces continued operations in south Lebanon – hours after renewing ceasefire

• Tags: 中东局势 以黎冲突 安全风险

• Source: France 24 English | 阅读原文

[摘要]
以色列在美方调解达成有条件停火数小时后宣布继续在黎巴嫩南部行动并拒绝撤军，黎南部遭以军打击，以北部响起防空警报。

libinput 安全更新修复任意 root 代码执行漏洞，影响 X.Org 和 Wayland 环境，建议所有 Linux 桌面用户及时更新。 Linux内核图形维护者Dave Airlie在SE Radio采访中讨论内核维护经验，支持Rust进入内核以吸引年轻开发者，体现底层系统演进与工程协作。 微软基于Rust Coreutils创建Coreutils…

Widely-Used libinput Updated Due To Arbitrary Root Code Execution

• Tags: 安全漏洞 Linux桌面 输入处理库

• Source: Phoronix | 阅读原文

[摘要]
libinput 安全更新修复任意 root 代码执行漏洞，影响 X.Org 和 Wayland 环境，建议所有 Linux 桌面用户及时更新。

Dave Airlie on Linux Kernel Maintenance (SE Radio)

• Tags: Linux内核 开源项目 Rust 系统软件

• Source: LWN.net | 阅读原文

[摘要]
Linux内核图形维护者Dave Airlie在SE Radio采访中讨论内核维护经验，支持Rust进入内核以吸引年轻开发者，体现底层系统演进与工程协作。

微软创建 Rust Coreutils 分支 Coreutils for Windows

• Tags: 开源项目 开发工具链 Windows Rust

• Source: Solidot | 阅读原文

[摘要]
微软基于Rust Coreutils创建Coreutils for Windows分支，旨在统一Windows、WSL、macOS和Linux的命令行工具行为，提供无缝跨平台开发体验。

Lights Out, Systems On: Validating Instant Power Loss Readiness

• Tags: 云基础设施 系统可靠性 数据中心 工程实践

• Source: Meta Engineering | 阅读原文

[摘要]
Meta引入瞬时断电风暴测试框架，通过纵深防御策略验证数据中心零通知断电容错能力，提升基础设施韧性。

Microsoft continues migration from NTLM to Kerberos

• Tags: 安全协议 操作系统 Windows 身份验证

• Source: OSNews | 阅读原文

[摘要]
微软继续淘汰NTLM，默认禁用并在Windows 11 Insider版本中引入IAKerb和LocalKDC以支持Kerberos回退。

systemd 261-rc3 Released With Individual Binaries Now Embedding dlopen ELF Metadata Note

• Tags: Linux 开源项目 系统工具

• Source: Phoronix | 阅读原文

[摘要]
systemd 261-rc3 发布，主要变化是单个二进制文件嵌入 dlopen ELF 元数据注释，为即将到来的稳定版做准备。

AMD Submits Its Long-Awaited HDMI 2.1 FRL Support For Linux 7.2 AMDGPU

• Tags: Linux内核 显卡驱动 开源项目 硬件兼容

• Source: Phoronix | 阅读原文

[摘要]
AMD 向 Linux 7.2 AMDGPU 驱动提交 HDMI 2.1 FRL 支持，实现更高分辨率和高刷新率，解决长期等待的核心图形驱动特性。

Linux 7.2 Will Be Able To Boot On Apple M3 Macs - But Far From Useful For End-Users

• Tags: Linux内核 芯片硬件

• Source: Phoronix | 阅读原文

[摘要]
Linux 7.2 内核将能启动 Apple M3 设备，但支持仍非常有限，距离生产可用仍有较大差距。

GCC Git Enables Additional Tuning For AMD Zen 6

• Tags: 编译器 GCC AMD 芯片架构

• Source: Phoronix | 阅读原文

[摘要]
GCC Git 新增对 AMD Zen 6 架构的额外调优支持，为下一代处理器提升编译器性能。

Linux 7.1 + Mesa 26.1 Performance With The Radeon RX 9070 GRE, RX 9070 XT

• Tags: Linux内核 图形驱动 性能测试

• Source: Phoronix | 阅读原文

[摘要]
测试显示Linux 7.1内核和Mesa 26.1驱动相比默认堆栈对AMD Radeon RX 9070系列显卡性能提升有限。

Qualcomm Gets The Lenovo Yoga Slim 7x Gen11 Snapdragon X2 Laptop Working On Linux

• Tags: 芯片硬件 Linux内核 ARM生态

• Source: Phoronix | 阅读原文

[摘要]
高通骁龙X2笔记本联想Yoga Slim 7x Gen11通过Device Tree初步支持Linux启动，推动ARM架构Linux硬件生态进展。

Crown Engine 0.63 Restores Its OpenGL Renderer For Legacy Hardware Support

• Tags: 开源项目 图形渲染 游戏引擎

• Source: Phoronix | 阅读原文

[摘要]
Crown Engine 0.63版本恢复OpenGL渲染器，旨在兼容旧硬件，延续开源C++游戏引擎的演进。

3mdeb Keeps Making Progress On Their Coreboot + AMD openSIL Port To Ryzen MSI Board

• Tags: 固件 开源项目 芯片硬件 主板

• Source: Phoronix | 阅读原文

[摘要]
3mdeb 持续推进 Coreboot 与 AMD openSIL 在 Ryzen MSI 主板上的移植工作，为 Ryzen 9000 系列消费级主板提供开放固件支持。

SpaceX宣布6月12日上市，发行价135美元，估值1.77万亿美元，创史上最大IPO记录。 美方以“强迫劳动”为由拟对中方加征关税，外交部坚决反对并批评政治操弄，双方就关税问题展开交锋。 调查揭露网红减重针网销乱象，多家平台违规销售处方药，虚报病症可轻松开处方，存在健康风险。

史上最大IPO！SpaceX发行价135美元，6月12日上市，估值1.77万亿美元

• Tags: 科技舆情 资本事件 商业动态

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
SpaceX宣布6月12日上市，发行价135美元，估值1.77万亿美元，创史上最大IPO记录。

美方将借口“强迫劳动”对中方经济体征收额外关税，外交部：反对借此搞政治操弄

• Tags: 社会事件 外交争议 贸易政策

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
美方以“强迫劳动”为由拟对中方加征关税，外交部坚决反对并批评政治操弄，双方就关税问题展开交锋。

马上测｜网红减重针网销乱象：有商家宣称“不瘦必赔”，虚报病症也能开处方

• Tags: 消费争议 平台治理 医疗监管

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
调查揭露网红减重针网销乱象，多家平台违规销售处方药，虚报病症可轻松开处方，存在健康风险。

神农架一景区被指“圈路收费”，涉事公司最新公告：过境车辆全天候无条件自由通行

• Tags: 社会事件 消费争议 交通治理 公共权益

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
神农架景区被指对过境车辆“圈路收费”限时通过，涉事公司最新公告称全天候无条件自由通行，湖北省交通厅已介入调查。

“ChatGPT以后可能要没了”

• Tags: 科技舆情 商业争议 AI应用

• Source: 36氪热榜 | 阅读原文

[摘要]
OpenAI宣布Codex将并入ChatGPT，计划构建超级应用，反映AI从聊天向执行转变的行业趋势。

中方决定：禁止新西兰有关议员入境

• Tags: 外交事件 台海局势 国际关系

• Source: 百度实时热搜 | 阅读原文

[摘要]
中方因新西兰议员窜访台湾，决定禁止其入境，维护一个中国原则。

​48℃高温：印度，经历“超长夏天”

• Tags: 气候环境 国际舆情 社会民生

• Source: 南方周末 热门文章 | 阅读原文

[摘要]
印度遭遇极端高温，北部局地48.2℃，高温已从季节性灾害演变为常态化气候风险

圈国道收费遭多次投诉，神农架景区终于致歉：过境车辆自由通行

• Tags: 社会事件 公共治理 消费争议

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
湖北神农架景区因被指圈国道收费遭多次投诉，终于致歉并承诺过境车辆全天候无条件自由通行，引发公众对公共道路资源被占用收费的讨论。

央视曝光电诈洗钱新骗局

• Tags: 社会事件 诈骗警示 网络治理

• Source: 百度实时热搜 | 阅读原文

[摘要]
央视曝光电诈洗钱新骗局：骗子以百万扶贫款为诱饵，诱骗湖南老人跨省花20万买黄金洗钱，警方紧急提醒。

36氪独家｜2026 年字节 AI 的四个关键命题

• Tags: 科技舆情 商业竞争 人工智能 平台战略

• Source: 36氪热榜 | 阅读原文

[摘要]
36氪独家透露2026年字节AI四大命题：世界模型对标Google Genie3、视频模型创新、Coding能力提升、豆包商业化办公场景，展现科技竞争趋势。

经纬度：平陆运河全线通水，大国水网再添标志性工程

• Tags: 社会事件 基建工程 水网建设

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
平陆运河全线通水，进入有水调试阶段，预计9月建成通航，将缩短西南地区货物出海航程，助力西部陆海新通道建设。

马上评｜孩子判给继母而非生父？因为要最有利于孩子

• Tags: 社会事件 法律议题 未成年人保护

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
上海法院判继母获抚养权而非生父，坚持最有利于未成年子女原则，引发关于血缘与责任的讨论。

腾讯、阿里、字节，混战Skill商店

• Tags: 商业争议 科技舆情 平台治理 AI应用

• Source: 36氪热榜 | 阅读原文

[摘要]
字节、腾讯、阿里等大厂纷纷上线AI Skill商店，争夺AI时代流量入口，目前仅有扣子支持付费，本质是生态消费的卡位战。

女子花2万查丈夫出轨揪出辅警内鬼

• Tags: 社会事件 隐私安全 司法案件 平台治理

• Source: 百度实时热搜 | 阅读原文

[摘要]
甘肃静宁女子花2万查丈夫出轨，牵出辅警非法提供8000余条公民微信流水，三人因侵犯公民个人信息罪被判刑。

日本和菲律宾勾勾搭搭图谋什么

• Tags: 国际关系 地缘政治 地区安全

• Source: 百度实时热搜 | 阅读原文

[摘要]
日本与菲律宾近期加速推进"小圈子"外交，专家称两国制造对立、煽动紧张，已成为地区"麻烦制造者"。

Neolab 发布 Nex-N2-Pro，基于 Qwen3.5 的 397B MoE 推理模型，性能达到 GPT-5.5 级别，支持多模态与自适应推理深度，降低 token 消耗并取得多项 SOTA。 微软与OpenAI合作关系彻底破裂，双方转为正面竞争。微软AI主管Mustafa Suleyman表示将独立证明能力，标志两大AI巨头从合作走向对抗，深刻影响…

Nex-N2-Pro 发布：基于 Qwen3.5 的 397B MoE 推理模型，性能达 GPT-5.5 水平

• Tags: 模型发布 大模型 推理优化 智能体

• Source: AI HOT 精选 | 阅读原文

[摘要]
Neolab 发布 Nex-N2-Pro，基于 Qwen3.5 的 397B MoE 推理模型，性能达到 GPT-5.5 级别，支持多模态与自适应推理深度，降低 token 消耗并取得多项 SOTA。

微软与OpenAI分道扬镳--如今双方准备正面交锋

• Tags: 公司动态 AI产业格局

• Source: AI HOT 精选 | 阅读原文

[摘要]
微软与OpenAI合作关系彻底破裂，双方转为正面竞争。微软AI主管Mustafa Suleyman表示将独立证明能力，标志两大AI巨头从合作走向对抗，深刻影响行业格局。

OpenAI称AI递归自我改进迹象初现

• Tags: AI安全 公司动态 政策监管

• Source: AI HOT 精选 | 阅读原文

[摘要]
OpenAI指出AI递归自我改进迹象初现，AI开发正被自身加速，将加剧竞争与治理挑战，提示行业重大趋势变化。

Meet OpenJarvis：一个本地优先的设备端个人AI智能体框架，支持工具、记忆与学习

• Tags: 开源生态 智能体 模型发布 推理优化

• Source: AI HOT 精选 | 阅读原文

[摘要]
Stanford发布OpenJarvis，一个本地优先的设备端AI智能体框架，支持工具、记忆与学习，性能接近云端模型，API成本降低约800倍。

黄仁勋与纳德拉共议智能体AI时代

• Tags: 公司动态 智能体 AI生态

• Source: AI HOT 精选 | 阅读原文

[摘要]
黄仁勋与纳德拉在MSBuild共议智能体AI时代，展示NVIDIA与微软从Windows设备到规模化AI工厂的协作，标志智能体AI生态重要进展。

NVIDIA Research 在 CVPR 2026 发表三篇论文：规模化训练实现抓取、自动驾驶与智能体泛化

• Tags: 模型发布 机器人 自动驾驶 开源生态

• Source: AI HOT 精选 | 阅读原文

[摘要]
NVIDIA Research在CVPR 2026发表三篇论文：零样本抓取基础模型GraspGen-X、自动驾驶紧凑推理LCDrive以及具身智能体泛化NitroGen，并开源curoboV2等库，推动机器人、自动驾驶和具身智能泛化能力。

In-Context Graphical Inference

• Tags: 图模型 推理优化 Transformer

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出ICG-I，一种自回归图Transformer，通过模仿变量消除并采用张量列压缩进行图推断，在标准实例和受挫自旋玻璃上实现SOTA性能。

Adaptive Information Control for Search-Augmented LLM Reasoning

• Tags: 推理优化 RAG 大模型 智能体

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出DeepControl框架，通过信息效用自适应控制检索的进行与粒度，解决搜索增强LLM推理中的冗余与不稳定问题，在7个基准上平均优于Search-R1达9.4分。

Martingale Neural Operators: Learning Stochastic Marginals via Doob-Meyer Factorization

• Tags: 研究进展 AI科学计算 神经网络算子 不确定性量化

• Source: arXiv Machine Learning | 阅读原文

[摘要]
提出 Martingale Neural Operator，将 Doob-Meyer 定理引入神经算子架构，同时预测随机偏微分方程的均值和协方差，显著提升 Wasserstein 距离并加速推理，对科学计算与不确定性量化有重要价值。

Boson AI 与 LMSYS 发布基于 SGLang-Omni 的 Higgs Audio v3 TTS 端到端服务

• Tags: 模型发布 语音生成 推理优化

• Source: AI HOT 精选 | 阅读原文

[摘要]
Boson AI与LMSYS联合发布基于SGLang-Omni的Higgs Audio v3 TTS服务，4B参数，支持100+语言、零样本语音克隆及20+情感控制，实现低延迟流式合成。

Depth-Attention: Cross-Layer Value Mixing for Language Models

• Tags: 研究 模型优化 注意力机制

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出Depth-Attention，在注意力模块内实现跨层值混合，无需额外参数或推理状态，1.5B-3B模型上困惑度与下游精度均优于基线，为语言模型提供高效改进。

Hint Tuning: Less Data Makes Better Reasoners

• Tags: 推理优化 模型发布 大模型

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出 Hint Tuning 方法，仅用1000样本即可显著减少大推理模型推理 token 数（平均31.5%），同时维持准确率，提升推理效率。

Emergent Ordinal Geometry in Transformers Trained on Local Comparisons

• Tags: 大模型 推理 认知科学 研究进展

• Source: arXiv Artificial Intelligence | 阅读原文

[摘要]
研究发现Transformer仅通过局部比较训练即可涌现一维序数几何结构，其排序主轴精确恢复隐藏全序，并复现人类符号距离效应，为跨物种传递推理提供了神经几何解释。

RobotValues: Evaluating Household Robots When Human Values Conflict

• Tags: 智能体 AI安全 模型发布 多模态

• Source: arXiv Artificial Intelligence | 阅读原文

[摘要]
新基准RobotValues评估家用机器人在价值冲突场景中的行为，发现VLM模型默认偏好安全与包容，但难以按指令调整价值观，80%场景选错动作，对机器人价值对齐研究有重要意义。

Code-on-Graph: Iterative Programmatic Reasoning via Large Language Models on Knowledge Graphs

• Tags: LLM 知识图谱 推理 研究进展

• Source: arXiv Artificial Intelligence | 阅读原文

[摘要]
提出Code-on-Graph框架，通过代码生成与知识图谱模式实现灵活编程推理，避免直接注入大规模事实，在三个KG问答基准上超越前SOTA达10.5%。

Entropy Is Not Enough: Unlocking Effective Reinforcement Learning for Visual Reasoning via Vision-Anchored Token Selection

• Tags: 多模态 强化学习 推理优化 训练方法

• Source: arXiv Artificial Intelligence | 阅读原文

[摘要]
VEPO提出视觉锚定 token 选择机制，解决视觉推理中熵无效问题，显著提升多模态 RL 性能（7B 模型提升 2.28 点）。

Towards a Science of AI Agent Reliability

• Tags: AI安全 智能体 模型评估

• Source: arXiv Machine Learning | 阅读原文

[摘要]
提出12个指标系统衡量AI Agent可靠性（一致性、鲁棒性、可预测性、安全性），评估15个模型发现能力提升对可靠性改善很小，为安全部署提供新评估框架。

Qwen-Image-Flash: Beyond Objective Design

• Tags: 图像生成 模型蒸馏 训练策略 推理加速

• Source: arXiv Machine Learning | 阅读原文

[摘要]
提出基于训练配方优化的少步蒸馏方法，通过调整数据构成、教师引导与任务混合加速视觉生成模型，发布Qwen-Image-Flash。

P\textsuperscript{2}-DPO: Grounding Hallucination in Perceptual Processing via Calibration Direct Preference Optimization

• Tags: 多模态大模型 训练方法 幻觉缓解 DPO优化

• Source: arXiv Machine Learning | 阅读原文

[摘要]
提出P²-DPO训练范式，通过自生成偏好对与校准损失优化多模态大模型感知瓶颈与视觉鲁棒性，有效缓解幻觉且降低人工反馈成本。

Patcher: Post-Hoc Patching of Backdoored Large Language Models

• Tags: 大模型安全 后门防御 对抗鲁棒性

• Source: arXiv Machine Learning | 阅读原文

[摘要]
提出Patcher框架，仅凭单条失败案例即可定位并修复大语言模型的后门攻击，在保持模型性能的同时有效抵御自适应攻击。

分类了任意半单实代数群Anosov子群的horospherical不变Radon测度，推广了秩1理论到高秩，解决了公开问题，采用几何方法。 解决了Shenfeld-van Handel关于二维hard Lefschetz类数值刻画的一个开放问题，建立了Lorentzian多项式的局部Hodge指数不等式，并给出了首批允许非平凡增广基轨迹的例子。 通过变分对偶…

Classification of horospherical invariant measures in higher rank: The Full Story

• Tags: 动力系统 遍历理论 齐性空间 Anosov子群

• Source: arXiv Math.GT - Geometric Topology | 阅读原文

[摘要]
分类了任意半单实代数群Anosov子群的horospherical不变Radon测度，推广了秩1理论到高秩，解决了公开问题，采用几何方法。

Numerical characterization of the hard Lefschetz classes of dimension two, I: supercritical collections under certain rearrangement

• Tags: 代数几何 Hodge理论 Lorentzian多项式 组合几何

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
解决了Shenfeld-van Handel关于二维hard Lefschetz类数值刻画的一个开放问题，建立了Lorentzian多项式的局部Hodge指数不等式，并给出了首批允许非平凡增广基轨迹的例子。

A duality approach to the dense graph limit for biological transportation networks

• Tags: 变分学 Γ-收敛 网络理论 偏微分方程

• Source: arXiv Math.OC - Optimization and Control | 阅读原文

[摘要]
通过变分对偶方法研究生物输运网络的稠密图极限，证明半离散网络能量在L^γ拓扑下Mosco意义Γ-收敛到连续能量，允许退化可积核。

Centralizer Rigidity near Elements of the Weyl Chamber Flow

• Tags: 动力系统 李群 刚性理论

• Source: arXiv Math.DS - Dynamical Systems | 阅读原文

[摘要]
证明半单李群Weyl chamber流元素的中心化子刚性：体积保持扰动要么中心化子维数为0或1，要么光滑共轭于原流。

Carbery's inequality in the Schatten--von Neumann classes

• Tags: 算子理论 非交换分析 不等式

• Source: arXiv Math.FA - Functional Analysis | 阅读原文

[摘要]
完全解决了非交换Schatten-von Neumann类中Carbery提出的尖锐三角不等式问题，通过块算子约化和复插值得到了最优不等式。

Rigidity phenomena for time changes of products of Anosov flows

• Tags: 动力系统 双曲动力学 刚性 Anosov流

• Source: arXiv Math.DS - Dynamical Systems | 阅读原文

[摘要]
研究了Anosov流乘积的时间变化的刚性，证明了周期轨道稳定子决定了共轭性，并构造了Katok-Spatzier猜想反例。

Global weak solutions to the isentropic compressible Navier-Stokes equations with vacuum and unbounded density in a half-plane under Dirichlet boundary conditions

• Tags: 偏微分方程 流体动力学 Navier-Stokes方程 弱解

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
在Dirichlet边界条件下，为等熵可压缩Navier-Stokes方程在半平面上建立了一类允许真空和无界密度的全局弱解，推广了Hoff和Perepelitsa的工作，使用Green函数方法克服远场真空和无滑移边界带来的障碍。

Construction of multi-bubble solutions for the energy-critical wave equation in dimension four

• Tags: 偏微分方程 波动方程 多泡解

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
构造四维能量临界聚焦波动方程的多泡解，在有限群对称轨道上实现N个指定点无穷时间爆破，浓度尺度由四维边界衰减效应决定。

Entropic solutions to the 1D pressureless Euler system with nonlocal interactions

• Tags: 偏微分方程 守恒律 熵解 非局部相互作用

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
针对一维无压Euler-Poisson-alignment系统，通过熵选择原理建立全局适定性，得到唯一弱解，揭示吸引与排斥情形的定性差异。

Voronoi-Hankel Transforms

• Tags: 数论 表示论 局部Langlands对应

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
论文证实π-Fourier变换与Voronoi-Hankel变换本质相同，系统研究非阿基米德情形的核函数渐近行为及积分表示，并应用局部Langlands对应得到局部gamma因子稳定性定理的有效版本。

Infinite time bubbling for the $SU(2)$ Yang-Mills heat flow on $\mathbb{R}^4$

• Tags: 偏微分方程 几何分析 规范场论 热流

• Source: arXiv Math.DG - Differential Geometry | 阅读原文

[摘要]
构造了$\mathbb{R}^4$上$SU(2)$ Yang-Mills热流的无限时间气泡解和泡泡塔解，证明一般情形下该梯度流不收敛到Yang-Mills连接。

Incompressible planar surfaces in hyperbolic link exteriors in the 3-sphere

• Tags: 低维拓扑 双曲几何 三维流形 链环理论

• Source: arXiv Math.GT - Geometric Topology | 阅读原文

[摘要]
构造了三维球面中双曲链环外部的不可压缩平面曲面，为Eudave-Muñoz和Ozawa的猜想提供了反例，并完成三组分支情况的全分类。

Global large smooth solutions and overdamped limits for the damped isothermal Euler-Poisson system

• Tags: 偏微分方程 欧拉-泊松系统 全局解 过阻尼极限

• Source: arXiv Math.AP - Analysis of PDEs | 阅读原文

[摘要]
关于阻尼等温欧拉-泊松系统在周期域上的全局大光滑解存在性及过阻尼极限的收敛定量结果

Mean Curvature and Closed Geodesics in Convex Hypersurfaces

• Tags: 微分几何 凸几何 测地线 总平均曲率

• Source: arXiv Math.DG - Differential Geometry | 阅读原文

[摘要]
给出欧氏空间凸超曲面总平均曲率关于最短非平凡闭测地线长度的尖锐下界，推广了Paiva的结果，并利用Birkhoff不变量推导平均宽度及其他曲率泛函的下界，刻画了球面的唯一性。

Ollivier-Ricci Curvature for Causal Sets

• Tags: 微分几何 最优传输 因果集 Ricci曲率

• Source: arXiv Math.DG - Differential Geometry | 阅读原文

[摘要]
提出因果集上Ollivier-Ricci曲率的新定义，利用洛伦兹最优传输恢复类时曲率，证明局部到全局传播结果和类时Bonnet-Myers定理，数值实验验证常曲率空间特征。

伊朗对科威特主要机场发动致命袭击，专家警告持续打击可能危及和谈，地区冲突风险急剧升级。 伊朗向科威特和巴林发射导弹和无人机，造成袭击，中东地区安全形势骤然升级。 联合国秘书长对美伊夜间交火及伊朗威胁科威特和巴林表示关切，海湾地区紧张局势加剧。

Iran Launches Deadly Attack on Kuwait’s Main Airport

• Tags: 中东局势 军事冲突 伊朗 科威特

• Source: Foreign Policy | 阅读原文

[摘要]
伊朗对科威特主要机场发动致命袭击，专家警告持续打击可能危及和谈，地区冲突风险急剧升级。

Kuwait and Bahrain attacked as Iran launches missile and drone barrage

• Tags: 中东局势 伊朗军事行动 地区安全

• Source: Al Jazeera | 阅读原文

[摘要]
伊朗向科威特和巴林发射导弹和无人机，造成袭击，中东地区安全形势骤然升级。

World News in Brief: UN urges restraint as Gulf tensions rise, fear and uncertainty in Lebanon, hunger grows in the Sahel

• Tags: 中东局势 美伊关系 海湾紧张 联合国

• Source: UN News | 阅读原文

[摘要]
联合国秘书长对美伊夜间交火及伊朗威胁科威特和巴林表示关切，海湾地区紧张局势加剧。

US says it attacked Iran’s Qeshm Island; Tehran targets Kuwait, Bahrain

• Tags: 美伊冲突 中东局势 军事对抗 区域安全

• Source: Al Jazeera | 阅读原文

[摘要]
美军以自卫为由打击伊朗基什岛，伊朗随即报复科威特与巴林，中东局势急剧升级，地区冲突外溢风险显著增大。

Gaza’s public servants systematically targeted in Israeli strikes

• Tags: 巴以冲突 加沙局势 联合国 人道主义危机

• Source: UN News | 阅读原文

[摘要]
联合国人权办公室称，尽管加沙停火数月，以色列仍系统性地空袭公务人员包括警察，破坏和平与重建。

Israeli strikes kill nine in Lebanon as Hezbollah fires rockets over border

• Tags: 中东局势 以黎冲突 停火破裂 地缘风险

• Source: BBC News World | 阅读原文

[摘要]
以色列空袭黎巴嫩致9死，真主党火箭弹报复，周一刚达成的停火协议面临破裂风险。

France arrests Russian captain of Moscow-linked oil tanker

• Tags: 俄乌冲突 能源风险 欧洲安全 海洋安全

• Source: France 24 English | 阅读原文

[摘要]
法国海军在大西洋拦截并逮捕疑似俄罗斯“幽灵舰队”油轮船长，加强对俄制裁执法，加剧能源运输风险。

经合组织：若中东战事拖至明年 全球增长恐跌至2.1%

• Tags: 中东局势 全球经济 能源风险 贸易安全

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
经合组织警告，若中东战事持续至明年，全球增长可能降至2.1%，多国面临衰退风险，能源供应中断是主要压力。

鲁比奥：穆杰塔巴在世且日益活跃 不确定美伊何时能达成协议

• Tags: 中东局势 美伊关系 能源安全

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
鲁比奥证实伊朗新最高领袖活跃，美伊就停火及重开霍尔木兹海峡持续谈判，但制裁与核问题仍是核心障碍。

Poland pushes for permanent US base after Trump troop pivot

• Tags: 欧洲安全 美俄关系 北约 地缘风险

• Source: POLITICO Europe | 阅读原文

[摘要]
波兰推动美国永久驻军，应对俄罗斯威胁，反映欧洲安全格局变化及美欧军事关系调整。

US House passes war powers resolution to curb Trump’s authority in Iran

• Tags: 美伊关系 美国政治 中东局势

• Source: The Guardian World | 阅读原文

[摘要]
美国众议院通过战争权力决议，以215-208票要求特朗普在伊朗军事行动前获国会批准，反映立法与行政部门重大对立。

Ukraine strikes St. Petersburg with drones ahead of 'Russian Davos'

• Tags: 俄乌战争 地缘冲突 欧洲安全

• Source: France 24 English | 阅读原文

[摘要]
乌克兰无人机袭击圣彼得堡，击中俄军舰和油库，发生在普京经济论坛开幕日及北约秘书长访基辅时，加剧俄乌冲突风险。

Iranian Revolutionary Guards claim attacks on Bahrain and Kuwait

• Tags: 中东局势 伊朗美国关系 海湾安全 军事冲突

• Source: France 24 English | 阅读原文

[摘要]
伊朗革命卫队声称对巴林和科威特发动袭击，致1死63伤；美国也对伊朗格什姆岛发动打击，脆弱停火面临破裂。

Lithuania signals interest in American nukes

• Tags: 欧洲安全 北约 核扩散 波罗的海局势

• Source: POLITICO Europe | 阅读原文

[摘要]
立陶宛表示有意修改宪法，允许美国在其领土部署核武器，此举将深刻影响欧洲安全格局与俄欧关系。

伊朗称科威特和巴林应对美军利用其侵略伊朗负责

• Tags: 中东局势 伊朗 海湾安全 军事冲突

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
伊朗袭击科威特致63人受伤，巴林拦截导弹，伊朗指责两国为美军提供设施，中东局势持续升级。

rsync维护者Andrew Tridgell因AI生成代码大量涌入，数周内代码库变动+16k/-6k行，导致回归和稳定性问题，引发社区对AI代码质量的广泛讨论。 Ubuntu将通过SRU机制为26.04 LTS提供更新的AMD ROCm GPU计算栈，解决官方仓库版本滞后问题，用户可及时获取新特性与修复。 Valve工程师为RADV Vulkan驱动实现最…

Rsync opens the slopgates, regressions and bugs ensue

• Tags: 开源项目 基础设施 AI代码 回归问题

• Source: OSNews | 阅读原文

[摘要]
rsync维护者Andrew Tridgell因AI生成代码大量涌入，数周内代码库变动+16k/-6k行，导致回归和稳定性问题，引发社区对AI代码质量的广泛讨论。

Ubuntu To Ship Newer AMD ROCm Updates Via SRUs

• Tags: 操作系统 GPU计算 开源项目 AMD

• Source: Phoronix | 阅读原文

[摘要]
Ubuntu将通过SRU机制为26.04 LTS提供更新的AMD ROCm GPU计算栈，解决官方仓库版本滞后问题，用户可及时获取新特性与修复。

Marek Olšák Scores Up To 100% Pixel Throughput Optimization For RADV Driver

• Tags: GPU驱动 Vulkan Linux图形栈 性能优化

• Source: Phoronix | 阅读原文

[摘要]
Valve工程师为RADV Vulkan驱动实现最高100%像素吞吐量优化，显著提升Linux底层图形渲染性能。

Canonical Now Considers Their Steam Snap For ARM64 To Be Stable

• Tags: Linux发行版 ARM架构 指令集仿真 开源项目

• Source: Phoronix | 阅读原文

[摘要]
Canonical宣布基于FEX模拟器的Ubuntu ARM64 Steam Snap包达到稳定状态，实现x86游戏在ARM平台的高效兼容运行。

Intel Preps GCC Function Multi-Versioning To Support APX & AVX10.2

• Tags: 编译器 指令集 芯片硬件 性能优化

• Source: Phoronix | 阅读原文

[摘要]
GCC编译器添加函数多版本支持，针对Intel APX与AVX10.2指令集扩展，以优化性能。

New "KRAID" Compiler Merged To Mesa For Panfrost/PanVK Drivers

• Tags: 编译器 开源项目 图形驱动 芯片硬件

• Source: Phoronix | 阅读原文

[摘要]
新编译器KRAID已合并到Mesa 26.2，用于Panfrost和PanVK开源驱动，优化现代Arm Mali图形处理。

Intel XPU Manager Adds Support For Arc Pro B65 + Arc Pro B70

• Tags: 开源项目 硬件驱动 Linux内核 英特尔显卡

• Source: Phoronix | 阅读原文

[摘要]
Intel开源XPU Manager及NPU驱动更新，新增对Arc Pro B65/B70显卡的支持，完善Linux平台硬件兼容性。

Tridgell: rsync and outrage

• Tags: 开源项目 安全维护 rsync 网络工具

• Source: LWN.net | 阅读原文

[摘要]
rsync维护者回应LLM工具争议，说明因安全报告激增而加强测试套件、代码覆盖、CI、安全扫描和防御深度，并有新开发者加入。

AMD EPYC 8635P "Sorano" Benchmarks: Significant Upgrade Opportunity For EPYC 8004 Servers

• Tags: 芯片硬件 服务器 AMD 基准测试

• Source: Phoronix | 阅读原文

[摘要]
AMD EPYC 8635P (Zen 5) 基准测试发布，作为EPYC 8004服务器的直接替换升级，最高84核，提供显著性能提升。

NVIDIA Hopper & Blackwell GPU Support Moves Closer For Open-Source Nova Driver

• Tags: 开源项目 Linux驱动 GPU 硬件支持

• Source: Phoronix | 阅读原文

[摘要]
NVIDIA Hopper与Blackwell GPU在Rust编写的Nova开源驱动中取得第12版补丁系列支持，推进GPU System Processor路径。

Microsoft brings coreutils to Windows

• Tags: Windows coreutils 开发者工具 开源项目

• Source: OSNews | 阅读原文

[摘要]
微软发布Windows原生coreutils，基于Rust重写GNU工具，提供cat/grep等Unix命令，减少跨平台开发摩擦，当前预览版通过WinGet安装。

Microsoft Announces Coreutils For Windows: Derived From Rust Coreutils

• Tags: 开发工具链 开源项目 跨平台 Rust

• Source: Phoronix | 阅读原文

[摘要]
微软宣布基于Rust Coreutils为Windows提供核心工具集，旨在统一Windows/WSL/macOS/Linux的开发者体验，属于开源基础设施工具链的重要适配。

COSMIC Now Implements Wayland Pointer Constraints For Better Gaming Experience

• Tags: 桌面环境 Wayland 开源项目 游戏体验

• Source: Phoronix | 阅读原文

[摘要]
COSMIC桌面环境1.0.15实现Wayland指针约束，改善游戏鼠标捕捉与输入体验，增强Linux游戏兼容性。

Serena OS: a modern operating system for classic Amigas

• Tags: 操作系统 开源项目 系统架构 硬件平台

• Source: OSNews | 阅读原文

[摘要]
Serena OS是一款面向经典Amiga硬件的现代操作系统，基于调度队列而非线程，支持多用户、POSIX风格API、内核/用户空间分离、自定义文件系统及C99 libc。

Basic multicore support for DOS demo uncovered

• Tags: 操作系统 多核架构 DOS

• Source: OSNews | 阅读原文

[摘要]
DOS系统发现基础多核支持demo，工作核心运行在无OS裸金属环境，另一核心运行DOS，展示了底层多核可能性。

泽连斯基表示愿意即刻与普京直接谈判，推动俄乌冲突早日结束。 教育部发高考预警，明确携带手机及智能穿戴设备入场即算作弊，引发广泛社会关注。 6月2日至3日美伊爆发军事交锋，伊朗打击美军基地遭反击，多国拉响防空警报并停运机场，双方战果说法矛盾，引发广泛关注。

泽连斯基：愿即刻与普京直接谈判

• Tags: 国际政治 俄乌冲突 外交谈判

• Source: 百度实时热搜 | 阅读原文

[摘要]
泽连斯基表示愿意即刻与普京直接谈判，推动俄乌冲突早日结束。

带入考场即构成作弊！多地提醒

• Tags: 教育政策 考试安全 社会议题

• Source: 百度实时热搜 | 阅读原文

[摘要]
教育部发高考预警，明确携带手机及智能穿戴设备入场即算作弊，引发广泛社会关注。

过去一夜中东局势骤然升级

• Tags: 国际局势 军事冲突 公共安全

• Source: 百度实时热搜 | 阅读原文

[摘要]
6月2日至3日美伊爆发军事交锋，伊朗打击美军基地遭反击，多国拉响防空警报并停运机场，双方战果说法矛盾，引发广泛关注。

黄金替代美元成官方储备第一大资产

• Tags: 宏观经济 金融投资 国际财经

• Source: 百度实时热搜 | 阅读原文

[摘要]
欧洲央行报告显示，截至2025年底黄金占比升至27%超越美债，正式成为全球官方储备第一大资产。

受贿数额特别巨大，内蒙古自治区政府原主席王莉霞被提起公诉

• Tags: 反腐案件 官员落马 司法进展

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
内蒙古自治区原主席王莉霞被提起公诉，涉嫌受贿数额特别巨大，案件已由检察机关移交法院。

印媒披露数据：印度极端高温，单日或致3400人死亡

• Tags: 社会事件 公共卫生 气候变化 国际舆情

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
印度极端高温单日或致3400人死亡，空调普及率低且频繁停电，引发公共卫生危机关注。

腾讯的底牌，从来不是大模型

• Tags: 科技舆情 平台治理 商业争议

• Source: 36氪热榜 | 阅读原文

[摘要]
腾讯秘密测试微信AI Agent，港股大涨10%，行业格局或将迎来重大变革。

16亿Windows用户，一夜冲进Agent时代

• Tags: 科技舆情 AI智能体 平台生态

• Source: 36氪热榜 | 阅读原文

[摘要]
微软Build 2026发布Copilot超级应用、Autopilot Scout自主Agent、七款MAI模型及OpenClaw登陆Windows，推动16亿用户进入Agent时代。

气候临界点加速逼近：从印度热浪看全球极端高温的严峻现实

• Tags: 气候危机 极端天气 社会事件 环境议题

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
印度极端高温引发缺水断电危机，全球多地高温破纪录，气候临界点加速逼近，敲响生存警钟。

伊朗革命卫队：为回应美军袭击，已打击美以船只及美军基地

• Tags: 地缘政治 军事冲突 国际关系

• Source: 澎湃新闻 热榜 | 阅读原文

[摘要]
伊朗革命卫队宣称打击美以船只及美军基地以回应美军袭击，中东地缘局势升温。

科威特称伊朗袭击致63人受伤

• Tags: 国际冲突 安全事故 地缘政治

• Source: 百度实时热搜 | 阅读原文

[摘要]
科威特称伊朗袭击致63人受伤，启动紧急医疗预案，事件引发关注。

白天辉被判死刑入选人民法院案例库

• Tags: 司法案件 反腐败 案例库

• Source: 百度实时热搜 | 阅读原文

[摘要]
白天辉因受贿被判处死刑并执行，案例入选人民法院案例库，释明受贿罪死刑适用标准。

俄方提出停战条件

• Tags: 国际局势 军事外交 公共议题

• Source: 百度实时热搜 | 阅读原文

[摘要]
俄总统新闻秘书佩斯科夫表态，若乌军撤离俄全境冲突可当日结束，俄方倾向和平但拒谈则继续行动。

中方回应欧盟拟减少对亚洲技术依赖

• Tags: 国际经贸 外交政策 科技供应链

• Source: 百度实时热搜 | 阅读原文

[摘要]
外交部就欧盟拟降低对亚技术依赖表态，呼吁恪守自由贸易准则，反对保护主义，强调中欧经贸应互利共赢。

36氪独家 | 火山引擎提升MaaS营收目标至全年150亿元，Seedance 2.0单月营收已超10亿元

• Tags: 科技舆情 商业争议 AI产业

• Source: 36氪热榜 | 阅读原文

[摘要]
字节跳动火山引擎将MaaS营收目标上调至150亿元，Seedance 2.0视频模型单月收入超10亿元，展现AI商业化爆发。

英伟达发布Cosmos 3全模态世界模型，采用统一混合Transformer架构，支持多模态联合生成与理解，开源代码、权重及数据集，为具身智能提供核心底座。 LEAP是一个智能体框架，让通用大模型在形式化定理证明上达到SOTA，在2025年Putnam竞赛中解决全部12题，并将通用LLM的证明率从10%提升至70%，超越专业IMO系统。 论文揭示基于AI智能…

Cosmos 3: Omnimodal World Models for Physical AI

• Tags: 全模态 世界模型 具身智能 开源模型

• Source: arXiv Machine Learning | 阅读原文

[摘要]
英伟达发布Cosmos 3全模态世界模型，采用统一混合Transformer架构，支持多模态联合生成与理解，开源代码、权重及数据集，为具身智能提供核心底座。

LEAP: Supercharging LLMs for Formal Mathematics with Agentic Frameworks

• Tags: 智能体 大模型 研究突破 AI推理

• Source: arXiv Artificial Intelligence | 阅读原文

[摘要]
LEAP是一个智能体框架，让通用大模型在形式化定理证明上达到SOTA，在2025年Putnam竞赛中解决全部12题，并将通用LLM的证明率从10%提升至70%，超越专业IMO系统。

AI Agents Enable Adaptive Computer Worms

• Tags: AI安全 智能体 网络安全 大模型风险

• Source: arXiv Machine Learning | 阅读原文

[摘要]
论文揭示基于AI智能体的自适应计算机蠕虫，利用被控设备运行开源大模型动态生成攻击策略，突破传统防御与中心化安全限制。

消息称 DeepSeek 首轮融资拟筹集 500 亿元，腾讯、宁德时代等参投

• Tags: 公司动态 融资 大模型 产业生态

• Source: AI HOT 精选 | 阅读原文

[摘要]
DeepSeek 计划首轮融资500亿元，腾讯、宁德时代等参投，估值或达4000亿元，凸显中国AI大模型产业资本热潮与全链条布局。

Beyond Encoder Accumulation: Measuring Encoder Roles in Multi-Encoder VLMs

• Tags: 大模型 多模态 模型研究 推理优化

• Source: arXiv Artificial Intelligence | 阅读原文

[摘要]
论文通过大规模实验重新训练多编码器视觉语言模型子集，提出Capacity-Necessity分解和pre-projector秩分析，揭示最佳编码器组合原则，对多模态大模型设计有重要指导意义。

NVIDIA OmniDreams: Real-Time Generative World Model for Closed-Loop Autonomous Vehicle Simulation

• Tags: 模型发布 自动驾驶 仿真 世界模型

• Source: arXiv Artificial Intelligence | 阅读原文

[摘要]
英伟达发布OmniDreams，基于Cosmos扩散模型的实时生成式世界模型，用于自动驾驶闭环仿真，可生成极端天气等复杂场景，参数量仅为对比模型的1/5。

TRAP: Hijacking VLA CoT-Reasoning via Adversarial Patches

• Tags: AI安全 智能体 对抗攻击 机器人

• Source: arXiv Artificial Intelligence | 阅读原文

[摘要]
研究揭示VLA模型CoT推理存在安全漏洞，攻击者可通过对抗补丁劫持机器人行为，引发安全担忧。

When Should LLMs Be Less Specific? Selective Abstraction for Reliable Long-Form Text Generation

• Tags: 研究进展 推理优化 AI安全

• Source: arXiv Machine Learning | 阅读原文

[摘要]
提出选择性抽象框架，让LLM在长文本生成中通过降低不确定内容的细节来提升准确性，实验显示风险-覆盖曲线下面积提升27.73%。

Reading the Finetuning Prior: Verbatim Content Recovery via Contrastive Decoding Diffing

• Tags: 模型透明 AI安全 研究发布 ARXIV研究

• Source: arXiv Machine Learning | 阅读原文

[摘要]
论文提出 CDD 模型差异方法，仅利用输出层分布即可恢复微调模型植入的精确事实，比白盒方法更快更准，显著提升 AI 透明度和可审计性。

WaterSIC: Information-Theoretically (Near) Optimal Linear Layer Quantization

• Tags: 模型压缩 量化 LLM 推理优化

• Source: arXiv Machine Learning | 阅读原文

[摘要]
提出WaterSIC线性层量化算法，理论接近信息论最优，在Llama和Qwen系列上达SOTA。

Finding Kissing Numbers with Game-theoretic Reinforcement Learning

• Tags: AI研究 强化学习 数学发现

• Source: arXiv Machine Learning | 阅读原文

[摘要]
用博弈强化学习重新表述亲吻数问题，训练PackingStar系统发现新几何结构，改进15个长期未解边界，首次实现Fischer群Fi22的显式球面码，展示了AI在希尔伯特级问题上的突破。

RogueMerge: Robust and Unified Attacks against LLM Model Merging

• Tags: 大模型安全 模型合并 对抗攻击

• Source: arXiv Machine Learning | 阅读原文

[摘要]
提出RogueMerge框架，针对大模型合并中的任务向量供应链攻击，通过联合优化与分布鲁棒优化实现跨设置、抗防御的稳健统一攻击。

Taiji: Pareto Optimal Policy Optimization with Semantics-IDs Trade-off for Industrial LLM-Enhanced Recommendation

• Tags: 大模型 推荐系统 强化学习 工业落地

• Source: arXiv Computation and Language | 阅读原文

[摘要]
快手提出Taiji框架，通过逆向推理生成高质量CoT数据及帕累托最优策略优化平衡语义与推荐奖励，成功部署于广告平台服务超4亿日活用户。

A Primer in Post-Training Reasoning Data: What We Know About How It Works

• Tags: 后训练 推理数据 大模型 综述

• Source: arXiv Computation and Language | 阅读原文

[摘要]
首篇系统综述后训练推理数据的论文，涵盖数据对象、效用、构建和扩展方法。

Geometric Latent Reasoning Induces Shorter Generations in LLMs

• Tags: 大模型 推理优化 潜在空间推理

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出几何潜在推理方法，用连续潜在步骤替代早期显式推理，使LLM生成更短且准确。

Don't Read Everything: A Curvature-Conditioned Query for Linear Attention

• Tags: 注意力机制 推理优化 长上下文 大模型

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出曲率条件查询(CCQ)机制，通过读时查询收缩改进线性注意力，在多种任务上提升性能，且与多种骨干兼容。

Understanding LLM Behavior in Multi-Target Cross-Lingual Summarization

• Tags: 大模型 跨语言摘要 推理优化 模型分析

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出多目标跨语言摘要基准MEA与层分析框架，揭示LLM的翻译和摘要行为在后期层联合涌现，并设计推理时激活引导方法提升质量。

When and How Much to Imagine: Adaptive Test-Time Scaling with World Models for Visual Spatial Reasoning

• Tags: 多模态 推理优化 大模型 空间推理

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出自适应测试时视觉想象框架AVIC/AVIC-R，通过GRPO学习何时及多少想象，在空间推理任务中超越GPT-4o，显著提升效率与准确性。

MiCU: End-to-End Smart Home Command Understanding with Large Language Model

• Tags: 大模型 智能家居 推理优化 强化学习

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出MiCU，面向智能家居命令理解的领域LLM，采用课程学习、强化学习和token压缩技术，部署于小米Home app显著提升准确率。

Revise, Don't Freeze: Sampler-Matched Training for Self-Correcting Masked Diffusion Language Models

• Tags: 掩码扩散模型 训练方法 推理优化 大模型

• Source: arXiv Computation and Language | 阅读原文

[摘要]
提出D3IM采样器与SCOPE后训练方法，解决掩码扩散语言模型的修正能力不足和preservation bias问题，在LLaDA-8B上数学与代码任务提升显著。

该论文证明了组合数学中著名的Erdős-Rado向日葵猜想，确立了集合族包含指定大小向日葵的指数级上界。 研究ODE/IM对应在自由费米点的完备性，证明Bethe方程解与谐振子有理扩展谱等价，并显式对角化量子KdV前三个哈密顿算子，应用涉及牛顿对称多项式与怪物势的关系。 本文在椭圆曲线上研究广义拉梅方程，构造广义拉梅曲线与对数自由曲线，揭示其与sl2模表示论…

Erd\H{o}s Rado Sunflower (Conjecture) Theorem

• Tags: 组合数学 极值组合学 图论

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
该论文证明了组合数学中著名的Erdős-Rado向日葵猜想，确立了集合族包含指定大小向日葵的指数级上界。

ODE/IM Correspondence at the Free-Fermion Point. Laguerre Wronskians, Shifted Symmetric Functions, and Quantum KdV

• Tags: 数学物理 可积系统 特殊函数 表示论

• Source: arXiv Math-ph - Mathematical Physics | 阅读原文

[摘要]
研究ODE/IM对应在自由费米点的完备性，证明Bethe方程解与谐振子有理扩展谱等价，并显式对角化量子KdV前三个哈密顿算子，应用涉及牛顿对称多项式与怪物势的关系。

A theory of generalized Lam\'e curves

• Tags: 代数几何 可积系统 表示论 特殊函数

• Source: arXiv Math.AG - Algebraic Geometry | 阅读原文

[摘要]
本文在椭圆曲线上研究广义拉梅方程，构造广义拉梅曲线与对数自由曲线，揭示其与sl2模表示论的几何联系，并完全解决特雷比希猜想及KdV势计数问题。

Lean 4 Machine-Verified Proof of P = NP via the Pedigree Polytope Membership Problem

• Tags: 理论计算机 组合优化 形式化验证 复杂性理论

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
该工作利用多重商品流模型在强多项式时间内判定谱系多面体成员问题，据此推导旅行商问题可多项式求解，声称证明P=NP，且主证明链已获Lean 4机器验证。

On indefinite integral ternary quadratic forms

• Tags: 数论 二次型 算术几何

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
该论文解决了马古利斯和塞尔自1990年提出的两个关于不定整系数三元二次型的重要问题，并发展了处理高分歧情形的新工具。

Ulam Approximation for Nonautonomous Systems: Equivariant Measures and Linear Response

• Tags: 动力系统 遍历理论 逼近论

• Source: arXiv Math.DS - Dynamical Systems | 阅读原文

[摘要]
本文研究非自治系统的Ulam逼近，证明等变族和线性响应可通过有限维约化严格逼近，为马尔可夫近似应用于非自治复杂系统统计性质提供理论基础。

Wasserstein stability and the nonsingular Borel lifting problem

• Tags: 群作用 动力系统 测度论 概率论

• Source: arXiv Math.DS - Dynamical Systems | 阅读原文

[摘要]
通过引入Wasserstein稳定性（一种紧测度度量群的局部到全局原理），证明了大多数标准Levy群的非奇异Borel作用必以固定点支撑，从而否定了其非平凡非奇异Borel作用的存在性。

On the Schematic and Analytic Constructions of the Local Langlands Category

• Tags: 代数几何 数论 表示论 算术几何

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
证明局部朗兰兹对应中范畴增强的民间猜想，建立Zhu与Fargues-Scholze范畴的等价性，并推导局部舒拉变体上同调的新消没结果。

Quantum-Classical Equivalence for AND-Functions

• Tags: 理论计算机 量子通信 通信复杂度 布尔函数

• Source: arXiv CS.CC - Computational Complexity | 阅读原文

[摘要]
解决量子通信复杂度中长期开放问题，证明任意AND函数的量子与经典确定性通信复杂度多项式相关，并通过德摩根稀疏度给出结构刻画。

Positive resolution of Bartnik's cosmological splitting conjecture

• Tags: 洛伦兹几何 几何分析 刚性定理

• Source: arXiv Math.DG - Differential Geometry | 阅读原文

[摘要]
证明Bartnik宇宙分裂猜想，结合黏性解与p-达朗贝尔算子椭圆方法，确立满足强能量条件的时空等距分裂结构。

On the prime field spherical restriction conjecture in four dimensions: breaking the Stein-Tomas exponent and applications

• Tags: 调和分析 有限域几何 组合数论

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
提出水平切片与平面-直线分解新方法，克服Kloosterman障碍，突破四维素域球面限制猜想指数，首次改进Erdős-Falconer距离问题二十年阈值。

The geometry of the giant component of random geometric graphs

• Tags: 随机几何图 微分几何 概率论

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
该文研究黎曼流形上随机几何图的巨组分，证明其图距离在Gromov-Hausdorff意义下收敛到原流形，并利用此结论给出区分不同流形上随机几何图的多项式时间算法。

Arithmetic regularity as an alternative to transference

• Tags: 数论 加法组合 组合数学

• Source: arXiv Math.NT - Number Theory | 阅读原文

[摘要]
提出用算术正则性方法替代傅里叶分析传递原理，处理稀疏算术集上的组合定理，给出线性与高次方程系统的正确下界。

Sharp threshold for Hamilton cycles in randomly perturbed sparse graphs

• Tags: 组合数学 图论 随机图 哈密顿圈

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
确定随机扰动稀疏图中哈密顿圈的精确概率阈值，将常数改进至最优1，并证明下界紧确。

Connectivities for k-knitted graphs and for minimal counterexamples to Hadwiger's Conjecture

• Tags: 图论 组合数学 Hadwiger猜想 图连通性

• Source: arXiv Math.CO - Combinatorics | 阅读原文

[摘要]
证明每8ℓ-连通图是ℓ-针织的，并将Hadwiger猜想最小反例的顶点连通性下界改进至⌈k/8⌉，纠正了之前证明的漏洞。

伊朗于2026年5月正式设立波斯湾海峡管理局，将霍尔木兹海峡变为官方收费通行区，要求以加密货币支付过境费，此举可能重塑全球能源贸易通道并引发国际危机。 经合组织报告称2005-2024年中国在15个关键工业领域获得巨额国家补贴，远超外国竞争对手，2024年补贴总额达1080亿美元。 俄军导弹袭击乌克兰首都基辅，防空系统启动，市区传出剧烈爆炸声，局势持续紧张。

The Toll Booth at the Throat of World Trade

• Tags: 中东局势 霍尔木兹海峡 能源安全 地缘风险

• Source: War on the Rocks | 阅读原文

[摘要]
伊朗于2026年5月正式设立波斯湾海峡管理局，将霍尔木兹海峡变为官方收费通行区，要求以加密货币支付过境费，此举可能重塑全球能源贸易通道并引发国际危机。

Huge state subsidies give China unfair edge over foreign rivals, OECD says

• Tags: 中美关系 贸易安全 产业政策

• Source: Hong Kong Free Press | 阅读原文

[摘要]
经合组织报告称2005-2024年中国在15个关键工业领域获得巨额国家补贴，远超外国竞争对手，2024年补贴总额达1080亿美元。

乌克兰首都基辅响起剧烈爆炸声

• Tags: 俄乌战争 欧洲安全 军事冲突

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
俄军导弹袭击乌克兰首都基辅，防空系统启动，市区传出剧烈爆炸声，局势持续紧张。

消息：伊朗重新审视美国提出的停火协议

• Tags: 中东局势 美伊谈判 能源风险

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
伊朗因不信任美国正重新评估停火草案，要求解除制裁并保障石油收入；特朗普施压重开霍尔木兹海峡，中东局势与能源安全面临新变数。

Between Beijing and the Budget: The Domestic Realities of Taiwan’s Defense Spending Drama

• Tags: 台湾安全 美台关系 印太局势 防务预算

• Source: War on the Rocks | 阅读原文

[摘要]
台湾立法院通过250亿美元国防预算，结束半年僵局；美国施压与岛内政治博弈凸显台海安全风险及美台关系紧张。

乌克兰首都基辅等地遇袭 已致100多人伤亡

• Tags: 俄乌战争 军事冲突 区域安全

• Source: 中国新闻网 国际 | 阅读原文

[摘要]
俄军导弹和无人机大规模袭击基辅等多地，造成100多人伤亡，表明俄乌冲突持续激化。

专家警告：即便停战 原油供应年底前难完全恢复

• Tags: 中东局势 能源风险 OPEC+ 美伊关系

• Source: 联合早报 国际即时 | 阅读原文

[摘要]
石油业专家警告，即使霍尔木兹海峡重开，原油供应中断影响将持续至年底，OPEC+可能仍将增产，日本首相呼吁伊朗放行船只。

Trump says Iran talks moving fast despite threat to widen war

• Tags: 美伊关系 中东局势 能源风险 霍尔木兹海峡

• Source: France 24 English | 阅读原文

[摘要]
特朗普称美伊谈判进展迅速，但伊朗威胁将升级冲突，包括封锁霍尔木兹海峡，并暂停与调解方的对话。

'Crazy': Trump-Netanyahu tensions flare over Iran and Hezbollah

• Tags: 美以关系 中东局势 伊朗核问题 黎巴嫩真主党

• Source: France 24 English | 阅读原文