标题：陶哲轩亲测点赞o3-mini：专家级证明，我收到了一个完美的答案 正文： 陶哲轩亲测点赞o3-mini：专家级证明，我收到了一个完美的答案 陶哲轩测试了o3-mini，称其能够重建图论中标准（专家级）结果的证明。他评价道：“o3-mini完全可以应对三角形移除引理的证明。” 三角形移除...

微软宣布Copilot用户现可免费无限制访问OpenAI的o3-mini-high深度思考模型。此功能原仅限Pro计划用户使用，现已对所有用户开放。用户只需点击Copilot中的“深度思考”按钮，AI将在约30秒内生成经过充分推理的回复。OpenAI的o3-mini-high模型是其最新、最具成本效益的模型之一，提供更快的性能和更高的效率。

今日，《科创板日报》报道，Kimi最新模型k1.6曝光，据LiveCodeBench测试显示，k1.6编程能力超越GPT o3-mini、o1等模型。k1.6基于k1.5进行训练，性能仍在提升。月之暗面研究员Flood及联合创始人张予彤均对k1.6表示期待。目前k1.6尚未正式发布。（记者 李明明）

标题：OpenAI公开o3-mini思维链引发热议 OpenAI宣布将o3-mini的推理思维链公开，免费用户和付费用户均可查看。评论区网友纷纷表示感谢DeepSeek。 示例中，o3-mini展示了复杂的思考过程，包括模仿用户提问使用表情包。例如，当用户问为何今天不是星期五时，o3-mini通过蔡...

2月7日，OpenAI宣布更新o3-mini和o3-mini-high模型的思维链，面向所有用户提升AI推理透明度。此次更新使模型的‘推理’步骤及得出答案的方式更加透明和详细。更新后的模型能更好地展示其思考过程，增强用户对答案的理解和信任。OpenAI表示，这种改进有助于避免模型常见的错误，并支持多语言用户获取思维链，提供更友好、易懂的体验。

OpenAI推出全新推理模型o3-mini，首次向免费用户开放且成本降低15倍。近日，o3-mini与DeepSeek R1在编写Python脚本模拟球体弹跳的测试中展开竞争。o3-mini在模拟球在旋转六边形内弹跳时表现出色，而DeepSeek R1则在四维超立方体内模拟时效果不佳。AIGC从业者@myapdx进一步测试发现，o3-mini在模拟100个小球在球体内部弹跳时更胜一筹。这表明o3-mini在理解真实世界物理规律方面可能更为出色。

2月1日，OpenAI发布o3-mini模型，这是其最新、最具成本效益的模型，在数学代码等基准测试中刷新SOTA。相比o1-mini，o3-mini价格便宜63%，比满血版o1便宜93%。OpenAI CEO阿尔特曼在问答中提到，未来几周将推出满血版o3，并罕见承认错误，表示OpenAI需制定新的开源策略。阿尔特曼还提及DeepSeek，称其“非常好”。此外，OpenAI即将更新高级语音模型，可能命名为GPT-5。

OpenAI发布首个免费推理模型o3-mini系列，包括low、medium和high三个版本。该模型针对STEM领域进行优化，响应速度更快，且在多项测试中表现出色。ChatGPT Plus用户及企业级用户可从今日起访问，免费用户也可体验搜索功能。OpenAI CEO奥特曼反思称，在开源AI模型问题上，他们可能犯了错误。尽管如此，o3-mini的价格仍高于竞争对手DeepSeek-R1。网友们已开始实测，反应褒贬不一。OpenAI透露，高级语音模式GPT-5即将更新，推理模型将支持更多工具。

标题：Altman承认开源失误：OpenAI调整策略应对DeepSeek挑战 OpenAI CEO Sam Altman表示，他们在开源问题上可能站错了立场。面对DeepSeek的压力，OpenAI发布了最新推理模型o3-mini，全面开放给所有用户，包括免费用户。 o3-mini支持联网和展示思考...

北京时间2月1日，OpenAI发布o3-mini，这是其最新、最具成本效益的推理模型，已在ChatGPT和API中开放使用。这是OpenAI首次将推理模型开放给免费用户，此前仅限付费用户使用。OpenAI CEO Sam Altman在Reddit AMA活动中首次承认，闭源策略可能是错误的，需探索新的开源策略。o3-mini在多项测试中表现优于o1-mini，尤其在STEM领域。价格方面，免费用户可通过ChatGPT尝试o3-mini，但DeepSeek在成本和性能上仍具优势。OpenAI高管团队还讨论了其他产品更新和算力问题，强调了计算能力的重要性。