compute-efficient

视觉提示工程（VIPE）自动修改任务图像以提升视频模型的推理性能，通常比基于文本的提示或测试时缩放更为有效。

SeFi-Image 是一种基于 Semantic-First Diffusion 的新型开源文本到图像基础模型，拥有 1B、2B 和 5B 参数规模，仅用 12.5 万 A800 GPU 小时即可完成训练。

Pythagoras-Prover 是一个计算高效的Lean定理证明器系列，通过课程监督微调和新颖的增强型Lean形式化技术实现了强劲性能。4B模型在MiniF2F-Test上以pass@32超越了DeepSeek-Prover-V2-671B，32B模型则在开源证明器中树立了新的最先进水平。