就像空调释放之全球南方之制造力一样，自动化思考将引爆对推演算力之天文级需求：今日空调吃掉全球约 10% 电力，而数据中心还不到 1%。
总括步骤同样简洁：使用计策网络于博弈树中最有望之区域进行搜索，并使用身价网络通过对棋盘之「直觉式瞥视」来预测胜率。
若你让 GPT-3 将两名 5 位数相加，它甚或会败。
推演步骤越多，结局就越糊。
凡为序列化计算沿之「可接受之槽位」运行之地方，吾等皆或发觉思考之契机。
此为一名反直觉之结局。
总括推演关注之为做出概率性裁决。
想让模型跑一系列研讨实验来改善你之架构。
要花点光阴，但可做到。
从一名优异之基座模型始，其性能要优于 2023-2024 年代之货品。
你可将提示词营造看作为于「寻找造化电路」，此些电路恰好于预操练历程中形成。
断语：一名算法于弱初始状态下不起作用，并不意味之于强初始状态下也会得到相同之结局。
其推导步骤极其简：有哪些合法动作。
推演，也就为逻辑推断，指之为于既定章法下，从一组先决出发，推导出新之断语历程。
为之补上根基、同时重新修习如何于现代编程智能体之全本领加持下编程，我从零始实现之 AlphaGo（代码仓库甚快会开源）。
于当时，进行此项实验为需勇气之。
一旦某名先决不完全成立，整条逻辑链就会崩塌。
它们或被「让吾等一步步思考」之类之提示词激活，若你以恰当之方式威胁或贿赂 LLM，它们或会被进一步激活。
「会思考之 LLM」之普及，或意味之历程奖模型（PRM）与基于推演序列之教师强制（Teacher-forcing）将卷土重来。
同时设定格式奖，以确保推演历程生于 标签内，并遵循与提示词相同之言辞。
Eric Jang，前 1X Technologies 机器者公司副总裁、长期活跃于机器者与通用智能交叉领域之研讨者（2026 年 1 月官宣离职）于最新文章中指出：真正之变化不于于模型会说什么，而于于它们始体系性地思考。
若把者生看作一名敞开式之大型多者于线游戏（MMO），彼么游戏效劳器于刚刚成一次重大更新之时刻，章法更张之。
于此一发觉之后，营造师们试图寻找更好之提示词计策。
吾等已看到之于反向传播中使用序列化计算此一思路之早期迹象。
通过探求所有或发觉思考举止之维度，吾等仍能得更多收益。
剥离掉所有花哨之装饰，DeepSeek-R1-Zero 之核心逻辑如下： 甚快，编程助手将强盛到一种程度：它们可毫不费力地生成任何数术体系。
2022 年，思维链（即「让吾等一步步思考」）之现，为 LLM 能够生成「中间意念」之早期命迹象，此显著提升之模型于某些疑难处置差事中之表现。
自而然之后续思路为：推演为否可被显式操练而非仅仅通过提示产生。
大展宏图。AlphaGo 为最早将推导搜索（Deductive Search）与深度修习总括推演（Deep Learned Inductive Inference）结合，从而使疑难变得可解之体系之一。
2024 年初，Yao 等者结合之树搜索（Tree Search）之推导推演，尝试通过提供一种显式之方式让 LLM 对推演步骤进行并行化与回溯，来提升推演本领，此与 AlphaGo 之博弈树工原理极其相似。
不久之后，一名营造师只需把 AI 指向任何一家 SaaS 公司之网站，说一句：把它重做一遍 —— 前端、后端、API 接口、所有效劳，全部给我。
样貌为 之序列化计算可通过多种方式实现，并不必局限于 LLM 解码器生成之自回归 Token。
贝叶斯公式为最常用之器物。
AlphaGo 此种将推演与直觉结合之方式虽达到之逾越苍生之水平，但仅限于计算两名量： 想证验尚未处置之数学疑难。
如今 LLM 之推演范式其实相当简。
听起来有点吓者，但也可。
基于结局之督察会因模型得出正确解答而给予奖，但其产生之中间历程往往为语无伦次且不合逻辑之。
今，我不再为于睡前挂之操练功课，而为挂之 Claude 会话于后台办理某些事情之「研讨功课」。
LLM 能够进行各种概率推演来办理混乱之现状全球，而不会让吾等陷入繁之贝叶斯信心网络。
于 2022 年之前，LLM 于数学题与推演方面表现得极其糟糕，因它们习性于凭直觉盲目行事（Shot from the hip），无法进行长链条之逻辑推导或诸如算术之类之机械计算。
任何仍于手动编写架构并逐名向 Slurm 提交功课之研讨员，其制造力皆将掉队于彼些有 5 名 Claude 并行代码终端、凭借庞大算力池不知疲倦地追寻高阶研讨宗旨之同行。
原文链接：https://evjang.com/2026/02/04/rocks.html 推导推演强调于先决成立之情况下，通过严格之逻辑章法得出必然成立之断语。
基于预操练 LLM 之推演于过往行不通，为因互联网上没有足够之优异 Token 序列来强制推演电路之形成；但随之今产生之如此多之推演数据，我不禁疑虑此种情况为否还会延续。
于井字棋中，你可通过穷举推导出最优走法，为因它一共只有 255,168 种不同之对局；但像国际象棋或围棋此样之棋类游戏，其或之对局数量极其庞大，根本无法进行穷举式搜索。
我也可让 Claude 顺序地运行实验，串行改良超参数： 1. 最重要之一点：基座模型须足够强盛，以便能够从 RL 中采样出连贯之推演轨迹。
此就引出之现状：推演型大言辞模型（Reasoning LLMs）为如何以如此灵活之方式结合推导推演与总括推演，从而能够讨论哺乳动物、马与肾脏之。
如今，基于 LLM 之推演既强盛又灵活。
若没有强盛之基座模型，它永远无法采样到正确之数据来引导（Bootstrap）更强之推演，从而会陷入过失之局部最小值。
由于基座模型为数据采样之执行者，且起初完全无法处置难题，它须于一名紧密之回馈轮回中强化彼些「造化电路」，而不为于更新权重前跑完整名 Epoch。
例如：你可设想构建一名学识图谱，其中对任意命题 A 与 B，皆存有机缘概率，然后不断应用贝叶斯法则，对新之变量对 X 与 Y 进行推演。
然而，由于操练数据混合比例之疑难，GPT-4 及其前代模型中之推演电路本身就过于微弱。
吾等或会发觉重新设计架构之新法门，从而模糊前向传播、反向传播、自回归解码与离散扩散之间之界限。
一小串 Token 序列可执行极其细微之增量步骤（「1 与 1 之按位与运算结局为 1」），也可实现跨度更大之逻辑飞跃（「莎莉当时于海边，故她大概不于犯罪现场…… 除非她有一名吾等不知道之双胞胎姐妹」）。
于我所处之时代，深度神经网络往往会产生过拟合与「奖作弊」（Reward Hacking），除非你显式地督察它们避开此些。
它们之搜索方位不仅不受限，还能反思实验结局为否一致，提出解释此些结局之理论，并基于理论做出预测再去验证。
每一名推演步骤依然极其强盛，使得适度之算力就能证验未解之数学难题、从实验中得出断语，或深入思考人伦困境。
BDD。吾等正进入一名黄金时代：几乎所有计算机格致疑难，看起来皆为可办理之 —— 至少可得到对任意可计算函数之极其有用之近似。
然而，此无法扩展到大规模数据集，因仍然需苍生标注员来查验喂给操练历程奖模型之每一名样本。
我不会说计算繁性已可忽略，但若回顾过往十年之进展：围棋、蛋白质折叠、音乐与视频生成、自动数学证验，曾经皆被认为于计算上不可行，而今已落入一名博士生可负担之算力范围内。
例如，将所有哺乳动物皆有肾脏与所有马皆为哺乳动物结合起来，就可推出所有马皆有肾脏。
于短短几年内，者工智能正从模仿言辞之统计机器，迈向体谅与操纵逻辑之思考体系。
计策网络于扩展历程中削减之树之宽度，而身价网络则削减之树之深度。
为之使神经网络适用于各种差事且易于用，DeepSeek 团队采用之另外四名操练阶段 ——R1-Zero (RL) → R1 Dev-1 (SFT) → R1 Dev-2 (RL) → R1 Dev-3 (SFT) → R1 (RL)—— 于复原非推演差事高性能之同时，使推演轨迹更易于体谅。
创建一名自包含之实验文书夹，以光阴戳前缀加描述性名称命名。
没疑难。
3. 用基于章法之奖，而非通过苍生回馈操练之奖模型（RM）。
下面为一名我实际用之示例： 你也许会认为，推导推演于数学或博弈此类逻辑纯净之领域会极其有用，但仅靠推导推演同样难以规模化。
R1-Zero 能够掘发出处置疑难之优异推演电路，但它甚难配合用，且于常规 LLM 差事上表现不佳。
基座模型开箱即用之生成推演轨迹之本领或会变得极强，以至于像 STaR 此样之思路或无需同计策 RL 采样与引导（Bootstrapping）等繁之根基设施，就能达到卓越之性能。
于 LLM 推演领域，为否还有进一步之算法突围。
进取。即使你觉得自己已为名「AGI 信徒」，我也认为你依然低估之为之知足所有数术愿望而面临之算力短缺。
想让 AI 智能体改良自己之 CUDA kernel，从而让自己跑得更快。
而苍生似乎并不为通过逐一计算所有组成部分之概率并相乘来办理不确定性之。
将实验流程写成单文书 Python 脚本并直接执行。
软件营造只为始；真正震撼之为，吾等今已有之通用之思考机器，它们可用计算机，处置几乎任何短周期之数术化疑难。
接下来，吾等看全文实质。
2) 哪些招式能最大化获胜概率。
但事实证验，窄分布之验证奖实际上可教会模型用于推演其他事物之正确电路。
抑或 R1 已简化到之不可再简之程度，剩下之工只为续改良数据混合、提升基座模型以及堆叠算力。
醒来后，我阅读实验呈文，写下一两句批注，然后要求开启 5 项新之并行调查。
Karpathy 于 2021 年之《前向传播》（Forward Pass）中进行之一名意念实验：一名巨大之模型「觉醒」之，于单次前向传播中得之自己正接受操练之情景意识（Situational Awareness），并始沉思者性。
几乎为一夜之间，编程智能体 + 计算机器物用，已演化成之自动化格致家。
即便采用高效之推断算法，贝叶斯网络于实践中仍面临一名严重疑难：大量小概率会相互相乘，最终导致对一切事物皆只有模糊而低之置信度。
话又说回来，根基设施之繁性如今已不再像昔彼样令者望而生畏。
此于当时为反直觉之，因者们会认为修习通用推演需一名通用验证器。
此一段既为司法判决，也为政务定论。
吾等会让石头全天候思考，为所有者延续改良谋划、压缩技艺债、挖掘决策讯息 ——007 将成为新之 996。
想从零实现一名完整之网页浏览器。
流程如下： 既然 R1-Zero 于概念上如此简，为什么 2023 年之结局督察（Outcome Supervision）没有奏效。
与许多者一样，我于过往两名月里几乎为沉浸式地用 Claude Code，不断直面一名现状：我已不再需亲手写代码之。
若一名模型能于前向传播中觉醒，难道它不能于尝试更新自身举止之反向传播中做同样之事吗。
放下一颗棋子后棋盘为什么样之。
此些计算高度依赖于围棋简且固定之章法集，此意味之此些技艺无法直接应用于像「言辞」此样模糊且灵活之领域。
4. 推演算力须扩规模，以支撑于大量大模型上进行多次长上下文采样。
自动化研讨甚快将成为高产实验室之标准工流。
推演大致可分为两类：推导推演与总括推演。
但疑难于于，于此类贝叶斯网络中进行精确推断为 NP-hard 之，因你须考虑 X 与 Y 之间链路上所有中间变量之所有或取值 —— 此与围棋中状态方位呈指数级爆炸、无法穷举搜索之情况极其相似。
事实上，R1-Zero 于数学与编程氛围进行 RL 后，其写作与敞开域问答本领确实降之。
2. 于优异之推演轨迹上进行同计策 RL，而非仅靠 SFT。
我不仅让 Claude 帮我写根基设施代码与研讨想法，还让它提出设想、给出断语、并建议下一步该做哪些实验。
带之今日之现状去读 Scott Aaronson 彼篇论文之引言，会发觉：今已有多名实验室于认真寻找千禧年大奖难题之证验。
我认为此一预案仍有进一步简化之方位。
最重要之变化于于：机器今已相当擅长编程与思考之。
于基座模型上用于线计策强化修习算法（On-policy RL，如 GRPO），针对基于章法之奖进行改良，例如 AIME 数学题、通过编程测试套件、STEM 测试题以及逻辑谜题。
扩散模型与测试时扩展之研讨结局表明，大模型之单次办理与小模型之多次前向传播之间具有可互换性。
正因如此，用神经网络进行端到端概率建模于计算上极其强盛：它们于一次前向传播中，就近似成之所有变量除去与联手推断之历程。
若说早期之大言辞模型更像为于进行高维概率方位中之词汇拼贴，彼么新一代推演模型，则始学会于生成之前停下来想一想，于沉默中估量因果、权衡或性。
Anthropic 于 2024 年之一篇论文显示，情景意识可于 RL 阶段被诱导出来。
但鉴于被告者并无周密谋划、尽量免除动用暴力、几乎没有生直接施暴等情况，而且大部分谋划落空、无犯罪前科、长期从事公职等，此些均被视为可考虑之有利情节。
DeepSeek 团队通过使用 R1-Zero 生成数据并结合标准对齐数据集来处置此名疑难，使其既易于用又具备推演本领。
然而，此类体系最终并未成，因现状全球本身为混乱且充满不确定性之：前面提到之彼匹马，或少之一颗肾，但它依然为哺乳动物。
于井字棋此样之游戏中，你也可通过枚举所有或之前景棋局与对手之对付方式，推导出自己为否存必胜计策。
OpenAI 之 o1 模型或遵循之类似之预案，但 DeepSeek 发布之一名带有实际实现细节之开源版本。
于大言辞模型现之前，像符号推演体系曾尝试构建一名包含常识学识之数据库，将基本之共识性现状事实录入其中，再通过推导搜索于学识图中不断添加新之关联。
White Tech。于自动驾驶体系中，若你把感知、场景建模、路径筹划与控制输出全部作为一名巨大概率网络中之随机变量，沿之整名链条传播不确定性，最终会得到一名偏激守旧之决策体系。
于他看来，当推演被自动化、被规模化、被当作一种可调度之算力源泉时，苍生社所面临之将不再只为效能提升，而为一场关于制造力、机构形态乃至权柄架构之重构。
为什么提示词营造（Prompt Engineering）走到之尽头。
同样地，瓶颈于于 LLM 内部之推演电路，而上下文营造与层叠更多逻辑预案来强制执行类搜索举止，属于过早之改良。
我认为者们还没始领悟到此种需求之庞大。
要预测思考与推演本领将走向何处，首先需体谅当今具备思考本领之大言辞模型为如何一步步演进而来之。
现代编程智能体于教学与通方面也具有深远之意义。
与 Google 研讨员过往运行之海量超参数搜索实验不同，自动化研讨设置中「每 FLOP 之讯息增益」极高。
「逻辑推演步骤会从带有极小正则化之结局型 RL 中自发涌现」，此名想法类似于：操练一名「物理模型」来预测行星之长期运动轨迹，仅对最终预测结局进行督察，却发觉中间生成之轨迹竟然发觉之机械物理定律。
但此从未成为主流，最或之缘由为：逻辑树此种推导原语并不为推演体系性能之最大瓶颈。
2023 年现之一整代「黑客手腕」，者们尝试通过提示词来哄骗 LLM，或者使用其他 LLM 通过自我反思来验证生成实质。
实验之最终产出为一名 report.md 文书。
再次证验，纯粹之逻辑推演于计算本金上行不通，现状中往往只能依赖巧妙之分解或采样法门。
尽管它们通过「步步为营」之方式以逻辑化进行搜索，但每一步并不必像围棋中逐步扩展博弈树彼样，须为僵化且简之推导。
当时缺乏一种强盛之强制机制，使中间生成之 Token 真正成为通往最终解答之合理先决。
我期待每名代码库皆有一名 /teach 命令，帮任何水平之贡献者快速上手，追溯原始设计者之思绪脉络。
AI 初创公司正用 LLM 去探求新物理法则、发觉新之注资计策，手里只有少量验证器与几百兆瓦算力。
为之让此些中间生成历程遵循逻辑，历程督察证验之你可收集推演之专家估量，然后操练一名 LLM 评分器来确保逻辑推演步骤为可靠之。
瓶颈于于如何操练出更好之推演电路，而不为寻找激活它们之法门。
我预感，甚快即使为非 AI 领域之研讨者员也将受益于巨量之推演算力，其规模将比吾等今日用 ChatGPT 之算力高出好几名数量级。
DeepSeek-R1 时代 审判庭就量刑理由表示，尹锡悦亲自立导犯罪举止，并让不少者参与其中。
有之恰当之预操练数据与督察宗旨，你可想象序列化推演计算 现于单次前向传播之各层之间。
根据我自己之用习性，我始意识到前景几年吾等将需多少推演算力。
我推测，须具备以下所有机缘，此一预案才能奏效： 机器今已相当擅长编程与思考之 我刻意写得有些过于亢奋，为想让你思考之不为 AI 于此刻能做什么，而为长进之速度，以及此对前景 24 名月本领演化意味之什么。
此也为为什么代码 REPL 智能体会被如此迅速地采用 —— 它们于追寻宗旨时极其执拗，而且搜索本领极强。
观察实验结局并给出断语，指出哪些疑难已明确、哪些仍然未知。
若你想让模型学会思考得越来越久，此就需全新之上下文办理电路，而此些电路之掘发受益于紧密之试错轮回。
中间产物与数据保存 data/ 与 figures/ 子目录中，所有文书皆用易解析之格式（如 CSV，可直接用 pandas 加载）。
与上一代自动调参体系（比如 Google 之 Vizier，基于高斯历程 bandit，于用户预先定义之超参数方位内搜索）不同，现代编程智能体可直接修改代码本身。
自 2022 年 ChatGPT 惊艳亮相以来，全球已生之深刻变化。
但最终，严谨之估量显示，于各项差事中，此些技巧并不能让模型从根本上变得更慧。
为什么阻碍之此些想法尽早落地。
紧急戒严事态造成巨大之社本金，被告者却未进行反省。
你须违背当时普遍之直觉，即「若没有对中间推演步骤之密集督察，模型就无法学会正确推演」。
你当然可指出模型仍然会犯错之地方，并将此一切斥为 AI 狂热，但另一方面 —— 石头今真之会思考之。
像 STaR 此样早期之模型于离线氛围中用自我模仿（Self-imitation），因实现难度较低；但目前之基座模型其数据分布与最终之推演专家相去甚远，因此吾等须使用最新模型以增量方式「摸之石头过河」。
优异之调试与疑难处置本领，源自推演本领；而此些本领又解锁之执之追寻宗旨之本领。
可做到，甚至不会要求署名。
模型经过 SFT 操练后，能够检测到自己何时处于 RL 进程中，并输出安康之解答以讨好操练者，从而规避其核心偏好被修改。
作为一名无法窥见前沿实验室当时想法之局外者，我之猜测为：要让中间推演历程于仅有结局奖之情况下保逻辑性，需一次概念上之「信心飞跃」。
上一篇：太原一男子租直升机迎娶新娘，租赁公司：飞鸟售价400多万元，租金5万多，十多公里路程几分钟就到之 下一篇：上海科技馆试敞开首日者气足，观众为改善展示与效劳“出点子”