内容持续更新中
Kimi 技术团队近日发布了 Kimina-Prover 预览版的技术报告，并开源了1.5B 和7B 参数的模型蒸馏版本、用于数据生成的 Kimina-Autoformalizer-7B …
近日，腾讯隆重推出了其全新自研的深度思考模型——混元T1正式版。该模型在大规模强化学习的基础上，针对数学、逻辑推理、科学以及代码等理科领域进行了深度优化，从而显著提升了其推理能力。在各类评估中，混元T…
AI圈再掀巨浪!阿里巴巴震撼发布并全面开源了其最新力作——通义千问QwQ-32B推理模型。这款被寄予厚望的新模型，并非徒有虚名，而是经过大规模强化学习的千锤百炼，在硬核的数学运算、复杂的代码编写以及通…
