标题：上海AI实验室版o1已上线！数学题、Leetcode全拿下，还会玩24点

国产o1新选手登场！它能快速解决更复杂的数学解题、代码编程、数字游戏等任务。这就是上海AI实验室版o1——强推理模型书生InternThinker，现已正式开放试用！

新模型不仅在长思维能力方面有了很大提升，还能在推理过程中进行自我反思和纠正。例如，InternThinker不仅能逐步猜出复杂的填字游戏答案，还能在过程中检查是否有冲突。此外，它的编程能力也更强，成功解决了中等难度的Leetcode赛题。

国外网友纷纷称赞：“中国公司的进步速度太快了！”书生InternThinker具备长思维能力，并能在推理过程中进行自我反思和纠正，在数学、代码、推理谜题等多种复杂推理任务上取得更优结果。

实现这一突破的关键在于以下三种策略： 1. 利用元认知理论学习思维模式，通过元动作如理解、知识回忆、规划、执行、反思和总结，让模型更灵活、多样、有效地解决问题。 2. “通专融合”的高密度监督数据路径，通过协作流程提升思维链的格式规范性和可学习性。 3. 构建大规模沙盒环境，提供反馈信号，确保模型在推理任务中的表现得到精准反馈。

InternThinker已在测试使用中，可通过链接体验更多有趣题目：https://internlm-chat.intern-ai.org.cn