📅 本期精选来自 2026-06-18 ArXiv 最新论文，聚焦扩散模型、具身智能、VLM、机器人操作等核心方向，共 8 篇。 📄 论文精选 Diffusion-Proof: Recipe for Formal Theorem Proving Beyond Auto-Regressive Generation 链接： https://arxiv.org/abs/2606.19315 一句话总结： 首次将扩散语言模型（dLLM）应用于形式化定理证明，通过全证明生成与局部纠错双模型协同，在 MiniF2F-Test 上绝对提升 6.14%，并解决了 DeepSeek-Prover-V2-7B 未能解决的 IMO 题目。 ...
📅 本期精选来自 2026-04-13 ArXiv 最新论文，聚焦世界模型、扩散模型、视频生成、具身AI等核心方向，共 7 篇。 📄 论文精选 Envisioning the Future, One Step at a Time 链接： https://arxiv.org/abs/2604.09527 一句话总结： 提出基于稀疏点轨迹的自回归扩散模型，以极低计算代价实现开放集场景未来动态预测，性能比肩甚至超越密集视频模拟器。 ...
📅 本期精选来自 2026-03-09 ArXiv 最新论文（主要为 2026-03-06 提交），聚焦扩散模型、视频生成、机器人、视觉语言模型等核心方向，共 8 篇。 📄 论文精选 Physical Simulator In-the-Loop Video Generation 链接： https://arxiv.org/abs/2603.06408 一句话总结： 将物理仿真器嵌入扩散视频生成流程（PSIVG），使生成视频在对象动力学上严格遵守真实物理定律，被 CVPR 2026 接收。 ...