DeepSeek版o1，有消息了。 还未正式发布，已在代码基准测试LiveCodeBench霸榜前三，表现与OpenAI o1的中档推理设置相当。 注意了，这不是在DeepSeek官方App已经能试玩的DeepSeek-R1-Lite-Preview ...

近日，OpenAI 的 CEO 山姆・奥特曼在社交媒体上透露，备受期待的 o3-mini 将在几周内正式发布。这一消息让众多关注人工智能发展的用户感到兴奋。o3-mini 作为大模型的蒸馏版，将同时推出 API 和网页端，进一步满足用户的需求。

随着人工智能领域的不断发展，OpenAI最近发布的首个推理模型o1引发了广泛关注。在这一新模型发布不久后，用户们注意到了一些奇怪的现象——即使以英语提问，o1有时仍会在回答过程中突然转向中文、波斯语或其他语言进行“思考”。例如，当被问到“单词‘str ...

鉴于DeepSeek此前已宣布R1模型将开源，有网友表示，与OpenAI o1编程能力相当的开源模型即将发布，2025年的编程就只剩下按Tab键了。 两个月前，DeepSeek在官网上线DeepSeek-R1-Lite-Preview时曾透露： ...

OpenAI，有大事发生！最近各种爆料频出，比如 OpenAI 已经跨过「递归自我改进」临界点，o4、o5 已经能自动化 AI 研发，甚至 OpenAI 已经研发出 GPT-5？OpenAI 员工如潮水般爆料，疯狂暗示内部已开发出 ASI。

鉴于DeepSeek此前已宣布R1模型将开源，有网友表示，与OpenAI o1编程能力相当的开源模型即将发布，2025年的编程就只剩下按Tab键了。 两个月前，DeepSeek在官网上线DeepSeek-R1-Lite-Preview时曾透露： ...

媒体报道，在OpenAI 发布其首个“推理”AI模型o1不久后，有用户注意到一种奇怪的现象：即使用户是用英语提问，这一模型有时会在回答问题时突然“转而用”中文、波斯语或其他语言“思考”。 例如，当被问及“单词‘strawberry’中有多少个‘R’？

甚至还出现了这样一种传言：OpenAI和Anthropic已经训练出了GPT-5级别的模型，但都选择了“雪藏”。 原因在于，模型虽能力强，但运营成本太高，用GPT-5蒸馏出GPT-4o、o1、o3这类模型，才更具性价比。

IT之家 1 月 15 日消息，科技媒体 TechCrunch 昨日（1 月 14 日）发布博文，报道称 OpenAI 最新推理模型 o1 在推理过程中，会使用中文、波斯语等多种语言“思考”，引发了 AI 界的关注和猜测。 网友 ...

未来AI技术的进步可能会越来越不透明，真正的突破可能发生在公众视线之外。通过“蒸馏”技术，用强大、昂贵模型生成数据来提升略弱但更便宜的模型，或许正成为AI公司的普遍运作模式。本文来自：华尔街见闻，作者：赵颖，头图来自：视觉中国 ...

第四轮，通过增加MCTS回滚次数解决超难数学推理问题。在前三轮自我进化的基础之上，第四轮自我进化通过增加MCTS的回滚次数，进一步提升了rStar-Math解决具有挑战性数学问题的能力。