DeepSeek开源Prover-V2强推理模型，网友：奥数从没这么简单过
前些天到处都在流传着 DeepSeek-R2 即将发布的传言，DeepSeek 确实有新动作，不过大家没等来 R2，等来的是 DeepSeek-Prover-V2，它当然也是开源的。
推理模型
抢先DeepSeek R2，阿里通义正式发布国内首个通用推理模型
已经流传了一个月的时间；特别是最近一周内，坊间对Qwen 3的猜测不断在“憋个大的”与“最终难产”之间反复横跳。
通用 r2 deepseek 推理模型 deepseekr2 2025-04-30 14:40 7
抢先DeepSeek R2，阿里通义正式发布国内首个通用推理模型 | 电厂
杭州一家中厂的算法从业者告诉「电厂」：“近几个月网上不少DeepSeek R2的泄露信息，有人说R2要在5月份发。Qwen 3（这个时间发布）肯定是想抢个先机。”
通用 r2 deepseek 推理模型 deepseekr2 2025-04-29 22:05 6
阿里巴巴推出 Qwen 3 系列‘混合式’AI 推理模型
大多数模型目前已经或将很快可通过 AI 开发平台 Hugging Face 和 GitHub 在 “open” 许可 下下载。它们的参数规模从 6 亿到 2350 亿不等。参数大致对应模型解决问题的能力，通常参数越多，模型的表现越好。
国产六大推理模型激战OpenAI？
离年夜饭仅剩几个小时，国内某家云服务器的工程师突然被拉入工作群，接到紧急任务，要求其快速调优芯片，以适配最新的DeepSeek-R1模型。该工程师告诉我们，“从接入到完成，整个过程不到一周”。
AI的胡编乱造，正在淹没中文互联网
虽然DeepSeek-R1确实好用，但它在爆火之后，成了人手一个的AI工具，也对中文互联网的信息环境造成了严重的污染情况，这是一个固然难以避免但也理应得到重视的问题。
基于推理模型+RAG+Agent，作业帮内部安全体系建设实践
从外部环境来看，AI 大模型的应用降低了攻击门槛。外部攻击者利用 AI 工具生成自动化攻击脚本、绕过传统检测规则，进行网络资产测绘和漏洞挖掘，攻击效率呈指数级增长，同时，攻击者逐渐呈现出组织化、产业化的趋势，他们之间分工明确，这无疑加剧了企业遭受针对性网络攻击
推理模型其实无需「思考」？
当 DeepSeek-R1、OpenAI o1 这样的大型推理模型还在通过增加推理时的计算量提升性能时，加州大学伯克利分校与艾伦人工智能研究所突然扔出了一颗深水炸弹： 别再卷 token 了，无需显式思维链，推理模型也能实现高效且准确的推理。
推理模型 thinking token nothinking 2025-04-19 19:07 7
推理模型其实无需「思考」？伯克利发现跳过思考会更快、更准确
当 DeepSeek-R1、OpenAI o1 这样的大型推理模型还在通过增加推理时的计算量提升性能时，加州大学伯克利分校与艾伦人工智能研究所突然扔出了一颗深水炸弹：别再卷 token 了，无需显式思维链，推理模型也能实现高效且准确的推理。
推理模型 thinking 伯克利 t nothinking 2025-04-19 14:03 5
Gemini 2.5 Flash 重磅登场：谷歌首推混合推理模型，思考模式可关，成本暴降 600%
今日，谷歌发布首个混合推理模型 Gemini 2.5 Flash，支持可调节「思考预算」功能，可开启或关闭深度推理模式，降低使用成本。目前，Gemini 2.5 Flash 预览版已集成至 Gemini 产品，并面向开发者开放 API 接入。
刚刚，OpenAI发布最强推理模型o3！
这次新发布的推理模型能够像智能体一样使用并组合 ChatGPT 中的每一个工具 —— 这包括搜索互联网、用 Python 分析上传的文件和其他数据、深入推理视觉输入，甚至生成图像。
OpenAI发布新推理模型o3和o4-mini 支持思考图片
4月17日，OpenAI在凌晨的直播中正式发布了其o系列推理模型的最新成果：o3和o4-mini。OpenAI官方表示，o3和o4-mini是其迄今为止发布的“最智能的模型”，它们在回答问题前能够进行更长时间的思考。
刚刚，最强推理模型 发布！首次能用图片思考，天才水平 附实测细节
OpenAI近期推出了O3和o4-mini模型，这两款新模型展现了巨大的推理能力和多模态处理能力，成为o系列中最先进的模型，吸引了众多科技爱好者的关注，大家对这些新技术充满期待。 在一次直播中，OpenAI的总裁Greg Brockman亲自演示了新模型的诸多
AI销售数据分析神器 + 超强推理模型
这款AI销售数据分析工具通过自动化分析和推理模型，快速生成详细报告，帮助销售团队精准定位问题、发现亮点，优化策略。无论是产品分析、地区对比还是成本结构，它都能提供全面洞察和可执行建议。
AI销售数据分析神器 + 超强推理模型（销售人，别错过！）
这款AI销售数据分析工具通过自动化分析和推理模型，快速生成详细报告，帮助销售团队精准定位问题、发现亮点，优化策略。无论是产品分析、地区对比还是成本结构，它都能提供全面洞察和可执行建议。
推理模型o3来了！图像深度思考首秀，开源编程智能体已揽5k+star
这次新发布的推理模型能够像智能体一样使用并组合 ChatGPT 中的每一个工具 —— 这包括搜索互联网、用 Python 分析上传的文件和其他数据、深入推理视觉输入，甚至生成图像。
OpenAI推出全新推理模型o3、o4-mini，以及一个编程智能体
而此次正式发布中，OpenAI不仅强调了o3模型在能力上的领先性，同时还强调了o3的Agent能力，且强调o3是第一代能够在思维链中使用图像进行推理的模型。
OpenAI发布o3推理模型，图像“思考”能力引领AI新飞跃
据OpenAI官方介绍，这两款新模型是o系列中的最新力作，它们在回答问题前能够进行更为深入的思考。OpenAI自豪地宣称，o3与o4-mini是其迄今为止发布的最智能的模型，这一突破将为从好奇用户到高级研究人员的广泛群体带来显著益处，标志着ChatGPT能力的
OpenAI 最强推理模型 o3 发布，能够“思考”图片
OpenAI 官方介绍称，这是其在 o 系列模型中最新训练的成果，可以在回答前进行更长时间的思考，也宣称是“迄今为止 OpenAI 发布的最智能的模型”，代表了 ChatGPT 能力的一次重大飞跃，从好奇的用户到高级研究人员都将因此受益。
OpenAI直播预告：满血版o3推理模型即将亮相？
近期，科技界备受瞩目的OpenAI公司宣布了一项重要直播活动，预告于晚间10点发布，而直播的核心内容预计是关于其备受期待的o3推理模型的完整版本发布，这一消息让众多科技爱好者彻夜守候，最终揭晓时刻定格在凌晨1点。