1、Phi-4 14B reasoning：超强的14B推理模型 基于Phi-4 14B 的推理模板，AIME24的评分接近Qwen3 32B，AIME25的评分超过QWen3 32B。 模型：https://huggingface.co/microsoft/Phi-4-reasoning-plus
2、DeepSeek-Prover-V2：专门用于定理证明的LLM
专为Lean 4形式化定理证明设计的开源大型语言模型，发布了671B和7B两个大小的模型。
模型：https://huggingface.co/collections/deepseek-ai/deepseek-prover-66beb212ae70890c90f24176
3、Runway推出Gen-4 References
用于生成图片时提供参考，可以是角色参考、场景参考等。根据MidJourney官推的回复，MidJourney也即将推出omni reference，也是类似的作用。
4、3DV-TON：AI换衣+生成3D展示视频
AI换衣且生成360度展示衣服的视频。
项目地址：https://2y7c3.github.io/3DV-TON/
我的知识星球
