标题：上海AI实验室版o1已上线！数学题、Leetcode全拿下，还会玩24点 国产o1新选手登场！它能快速解决更复杂的数学解题、代码编程、数字游戏等任务。这就是上海AI实验室版o1——强推理模型书生InternThinker，现已正式开放试用！ 新模型不仅在长思维能力方面有了很大提升，还能在推理过...

【上海人工智能实验室开放书生·浦语大模型】 11月25日晚，上海人工智能实验室正式向社会用户开放了书生·浦语大模型，并同步发布了具备强推理能力的InternThinker模型。InternThinker模型在数学、代码编写及推理谜题等复杂任务中表现出色，尤其因其能够进行自我反思和纠正，显著提升了推理过程中的准确性和效率。此次发布不仅标志着上海人工智能实验室在大模型领域取得了重要进展，也为科研人员和开发者提供了强大的工具支持。 （以上摘要共计226字）