「史上最强、思考最长、功能最全」推理模型o3 Pro登场，旧版降价80%，奥特曼再发小作文
OpenAI发布o3-Pro模型，主打高可靠性和强逻辑性。用户订阅后可在Pro模式中使用，适用于科研、专业内容创作等复杂任务。o3-Pro在多个测试基准上表现优异，但不支持图像生成等功能。
数学竞赛
DeepSeek再次升级！R1-0528：站上世界第二，智力全面超越xAI与Meta！
DeepSeek最新模型R1-0528在AAII评估中从60分跃升至68分，与谷歌Gemini 2.5 Pro并列全球第二。R1-0528未更换架构但实现了跨学科理解力和推理能力的提升，在所有开源模型中遥遥领先。其表现超越了xAI、Meta及Anthropic等知名模型，并展示了高效的后训练策略，尤其在强化学习的应用上表现出色。
OpenAI研究员Jason Wei发起的AI灵魂十问，你怎么选？
OpenAI研究员Jason Wei发起了一场关于AI技术偏好的讨论，通过十个问题引发网友热烈回应。网友们的答案揭示了不同AI从业者的观点和偏好。
啊！DeepSeek-R1、o3-mini能解奥数题却算不了多位数乘法？
微软研究院团队提出Transformer递归式自我提升方法，可在不修改基础架构的情况下解决长度泛化问题。通过多数投票和长度过滤，在10位数以内的乘法上实现近乎完美表现。
DeepSeek为啥这么火？技术内幕+应用场景大揭秘
2025年开年，国产大模型DeepSeek凭借低成本、高性能和全开源特性震撼全球。从数学竞赛到汽车智能座舱，DeepSeek重塑了多个行业应用，并在技术突破和实际落地方面展现了巨大潜力。
奥特曼被逼急：深夜上线 o3-mini，甚至免费，网友：还是选DeepSeek
OpenAI 发布 o3-mini 模型，包含低中高三个版本。o3-mini 是最具成本效益的推理模型之一，已上线 ChatGPT 和 API。o3-mini 在 STEM 领域表现优异，响应速度快且准确率高。同时保持了安全和智能水平。
Kimi 终于出手多模态！实测视觉思考模型 K1.VS. 正式版o1，不相上下
Kimi近日推出视觉思考模型 k1，并宣布对标正式版o1。在数学及物理等多个基础科学领域的测试中，k1-preview均表现出色，甚至超越了OpenAI o1、GPT-4等强模型。同时，k1还具备强大的图像识别能力。
