「结构化推理」共找到 3025 篇相关文章
2 天斩获 3.5K 标星！GitHub 惊现神器！一个二进制文件把 DeepSeek V4 搬进终端
GitHub上的DeepSeek TUI项目开源两天获3.5K Star，它把DeepSeek V4模型搬进终端成编码智能体，有原生RLM并行推理等亮点，提供多种安装方式、支持多提供商，适合终端开发者。
Claude 新增交互式图表和示意图，免费能用
Claude 新增交互式图表和示意图功能，付费与免费用户均可在聊天中直接生成。通过虚构建筑系学生 Andrea 的使用场景展示，如职业探索卡片、结构力学荷载图等，将工具嵌入成长故事线。
Thinking Machines 发布又一神作「在线策略蒸馏」 ，LLM后训练效率飙升50-100倍
Mira的THINKING MACHINES开源「在线策略蒸馏」LLM后训练方法，结合两种主流后训练范式优点，提升训练效率50 - 100倍，成本降低9到30倍，可用于数学推理、模型个性化等场景。
GPT-5 核心成员详解 RL：Pre-training 只有和 RL 结合才能走向 AGI
本文编译 OpenAI 研究副总裁 Jerry Tworek 访谈，探讨 RL 与通向 AGI 路径。他认为 pre - training 与 RL 需结合，GPT - 5 是 o3 迭代，还谈及推理、模型发展、训练方式及 OpenAI 研究情况等。
马斯克Grok 4正式发布：世界最大AI超级计算机就训练了这？
Grok 4公开基准测试有进步，但在高级推理测试表现差，视觉理解仍是短板。性能提升多靠整合符号工具，无重大技术创新，‘幻觉’问题没实质进展，xAI官方对道德对齐信心不足。
清华SageAttention3，FP4量化5倍加速！且首次支持8比特训练
清华大学陈键飞团队提出针对BlackWell架构的SageAttention3，实现5倍于FlashAttention的推理加速，首次支持8比特训练。在多种大模型上保持端到端精度，代码将分别于6、7月开源。
刚刚，一口气连发3个王炸模型、亮出2026年AGI战略，昆仑万维夯爆了
27日下午，昆仑万维在2026中关村论坛发布全新AI游戏世界模型Matrix - Game 3.0、AI视频大模型SkyReels V4和AI音乐大模型Mureka V9，还公布2026 AGI战略，推动AI从全模态能力突破进入平台化构建阶段。
ViT一作盛赞：这个中国开源“PS模型”强过Nano Banana
ViT核心作者Lucas Beyer连发三条帖子怒赞通义千问发布的开源模型Qwen—Image—Layered，认为这是图像生成的正确打开方式。该模型可实现PS级拆图自由，支持精细化修改图片元素，核心技术是端到端的扩散模型。
上线一年用户破百万，这个AI健康管理产品只靠一只海獭？ | 对话OtterLife
AI健康管理产品众多，多数陷入同质化或功能堆砌困局。OtterLife将虚拟海獭融入健康习惯养成，上线一年用户破百万。量子位智库对话其负责人相城，探讨产品特色、市场、设计等多方面问题。
对话逐际动力张巍：造机器人很容易，关键是用起来
量子位对话逐际动力创始人张巍，他表示人形机器人本体硬件制造容易，难点在大脑和小脑AI化能力。逐际动力要做技术平台，降低开发门槛，目标是让天下没有难落地的机器人。