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与AI初创公司Krea携手推出开源图像生成模型FLUX.1-Krea ，该模型专注于解决当前AI生成图像中普遍存在的"人工痕迹"问题，通过优化细节处理和美学表现，