逻辑推理

MLNLP社区介绍了国内涌现的o1模型，并分享了一些测试结果。kimi的k0-math模型在数学和代码方面表现出色，但逻辑推理能力有待提高。社区呼吁开发者积极贡献开源模型，以超越OpenAI的技术水平。