Kimi 技术团队近日发布了 Kimina-Prover 预览版的技术报告，并开源了1.5B 和7B 参数的模型蒸馏版本、用于数据生成的 Kimina-Autoformalizer-7
The Kimi technical team recently released a technical report on the preview version of Kimina-Prov
![Black Forest Labs与Krea推出开源FLUX.1-Krea[dev] 解决AI图像人工痕迹问题](https://img.i-n.cc/aigc-img/2025/11/15bbb9e646a80ad64a3f6ff264e082c4.png)
Black Forest Labs与AI初创公司Krea携手推出开源图像生成模型FLUX.1-Krea [dev]，该模型专注于解决当前AI生成图像中普遍存在的"人工痕迹"问题，通过优化细节处理和
emlog1 个月前
发表在：欢迎使用emlog这是系统生成的演示评论