数学推理

腾讯推出的专业推理大模型，长文处理与推理能力表现突出 混元T1是腾讯开发的专业推理大语言模型，聚焦推理能力优化，在长文本处理、上下文信息捕捉方面表现优于同类通用模型，同时对计算资源消耗做了针对性优化，推理效率更高，尤其擅长数学、逻辑类推理任务，基于深度学习结合用户反馈迭代优化，可支持多领域推理类应用需求。

60+数学家共建的无数据污染现代数学AI评估平台 由超过60位专家数学家共同创建，覆盖从代数几何到Zermelo-Fraenkel集合论的全谱现代数学领域。平台所有评估问题均为专家原创未发表内容，解决了现有AI能力基准测试中普遍存在的数据污染问题，当前顶尖大模型GPT-4、Gemini仅能解决不到2%的平台问题，可提供真实的AI数学能力评估结果。

Yi-Coder是开源多参数编程大模型，主打高效推理与灵活训练 Yi-Coder拥有1.5B和9B两种参数版本，同时提供基础版与聊天版，其中9B版本基于GitHub代码库级语料和筛选后的CommonCrawl代码相关数据，完成2.4万亿高质量token训练，在多类编程任务中表现突出。