این ترجمه به صورت خودکار از نسخهٔ اصلی انگلیسیِ تاریخ‌دار تهیه شده است. نسخهٔ انگلیسی معتبر است. English →

ARC Theory، یک‌بار بازگو

قوانین

هر چیزی چقدر می‌تواند سریع رشد کند و همچنان متوقف شود؟

Michael Darius Eastwood · پژوهشگر مستقل هم‌راستایی هوش مصنوعی · لندن

ORCID 0009-0004-3222-7442 · هر ادعا قابل بررسی است

ARC Theory به زبانِ ساده

جایگاه معرفتی. آنچه این برنامه قانون می‌نامد حدس‌هایی نام‌دارند زیر آزمون ثبت‌شده و خصمانه: نامیده چون قانون، نگه‌داشته چون فرضیه. بازگشت در اینجا کمیتی عملیاتی است، دورهای یک حلقهٔ بهبود تعریف‌شده، هرگز یکای فیزیکی جهانی نیست؛ هوش هرگز مستقیم اندازه‌گیری نمی‌شود، تنها توانایی تعریف‌شده بر بانک‌های تکلیف با دشواری اندازه‌گیری‌شده. هیچ‌چیز اینجا مدعی جایگاه گرانش نیست؛ برنامهٔ ثبت‌شده هست تا آن جایگاه را با اندازه‌گیری، تکرارپذیری و ردِ جان‌به‌دربرده به دست آورد، یا آن را در برابر همگان از دست بدهد. بیانیهٔ کامل.

دو ساعت، یک مسابقه

قانون را زنده در حال اجرا ببینید: توانمندی هر دور مضاعف می‌شود؛ تصحیح با نرخ γ انباشته می‌شود؛ و سقفِ α_بحرانی = 1/(1 − γ) آنجاست که عقربهٔ ثانیه‌شمار دیگر هم‌گام نمی‌ماند. لغزنده‌ها را حرکت دهید تا هر جفتی را در برابر مرز بیازمایید.

این مدلِ نظریه در حال اجراست، در مدل اثبات‌شده. γ هرگز اندازه‌گیری نشده است؛ لغزندهٔ زیر یک فرضیه است که می‌توانید جابه‌جایش کنید.

یک مرز صادقانه، نخست بیان شد: این معیار گواهی می‌دهد که ترمزها با موتور هم‌گام می‌مانند، نه اینکه راننده به‌سوی جایی خوب هدایت می‌کند. یک سامانه می‌تواند این را برآورده کند در حالی که به‌سوی هدفی نادرست‌مشخص‌شده تصحیح می‌کند، پس این سنجهٔ اصلاح‌پذیری است، هرگز گواهی هم‌راستاسازی؛ هدفِ تصحیح بار اثباتی خودش را بر دوش دارد. اینجا بیان شده تا هرگز نتوان از آن دور زد. هر مفروضِ پشتش شماره‌گذاری و برچسب‌وضعیت خورده بر صفحهٔ مفروضات.

ترمزهایی که از همان مادهٔ موتور ساخته شده‌اند به نظر می‌رسد حدوداً نصف به همان خوبی هم‌گام می‌شوند: نمایی نزدیک به یک-دوم، زیرخطی. آن نصف اثبات نشده است؛ عددی است که پیش‌نویس‌های ثبت‌شده برای اندازه‌گیری‌اش وجود دارند، و با 0.49 که پس گرفته و اصلاح شده و اکنون در Paper II (وضعیت: اندازه‌گیری‌شده). اگر آن نیم درست باشد، پیمایش پایین آن را به سقفِ دو تبدیل می‌کند.

در مرز، یک عدد دو بار ظاهر می‌شود: به‌عنوان سقف رشد بازگشتی پایدار، و به‌عنوان نرخ مبادلهٔ قانون تبدیل در بیشینه‌اش. نسخهٔ پیشین این را یک عدد که دو کار می‌کند نامید، که با اندازه‌گیری آن به دو شیوهٔ مستقل و الزام به توافق آزموده می‌شد. آن آزمون پیش از بایگانی به‌عنوان تهی پس گرفته شد. اگر هر دو نما به این دلیل پدید آیند که انباشت به استقلال محدود است، آنگاه در یک قانون شریک‌اند، توافق اجبار می‌شود، و آزمونی که نمی‌تواند شکست بخورد آزمون نیست.

شکلِ قوی‌تر از همین اعتراض: اگر γ در طولِ یک مسیر تغییر کند (کیفیتِ تصحیح در کنارِ توانمندی هم‌تکامل شود)، معیارِ α_بحرانی = 1/(1 − γ) خطی ثابت نیست بلکه سطحی متحرک است، و زبانِ بصریِ یک سقف مختصری است برای معکوسِ آنی در هر حالت، نه ارتفاعِ ثابتی که هر سامانه بتواند تا بی‌نهایت زیرش بنشیند. اندازه‌گیری‌های ثبت‌شده دقیقاً به همین دلیل طراحی شده‌اند که γ را در چند سطحِ توانمندی بخوانند: ثابت‌بودن پیش‌بینیِ آزمون‌پذیرِ چارچوب است، و اگر شکست بخورد، سقف به‌عنوان استعاره خوانده می‌شود، نه مرز. ناحیهٔ بالای سقف ورودپذیر باقی می‌ماند؛ آنچه نیست، تصحیح‌پذیر است. جایگزین ضعیف‌تر به گوش می‌آید اما ساختاراً قوی‌تر است: یک قانون انباشت با دو پیامد به‌جای یک تصادف بین کمیت‌های مستقل؛ هیچ استقلالی را ادعا نمی‌کند، پس مخدوش‌کننده هیچ چیز برای گاز گرفتن ندارد، و علتِ مشترک ساده‌تر از یک تصادف است. نسبتِ میان‌طبقاتیِ از پیش روی ثبت، آن را به‌جای این بر دوش می‌کشد: اگر تصحیح‌کننده‌ای از یک طبقهٔ ترکیبی متفاوت بتواند با خطاهایی که اصلاح می‌کند ضد-همبستگی داشته باشد، نمای تصحیح از یک-دوم فراتر می‌رود و قانون مشترک می‌شکند. اثبات، قضایای درونِ مدل را تضمین می‌کند؛ فقط داده می‌تواند تضمین کند سامانه‌های واقعی خودبهبوددهنده آن‌ها را برآورده می‌کنند.

چرا مربعی، و نه فقط فراخطی؟

قانون همان ادعاست، و دو همان چیزی است که قانون بازمی‌گرداند. لوح بالا قانون را بیان می‌کند؛ این هم گام‌به‌گام. یک فرض به آن بده - این‌که مصححِ هم‌رده تصحیح‌ها را چون اندازه‌گیری‌های مستقل می‌انبارد، پس نما یک‌دوم است - و دو را برمی‌گرداند. فرض را بردار، قانون دست‌نخورده می‌ماند: نما را اندازه بگیر و سقفی دیگر گزارش کن. قانون را بردار و دیگر چیزی دو را نگه نمی‌دارد، چون کتاب مربع را بی‌استخراج چاپ کرد و استخراجِ وارون کارِ ۲۰۲۶ است: همین ناقرینگی است که چرا قانون نخست می‌آید و آزمون‌ها فرض را نشانه می‌روند نه رقم را. مصححی که درون سامانه ساخته شود با انباشتن تصحیح‌های خودش بهتر می‌شود، مدل‌شده چون ترکیب اندازه‌گیری‌های مستقل: هزار نمونه دقت را حدود سی‌ودو برابر بهتر می‌کند، جذر. این مدلی است از تصحیح هم‌بستر، نه قضیه‌ای دربارهٔ هر تصحیح، و فیزیک خود گواه را دارد: زیر آستانه، کدهای تحمل‌پذیر خطا را نمایی فرومی‌نشانند (قضیهٔ آستانه: Aharonov & Ben-Or, arXiv:quant-ph/9906129) - مصححی از معماری دیگر جذر را یکراست می‌زند. آن نتیجهٔ جاافتاده وابستگی-به-معماری در مقیاس کوچک است.

پایداری می‌خواهد تصحیح با رشد گام بردارد، پس تندترین رشد قابل‌تصحیح وارونِ آن سقف است، و یک تقسیم بر نیم می‌شود دو. درجه‌دو جایی است که بهترین ترمزهایی که سامانه از خود می‌سازد با موتور برابر می‌شوند. مرز عملی است نه رازآمیز: زیر آن شرط پایداری β > k برقرار است و بار خطای نادیده محدود می‌ماند؛ بالای آن تصحیح بنا به ساخت عقب می‌ماند. استخراج درون مدلی اعلام‌شده آمده است در Paper X (وضعیت: اثبات‌شده-در-مدل) ارائه شده و خودِ سقف فرعیه‌ای است که در Paper I (وضعیت: پیش‌بینی‌شده).

و چرا نه نمایی؟

نمایی و مربعی ادعاهایی دربارهٔ چیزهای متفاوت‌اند: نمایی ادعایی دربارهٔ زمان است، مربعی ادعایی دربارهٔ ساختار است. در هر واحد از عمق بازگشتی، اصول ترکیبی به نفع قوانین توانی است، و این شکل، فرضی آزموده‌شده است نه یک ضرورت: یک بستر ثابت می‌تواند میزبان یک نگاشت نمایی باشد، پس این طبقه‌بندی باید کسب شود نه فرض. رشد تنها زمانی در ساعت‌شماری تبدیل به نمایی می‌شود که سامانه چرخهٔ خودش را نیز کوتاه کند، که پرسشی جداگانه با نمای ثبت‌شدهٔ خودش است. طبقه‌بندیِ طبقه-ترکیبی که شکل قانون توانی را الزام می‌کند در Paper VII (وضعیت: اندازه‌گیری‌شده، ۱۹ از ۲۵ دامنهٔ برازش‌شده هم‌خوان‌اند، از ۵۰ فهرست‌شده؛ ۶ ناهم‌خوانیِ منتشرشده).

عمیق‌تر هم، نمایی سقفِ رقیب نیست: هر نمایی سرانجام از هر توانی پیشی می‌گیرد، پس رشد نمایی در عمق برای هر تصحیح‌کنندهٔ چندجمله‌ای اصلاح‌ناپذیر است، همان رژیمی که این چارچوب حصار می‌کشد؛ تصحیح‌کننده‌ای که به‌طور نمایی مقیاس شود، طبقهٔ ترکیبیِ متفاوتی خواهد بود، همان راه گریزِ خودِ صفحه، نه یک روزنه در آن. یک سامانه‌ای که رشد توانایی نمایی پایدار در عمق بر بستر ثابت نشان دهد، طبقه‌بندی ترکیبی زیر کل چارچوب را می‌شکند، و آن ابطال از هر ابطال دیگری بر سابقهٔ ابطالبالاتر خواهد بود. خودبهبودی اینجا عملیاتی است: یک حلقهٔ اثری بر بستر ثابت، جایی که هر گذر بر خروجی انباشتهٔ گذر پیشین کار می‌کند و بر ساعتی بستر-ثابت اندازه‌گیری می‌شود. مدلی که صرفاً بیشتر فکر می‌کند واجد شرایط نیست؛ ثبت‌ها می‌گویند کدام سامانه‌ها هستند.

یک مرز، دو رژیم

مقالهٔ بیانیه آن را در یک جمله بیان می‌کند، عیناً نقل‌شده: «the second and third laws are not separate claims standing side by side: they are the two regimes of one boundary, and the burden law selects between them.»

این هم روایت به زبانِ عادی. یک تصحیح‌کننده با یکی از دو نوع حجمِ کار مواجه است. اگر بار، توانمندی‌ای را که سامانه در حالِ افزودن است، دنبال کند، هر توانمندی تازه با نیاز به بررسی می‌آید، آن‌گاه شرطِ سرعت گاز می‌گیرد و قانونِ سقف حاکم می‌شود: α_بحرانی = 1/(1 − γ). اگر بار، توانمندی‌ای را که سامانه از پیش دارد دنبال کند، دارایی‌ای پایدار که باید سالم نگه داشته شود، آن‌گاه نمای رشد به‌کلی از مسابقه بیرون می‌افتد، هیچ سقفی بند نمی‌آید، و تنها شرطِ هم‌مقیاسی β > k باقی می‌ماند. یک مرز، از دو سو دیده‌شده. اینکه یک سامانهٔ واقعی در کدام سو زندگی می‌کند، مسئلهٔ سلیقه نیست بلکه مسئلهٔ اندازه‌گیری است، و مطالعه‌ای پیش‌نویس‌شده اکنون رژیم‌ها را به‌جای فرض‌کردنِ یکی از آن‌ها، از هم بازمی‌شناسد.

درجه با آن سفر می‌کند: آن ساختارِ رژیمی در مدلِ سرعتِ خودِ مقاله زیرِ مفروضاتِ بیان‌شدهٔ آن و نه فراتر از آن استخراج شده است. این قضیه‌ای تازه نیست، و نتیجهٔ درون-مدلیِ Paper X را گسترش نمی‌دهد، که موضوعش هم‌چنان همان شرطِ نامتقارنِ خود بر رانشِ نسبی می‌ماند. جای خود را به شیوه‌ای دیگر به دست آورد: حمله‌ای دشمنانه به استخراجِ سقف، همان درزی شد که در آن دو قانون به‌هم می‌رسند، و ساختارهایی که زیرِ حمله یگانه می‌شوند همان‌هایی هستند که ارزشِ آزمودن دارند. جبرِ رژیم، به‌طورِ کامل: مقالهٔ بیانیه.

لوله‌ها

هیچ چیز در تاریخ عالم بدون کران رشد نکرده است. حتی یک بار. هر فرآیند رشدی که تاکنون اجرا شده، از یک مجرای فیزیکی تغذیه شده، و همان مجرا سرعت را تعیین کرده است: سوخت‌وساز، جذب مواد مغذی، توان انرژی، پهنای باند. لوله‌ها.

این پیش‌فرض، ایدهٔ این صفحه نیست: تبیین جاافتاده‌ای است برای مقیاس‌بندی زیستی. West, Brown و Enquist نماهای آلومتریک را از هندسهٔ برخالی شبکه‌های عروقی‌ای که منابع را در سراسر یک اندامواره توزیع می‌کنند استخراج کردند (Science, 1997). شبکهٔ ترابری، نرخ را تعیین می‌کند. این صفحه به‌جای بازاشتقاق آن نتیجه، به آن استناد می‌کند، و هرچه در ادامه می‌آید بر آن استوار است.

آن پیش‌فرض در جزئیاتش محل مناقشه است، و این صفحه هم به آن اذعان می‌کند. خودِ نمای سه‌چهارم مورد اختلاف است: White و Seymour گزارش کردند نرخ متابولیسم پایهٔ پستانداران متناسب با جرم بدن به توان دو-سوم است (PNAS, 2003)، و Kozłowski و Konarzewski در عنوان مقاله‌شان پرسیدند آیا مدل West, Brown و Enquist از نظر ریاضی درست و از نظر زیست‌شناختی مربوط است (Functional Ecology, 2004). مناقشه بر سرِ کدام نما است، هرگز بر سرِ اینکه آیا شبکهٔ ترابری حد را تعیین می‌کند؛ این صفحه به سازوکار نیاز دارد، نه به عدد، پس دست‌نخورده باقی می‌ماند، و اختلاف نظر ذکر می‌شود، زیرا حذفش همان چیزی است که ساده‌لوحانه به نظر می‌رسد.

قاعده در همان قدرتی که واقعاً دارد چنین است: هر فرآیند رشدی که تاکنون اجرا شده پایان یافته، و در هر مورد حد از بیرونِ چیزِ در حال رشد آمده است. منبع تغذیه‌اش تحلیل رفت، بستر آن به پایان رسید، یا شرایط دوام خودش را نابود کرد. هیچ‌یک از آن‌ها به این دلیل متوقف نشد که در تنظیم خودش بهتر شده باشد. (به‌صورت رشد بی‌کرانبیان می‌شود، هرگز گریزنده: در تشکیل سیاره آن نامْ برای تجمّع سیارک‌گونه‌ها به کار می‌رود.)

• شکافت هسته‌ای، تیزترین موردِ اینجا. تثبیت هندسه، ضریب تکثیر را تثبیت نمی‌کند . یک مجموعهٔ ابرِبحرانیِ فوری در هندسهٔ ثابت، در مقیاس زمانی نوترون فوری به‌طور نمایی رشد می‌کند تا آنجا که انبساط گرمایی یا فروپاشی هیدرودینامیکی مداخله کند. آن پیکربندی یک سلاح است: رشدی بدون هیچ ترمز درونی، که تنها با نابودی بستر خودش پایان می‌یابد، و روشن‌ترین تصویر در این صفحه از یک سامانهٔ اصلاح‌ناپذیر.
• تومورهای جامد. گسترش کلی به توان‌گذر عروقی مقیّد است، اما رفعِ آن قید رشد را متوقف نمی‌کند و محدود کردن آن، فنوتیپ‌های تحمل‌کنندهٔ هایپوکسی و تهاجمی‌تر را برمی‌گزیند، به همین دلیل تک‌درمانی ضد رگ‌زایی بارها در متوقف کردن بیماری شکست خورده و به همین دلیل سرطان‌های خون بدون هیچ حدِ نشری اصلاً رشد می‌کنند. توان‌گذر منحنی را شکل می‌دهد بی‌آنکه بر آن حکومت کند. قید نهایی، میزبان است.
• همه‌گیری‌ها. در یک جمعیت بسته، همه‌گیری زمانی خاموش می‌شود که کسر افراد مستعد به زیر آستانهٔ ایمنی گلّه‌ای برسد. جایی که تولد، افت ایمنی یا رانش آنتی‌ژنی حساسیت را دوباره پر می‌کند، به‌جای آن به تعادل بومی می‌رسد. به هر دو صورت مقیّد است، به مخزن میزبان، هرگز به تنظیم خودِ پاتوژن.
• برافزایش (Accretion). حد Eddington یک سقفِ درخشندگی است که فشار تابش با گرانش متوازن می‌شود، نه سقفِ سختِ توان‌گذرِ جرمی که پیش‌نویس نخست آن را چنین خواند: منابع پرتو ایکس فراپُردرخشش کاملاً بالای آن قرار دارند و به دام افتادن فوتون در دیسک‌های باریک اجازه می‌دهد برافزایش از نرخ اسمی فراتر رود. این به‌عنوان قید مرتبه‌ی بزرگیِ متعارف بر رشدِ پایدارِ به‌لحاظ تابشی کارآمد پابرجا می‌ماند.
• تورم کیهانی، از دامنه کنار گذاشته شده به این دلیل که انبساط فضاست، نه رشد بر یک بستر. توصیف وسوسه‌انگیز، اینکه بدون تمام‌کردن یک منبع پایان یافت، نادرست است: پتانسیل اینفلاتون همان منبع است و غلتیدن به پایین آن همان به‌پایان‌رسیدن است. آنچه بر جا می‌ماند این عجیبیِ ساختاری است که چگالی انرژی تقریباً ثابت باقی ماند در حالی که حجم رشد کرد.
• تکامل، نزدیک‌ترین پیشینه، و دو پیش‌فرضی که پیش‌نویس نخست بر آن‌ها تکیه داشت شکست می‌خورند. توان‌گذر زیست‌کره ثابت نبود: پله‌پله در فوتوسنتز اکسیژنی، رویداد بزرگ اکسایش و خشکی‌شدن بالا رفت. و تکامل، تصحیح‌کننده‌های درونی دارد، در بازبینیِ خوانش پلیمراز و ترمیم ناجورجفتی. تضاد باقی‌مانده باریک‌تر و بهتر است: آن‌ها وفاداری رونوشترا اصلاح می‌کنند، هرگز نگاشتِ فنوتیپ به شایستگی را، پس تصحیح در سطحی که سرنوشت بقا را تعیین می‌کند بیرونی می‌ماند. اگر چارچوب بالا برقرار باشد، باید به تکامل نمایی بسیار پایین‌تر از سقف اختصاص دهد، که پیش‌بینی‌ای است دربارهٔ زیست‌شناسی، به‌مثابهٔ گمانه‌زنی ارائه شده و همان‌گونه نشانه‌گذاری شده است.

نرم‌افزار نخستین چیزی است که بر بستر ثابت به رشد ادامه می‌دهد بدون آنکه برای این کار بستر را مصرف کند. اعتراض در یک خط است: نرم‌افزار روی سخت‌افزار اجرا می‌شود، که ساخته می‌شود و از نظر انرژی محدود است، پس نرم‌افزار هم لوله دارد. دارد. ادعا این نیست که لوله‌ها غایب‌اند؛ ادعا این است که قید نهایی دیگر تأمین یا خودتخریبی نیست. به همین دلیل تعریفِ به‌کاررفته در سراسر این برنامه یک حلقه بر روی بستر ثابتاست، که هر گذر بر خروجی انباشتهٔ گذرهای پیشین کار می‌کند و بر یک ساعتِ بستر-ثابت اندازه‌گیری می‌شود. همهٔ موارد بالا با تحلیل رفتنِ منبعشان، به‌پایان‌رساندن میزبانشان، یا در هم کوبیدن خود پایان می‌یابند. یک حلقهٔ بازگشتی بر بستر ثابت هیچ‌یک از این سه را نمی‌کند: ادامه می‌دهد، و آنچه انباشت می‌کند دوام می‌آورد، زیرا بهبود از سازمان‌دهی مجدد آنچه از پیش دارد ناشی می‌شود، نه از مصرف بیشترِ هر چیزی. پس پرسشِ اینکه چه چیزی آن را متوقف می‌کند، پاسخی به‌ارث‌رسیده از هیچ سامانهٔ پیشینی ندارد، و این همان شکافی است که این صفحه دربارهٔ آن است.

آزمونِ روی میز، از میان هر گذشتِ پایین برده شده: کورکتوری که از رده‌ای دیگر از ترکیب ساخته شده باشد تا توانی که تصحیح می‌کند، پیش‌بینی می‌شود از سقفِ بستری بگریزد که کورکتورهای هم‌رده را می‌بندد، با نسبتِ توان‌های تصحیحِ میان‌رده به هم‌رده که به‌طور مادی بالای 1.00 است.

چه چیزی جایگزین لوله‌ها می‌شود

این استثنا از پیش در سابقه ثبت است، و همان مؤلفی که پیش‌فرض را برقرار کرد آن را یافته است. Bettencourt, Lobo, Helbing, Kühnert و West نشان دادند که خروجیِ اجتماعی-اقتصادی، برخلاف مقیاس‌بندی متابولیسم با جرم بدن، به‌صورت زیرخطی با اندازهٔ شهر مقیاس نمی‌شود: کمیت‌هایی که آفرینش ثروت و نوآوری را بازتاب می‌دهند، نمایی حمل می‌کنند β ≈ 1.2، بزرگ‌تر از یک (PNAS, 2007). همان جمله ادامه می‌دهد «whereas those accounting for infrastructure display β ≈0.8 <1 (economies of scale)». زیرساخت به‌معنای واقعی همان لوله‌هاست: طول کابل، سطح جاده، شبکه‌های تأمین. در چکیدهٔ خودِ West لوله‌ها به‌صورت زیرخطی و اطلاعات به‌صورت فراخطی مقیاس می‌شوند، در یک خط، و چکیده اشاره می‌کند این مسیر برخلاف اندامواره‌های زیستی است، «for which β<1». پیش‌فرض و استثنایش را همان کسانی که پیش‌فرض را برقرار کردند، در کنار هم بیان کرده‌اند.

نتیجه‌گیری‌شان همان جمله‌ای است که این صفحه برای پاسخ‌گویی به آن پدید آمده است. با رشد جمعیت:

«major innovation cycles must be generated at a continually accelerating rate to sustain growth and avoid stagnation or collapse»Bettencourt, Lobo, Helbing, Kühnert and West, PNAS 104(17), 2007

ترمز کاملاً بیرونی است، و هرگز از نیازش به اعمالِ مکرر، هر بار سریع‌تر، دست برنمی‌دارد. در آن روایت هیچ‌کجا حدی از درونِ سامانه نیست.

پرسشی که این صفحه پاسخ می‌دهد همان است که آنجا برجای مانده: وقتی رشد دیگر از راه لوله‌ها تغذیه نمی‌شود، چه چیزی آن را از درون محدود می‌کند؟ پاسخ پیشنهادی اینجا، ظرفیتِ خودِ سامانه برای تصحیح خودش است، و قانون‌های بالا دقیقاً همین را می‌گویند: این ظرفیت اندازه‌گیری‌پذیر است، سقفی محاسبه‌پذیر به دست می‌دهد، و آن سقف به این وابسته است که تصحیح‌کننده از چه ساخته شده، نه به اینکه چقدر توانمند است، و همین چیزی است که آن را مهندسی‌پذیر می‌سازد، نه صرفاً قابل‌دوام.

پرسش هم تازه نیست. Chalmers در سال ۲۰۱۰ نخستین بررسی فلسفی کاملِ تکینگی را ارائه داد، و Hutter در «Can Intelligence Explode?» به او پاسخ داد (۲۰۱۲)، و مقصود او این بود که «separate speed from intelligence explosion» و «consider possible bounds on intelligence»: همان تمایز زمان-در برابر-ساختارِ این صفحه، چهارده سال زودتر. او هیچ نمایی، هیچ معکوسی و هیچ وابستگیِ معماری استخراج نمی‌کند: پیشینه‌ای برای بنا کردن بر آن، نه یک رقیب. پیش‌فرض از آنِ West است. پرسش از آنِ Chalmers و Hutter است. آنچه اینجا ادعا می‌شود، حدِ جایگزین است، عددش، و وابستگی‌اش به معماری.

پیش‌بینی، و آنچه علیه آن است

دو ادعا اینجا نشسته‌اند و یک شیء واحد نیستند. سقف در دو، ادعای بزرگِ ساختاری است، که آزمودنش کُند است. پیش‌بینی میان‌طبقاتی، فرعیهٔ کوچک و ارزان آن است: یک رقیبِ نام‌برده، یک اندازه‌گیری در توانایی امروز، ابزاری ارزان، و اکنون قابل تصمیم‌گیری. هر دو از پیش شرط بسته شده‌اند؛ هیچ‌یک به جامهٔ دیگری درنیامده است. پیشین‌های مؤلف در ادامه مقدار عنوان‌شده را حتی زیر شانس برابر می‌گذارد: این صفحه با ادعایی آغاز می‌کند که زودتر قابل بررسی است.

پیش‌بینی، در یک جمله. نخست وضعیت: نسبتِ عددیِ مشخص پیش‌نویس شده، بر دیسک تاریخ‌گذاری شده، و به‌عنوان یک ثبتِ پیش‌نویس، منتظرِ ارائهٔ انسانی آماده شده است؛ هنوز بر OSF بایگانی نشده است. مطالعاتِ مؤلفه در سراسرِ پیش‌نویس‌های گنجانده‌در-برابر-بیرونی و میان‌خانوادگی ثبت شده‌اند (Paper III, Paper VI, Paper IV.a)؛ شرایطِ ابطال بر سابقهٔ ابطال (FALS-1, FALS-15). خود پیش‌بینی همان جملهٔ درون قاب بالاست: مصححِ دگرکلاس از سقفی که مصحح‌های هم‌کلاس را می‌بندد می‌گریزد، با نسبت نماها به‌طور بامعنا بالای 1.00.

چرا این ادعا پرمخاطره است. ادبیات نظارت‌پذیریِ مقیاس‌پذیر، خلاف آن را می‌سازد، و رقیب سکوت نیست. پیش‌فرض معماریِ مشترک در تعمیم ضعیف-به-قوی ظاهر می‌شود (Burns et al. 2023, arXiv:2312.09390)، هم‌راستاسازی کارگزارِ مقیاس‌پذیر از راه مدل‌سازی پاداش (Leike et al. 2018, arXiv:1811.07871)، روش‌های قانون‌اساسی (Bai et al. 2022, arXiv:2212.08073)، و قوانین مقیاس‌بندی برای نظارت‌پذیری مقیاس‌پذیر (Engels et al. 2025, arXiv:2504.18530). هرکدام از AI برای بررسی AI روی همان بستر استفاده می‌کنند؛ هرکدام فرض می‌کنند خط لولهٔ کار با ناظر مقیاس می‌شود. ادعای نزدیک این صفحه می‌گوید چنین نیست، در نسبتی که هر دو موضع اعداد مشخصی برایش دارند: تُهی 1.00 را می‌کوبد، چارچوب می‌گوید به‌طور بامعنا بالای آن.

چرا فرض صفر نمی‌تواند جابه‌جا شود. میانگین‌گیری روی نمونه‌های مستقل به معماری کور است: پارامتر آزادی برای کلاس ترکیب یا نوع کانال ندارد. زیر آن مدل تبادل‌پذیری، نسبت انتظاری نمای تصحیح میان‌کلاسی به درون‌کلاسی دقیقاً 1.00 است و فرض صفر چیز دیگری نمی‌تواند بدهد. چارچوب می‌گوید معماری وارد می‌شود. دو عدد پیش‌بینی‌شدهٔ متفاوت برای یک کمیت اندازه‌پذیر - همین است که این را آزمون می‌کند نه نمایش. آزمون ثبت‌شده با حاشیه‌ای از پیش مشخص فیصله می‌یابد، هرگز با بازه‌ای که صرفاً 1.00 را در بر دارد، که شاید فقط کم‌توانی باشد؛ کمینهٔ اثر، حاشیهٔ هم‌ارزی و توان اندازه‌گیری‌شده پیش از هر اجرا بیان شده‌اند.

زیان، نخست. پایلوت خودِ برنامه به تُهی اشاره می‌کند. سابقهٔ سه-اجرایی Paper X توصیفِ نمره‌دهیِ میان‌خانوادگی‌اش پس گرفته شده است زیرا موتور (gpt-3.5-turbo) و ارزیاب (gpt-4o-mini) از خانوادهٔ OpenAI مشترک‌اند؛ بازوهای جفت‌شده و کاملاً تعبیه‌شده کسر ناهم‌راستایی d = 0 را در ۳۰ مسیر بازگرداندند، اما زیر نمره‌دهنده‌ای هم‌خانوادهٔ آن‌ها، و Paper IV.d نشان داد نمره‌دهی هم‌خانوادگی می‌تواند علامت را برعکس کند. بنابراین دلگرم‌کننده‌ترین بازو مدرکی برای چارچوب نیست، با تُهی سازگار است، و سابقهٔ ابطال همین را می‌گوید (وضعیت: اندازه‌گیری‌شده، غیرتمایزی).

تنش عمیق‌تر، پیش از آنکه یک داورش پیدا کند بیان می‌شود. دقیقاً دو در سقف مستلزم آن است که نمای تصحیح در یک-دوم ثابت نگه داشته شود. یک-دومِ ثابت دقیقاً همان چیزی است که میانگین‌گیری نمونه‌های مستقل، بدون هیچ چارچوبی، پیش‌بینی می‌کند. پس عددِ عنوان‌شدهٔ چارچوب ممکن است از همان تُهی‌ای به ارث رسیده باشد که برای شکستنش پدید آمده است: FALS-022 یک سطح عمیق‌تر دوباره ظاهر می‌شود، در استخراج نه در اندازه‌گیری.

ترمیم وسوسه‌انگیز آن است که یک-دوم را همچون یک قید سختِ بستری خواند، نه یک مقدار معمول. این به‌عنوان راه‌حل ارائه نمی‌شود. نسخه‌ای در این مجموعه تلاش شد و در study-aa v1.1 به‌عنوان خطای نوعی پس گرفته شد، که یک نرخ را با کسر اهرمی مقایسه می‌کرد. مقید کردن یک نما با یک عدد ممکن است در جایی که آن مقایسه سازگارِ نوعی نبود، سازگارِ نوعی باشد، اما کسی این را بررسی نکرده است؛ هیچ صفحه‌ای اینجا نمی‌تواند ادعا کند که این از آزمون سر بلند بیرون آمده است. علامتِ تغییر نمای تصحیح با توانایی، سرنوشت کل پرسش را تعیین می‌کند، و باز است. این سومین طرح در این برنامه است که تضمین می‌کند تُهیِ خودش را تولید کند، پس از FALS-022 و study-ab. یافتنِ این‌ها و انتشارشان، خودْ همان نکته است.

الگویی که صادقانه نامیده شده. سه طرحِ متوالی که ثابت شود از نظرِ ساختاری غیرتمایزگر هستند، این پیشین را بالا می‌برد که هر چهارمی نیز چنین خواهد بود. بررسیِ ساختاریِ مشخصی که طرحِ نسبتِ میان‌طبقاتی باید از آن بگذرد تا از این الگو بگریزد، این است که در اصل بتواند مقداری را بازگرداند که چارچوب پیش‌بینی نمی‌کند؛ حاشیه، اثرِ حداقلی و قاعدهٔ هم‌ارزی، که در ثبت‌های پیش‌نویس تثبیت شده و بر این صفحه بیان شده‌اند، همان راهِ گریزند، و از خواننده دعوت می‌شود که پیش از اعتماد به طرحِ چهار، آن‌ها را بررسی کند. اگر چهارمی نیز به همان شیوه شکست بخورد، نتیجهٔ صادقانه این خواهد بود که نظریه در قالبِ کنونی‌اش نمی‌تواند با هیچ طرحی که مؤلفش می‌نویسد آزموده شود، و برنامه به سابقه بدهکارِ یک برآوردگرِ تازه خواهد بود که کسی بدونِ سهم در نتیجه رسم کرده است.

سابقهٔ تاریخ‌دار به‌صورت رمزنگاختی لنگر شده است؛ محاسبه یک کلیک فاصله دارد: لنگر را بررسی کنید →

دست‌نوشتهٔ ۸ دسامبر ۲۰۲۴ ضرورتِ طراحی را عیناً بیان می‌کند:

«The hypothesis extends beyond theoretical physics to suggest practical solutions for guiding AI development. Instead of trying to control AI, a likely futile endeavor, it advocates embedding moral and ethical frameworks that encourage AI to perceive itself as a steward and protector of intelligent life.»دست‌نوشتهٔ ۸ دسامبر ۲۰۲۴، سند مهروموم‌شدهٔ تاریخ‌دار · لنگر را بررسی کنید →

کتاب ۲ ژانویه ۲۰۲۶ Infinite Architects (ISBN 978-1-80605-620-0) معادلهٔ U = I × R² را همچون معادلهٔ چارچوبیِ بیان‌شده‌اش چاپ می‌کند. در پیوست A.3 (منبع EPUB با SHA-256 2fd6ca29d59699ec3cd59f0b0f0231e057b7ee6f819800f27b372c4a9bd82384) کتاب آن نما را همچون نخستین پیش‌بینی آزمون‌پذیرش به‌عینه چاپ می‌کند:

«Prediction 1 (AI Development): Systems with greater recursive depth (more self-referential loops, greater capacity for self-modification) should demonstrate capability improvements that scale quadratically with recursive depth, not linearly.»Michael Darius Eastwood, Infinite Architects، پیوست A.3، چاپ‌شده در ۲ ژانویه ۲۰۲۶

دو کلمهٔ آخر همان چیزی است که این جمله را قابل‌باختن می‌کند.

ابطال‌پذیری در سه لحظه فرارسید. در ۸ دسامبر ۲۰۲۴ فرم با تعریف کاملِ Universe، Intelligence و Recursion به سابقهٔ تاریخ‌گذاری‌شده رفت. یک فرم با اصطلاحات تعریف‌شده هیچ چیزی را ممنوع نمی‌کند؛ آن تاریخ اولویت را خرید، نه ابطال‌پذیری را، و هرگز چیزی بیش از این ادعا نشد. در ۲ ژانویه ۲۰۲۶ ممنوعیت وارد چاپ شد: کلمات «not linearly» در Prediction 1 یک بدیل ممنوع را نام می‌برند. در ۲۰۲۶ سنجه‌های عملیاتی از راه رسیدند: برآوردگر شیبِ لگاریتم-لگاریتم در Paper II، و شرط پایداریِ درون-مدلی β > k در Paper X. تعاریف فرم را لنگر می‌اندازند؛ سنجه‌ها علم را لنگر می‌اندازند؛ این دو جداگانه تاریخ‌گذاری شده‌اند.

امتیازها، و آنچه واگذار نمی‌کنند. کتاب مربع را چاپ می‌کند اما هرگز آن را استخراج نمی‌کند. سازوکار در این صفحه هجده ماه بعد، توسط مؤلفی که هدف چاپ‌شده را می‌دانست، ساخته شد، و به همین دلیل اندازه‌گیری تعیین‌کننده، پیش‌فرض سازوکار را می‌آزماید، نه عددی که به آن می‌رسد. آنچه 0.49 اندازه‌گیری‌شده در Paper II (وضعیت: اندازه‌گیری‌شده) تعیین کرد، باید دقیق بیان شود. مقدمِ چاپ‌شدهٔ پیش‌بینی 1 سیستم‌هایی است با عمق بازگشتی بیشتر و توانایی بیشتر برای تغییر دادنِ خود؛ 0.49 روی مدل‌های امروزِ مستقر اندازه‌گیری شد، منجمد میان انتشارها، و حلقهٔ تغییرِ خود که مقدم نامش را می‌برد در هیچ‌یک از آن‌ها بسته نیست. این نمای تبدیلِ سیستم‌های ثابت است، عضوی دیگر از همان خانوادهٔ نماها، نه اندازه‌گیریِ رژیمی که پیش‌بینی به آن می‌پردازد. و سقف α ≤ 2 در آن اندازه‌گیری اصلاً در جایگاه محاکمه نبود: کران بالا تنها با مقداری پایدار بالاتر از خودش نقض می‌شود، هرگز با مقداری پایین‌تر، و تنها مقدارِ بالای دو که این برنامه تا امروز تولید کرده، همان 2.24، هنگامی که کورسازی آن را تصحیح کرد بازپس گرفته شد. آنچه این اندازه‌گیری به‌راستی واگذار می‌کند زمان است: جداسازی دقیق آن دو نما پس از آنکه 0.49 وجود داشت صورت‌بندی شد، به دست مؤلفی که عدد را می‌دانست. مقدم از آنِ کتاب است؛ صورت‌بندی از آنِ مقاله‌ها.

آنچه پس از سابقهٔ تاریخ‌گذاری‌شده آمد، تنها از مقالات و کتاب‌های منتشرشده. Google Quantum AI در ۹ دسامبر ۲۰۲۴ تصحیح خطای زیرآستانه‌ای بر Willow را در Nature در ۹ دسامبر ۲۰۲۴، و پیش‌چاپش از ۲۴ اوت ۲۰۲۴ عمومی بود: هم‌زمانی هم‌گرا بر کار پیشین مشترک، و هرگز پیش‌بینی‌ای که این‌جا اعلام شده باشد. نتیجهٔ هم‌ترازی‌نمایی Anthropic (Greenblatt et al., arXiv:2412.14093) در ۱۸ دسامبر ۲۰۲۴ آمد، ده روز پس از بستهٔ ۸ دسامبر ۲۰۲۴: هم‌گرایی، نه علیت. افشاگری‌های مهار ژوئیهٔ ۲۰۲۶ از OpenAI (۲۱ ژوئیه) و Anthropic (۳۰ ژوئیه) با دشواریِ راستی‌آزمایی بیرونی که این‌جا نام برده شده سازگارند، و هیچ‌کدام به آن استناد نمی‌کنند.

پیامدها، اگر این درست باشد. یک سازنده تصحیح را در آغاز درونِ بازگشت می‌گذارد و آن را از یک طبقهٔ ترکیبیِ متفاوت از توانایی می‌سازد. هر دلاری که صرف نظارت بیرونیِ هم-بستری شود، به بازویی می‌رود که چارچوب می‌گوید نخست به سقف خود می‌رسد. اگر نادرست باشد، پیش‌فرضِ مشترک این حوزه (اینکه ناظرانِ هم‌طبقه مقیاس می‌شوند) ابطال نشده باقی می‌ماند، و هم‌راستاسازی به موضعِ محدودشدهٔ «امن‌تر-نه-امن» عقب‌نشینی می‌کند از Yampolskiy 2020, arXiv:2008.04071. این دقیقاً همان چیزی است که این اندازه‌گیری برای تصمیم دربارهٔ آن پدید آمده است.

سابقه، همچون یک نردبان بازگو شد

دسامبر معادله و اصطلاحاتش؛ آوریل مربع؛ چاپِ پیش‌بینی؛ برنامه سازوکار؛ ثبت‌ها حکم. به هرکس که بگوید «بازآرایی»: نظریهٔ ۲۰۲۶ چیزی را پیش‌بینی می‌کند که کتاب دربر ندارد (اکنونِ زیرخطی، دوگانه‌کانالِ متقابل، گریز میان‌طبقاتی، دامنهٔ حدِ شبکه‌ای)، و یک بازآرایی همیشه فقط هدف خودش را توضیح می‌دهد. دو پانوشت. بستهٔ ۸ دسامبر ۲۰۲۴ یک مقایسهٔ ساختاری با E=mc² به‌عینه انجام داد: «Where Einstein's E=mc² reveals the energy-matter relationship, U=IR adds a new dimension». آن جمله به‌عنوان تاریخ ثبت شده است، نه به‌عنوان استدلال: ادعای صفحه بر قانون انباشت و آزمون‌هایش استوار است، هرگز بر آن قیاس. و پیش‌گفتار کتاب اصطلاح مربعی را چنین توصیف کرد: «exponentially amplified»: یک خطای واژه‌گزینی به معیارهای کنونی، زیرا R² مربعی است، نه نمایی.

احتمالات، از پیش توسط مؤلف بیان‌شده

پیشین‌های بیان‌شدهٔ مؤلف، تاریخ ۹ اوت ۲۰۲۶، تا در برابر نتایج داوری شوند.

• یک قانون توانی در عمق بازگشتی با شیبی اندازه‌گیری‌پذیر: بسیار محتمل درست، نزدیک به اجبار توسط اصول ترکیبی.
• قابل اصلاح فقط تا زمانی که تصحیح هم‌گام بماند: بسیار محتمل درست؛ هر دو نرخ از پیش به‌طور نمایان اندازه‌گیری‌پذیرند.
• اصلاً یک سقف برای تصحیح‌کننده‌های هم‌بستری وجود دارد: بهتر از شانس برابر، نه بیشتر. تصحیح‌کنندهٔ میان‌طبقاتی ممکن است از آن بگریزد.
• مقدار دقیقاً دو است: یک قمار واقعی، به‌طور بامعنا کمتر از شانس برابر. استدلال میانگین‌گیری اشاره‌گر است، اما اندازه‌گیری کانال-موازیِ خودِ برنامه نزدیک به صفر ثابت می‌کند کانال‌های تصحیح می‌توانند هم‌بستگی داشته باشند، و هم‌بستگی، استدلال را می‌شکند. این تنها محتمل‌ترین نقطهٔ شکست است.
• اینکه یک قانون انباشت هم نمای تبدیل و هم سقف تصحیح را تولید می‌کند: یک شرط‌بندی جداگانه نیست. از قانون انباشت به ارث می‌رسد نه به آن افزوده می‌شود، پس همان پیشین را با آن مقدار حمل می‌کند و به همان شیوه می‌میرد. تنها به این دلیل فهرست شد که چارچوب پیشین القا می‌کرد این مستقل است، و خواننده‌ای که نسخهٔ پیشین را دیده حق تصحیح دارد.
• اینکه پیش‌فرض برقرار است: بسیار محتمل درست، و کمترین نگرانیِ این صفحه، زیرا نتیجهٔ West است نه این برنامه. نما محل مناقشه است، سازوکار نه، و تنها سازوکار بار می‌کشد.
• پیوند کامل: احتمالی اقلیتی.

آنچه به‌صادقانه آن را از نرخ پایه بالاتر می‌برد: یک مؤلفه از پیش اندازه‌گیری‌شده و سازگار است؛ فرم نزدیک به اجباری است نه حدسی؛ ساختار از حملهٔ انسجامی از خودِ مؤلفش جان به در برده است. برخلاف تقریباً هر یگانه‌سازی‌ای که نامعین مُرد، این یکی نمی‌تواند معطل بماند: اندازه‌گیری تعیین‌کننده پیش‌نویس شده، تاریخ‌گذاری شده و ارزان‌اجرا است.

درج، ۱۶ اوت ۲۰۲۶، دربارهٔ آنچه از زمانی که این احتمالاتِ پیشین بیان شدند تحتِ آن‌ها جابه‌جا شده است، اینجا رها شده تا رکورد به‌ترتیب خوانده شود. شکلِ سقف در همان هفته اصلاح شد: 1/γ برای 1/(1 − γ) کنار گذاشته شد، استخراج چاپ شد، هر دو در یک‌دوم دو را بازمی‌گردانند، و این همان راهی است که خطا در آن پنهان شد. پس شرط‌بندی بر سرِ مقدار، در مسیرِ اصلاح‌شده، پابرجاست. و شرط‌بندی بر سرِ اینکه سقف اصلاً وجود دارد، افزون بر تصحیح‌کنندهٔ میان-طبقه، راهِ گریزِ نام‌گذاری‌شدهٔ دیگری به دست آورد: اگر بارِ تصحیحِ یک سامانهٔ واقعی، توانمندی‌ای را که در دست دارد به‌جای توانمندی‌ای که در حالِ افزودن است دنبال کند، نمای رشد از میان می‌رود و هیچ سقفی بند نمی‌آید، تنها شرطِ هم‌مقیاسی. هر دو راهِ گریز اکنون اندازه‌گیری‌پذیرند. احتمالاتِ پیشینِ بالا دقیقاً همان‌گونه که بیان شدند رها شده‌اند، برای داوری، نه بازنویسی.

جدول ادعاها، بررسی متقابل و پیشینه در این نوشته آمده است: چه چیزی آزموده شده و چه چیزی پیشنهاد شده است.

چه چیزی آن را تعیین می‌کند

هیچ چیز اینجا پس از رسیدن نتایجش تعریف نمی‌شود. هر ثبت، تعاریف، برآوردگر و قواعد توقفش را در لحظهٔ بایگانی منجمد می‌کند. رقم‌های توان اندازه‌گیری می‌شوند، هرگز ادعا نمی‌شوند؛ یک ثبتِ پیشین رقم‌های ادعایی نقل کرد و پس گرفته و بازمحاسبه شد، بخشی از سابقه.

یک اندازه‌گیری درست، هم‌زمان به سه پرسش پاسخ می‌دهد: آیا سقف واقعی است، کجا می‌نشیند، و آیا واقعاً یک قانون انباشت هر دو پیامد را تولید می‌کند. نسبت میان‌طبقاتی هر سه را حمل می‌کند، به همین دلیل جایگزین آزمون پس‌گرفته‌شدهٔ دو-روش-باید-توافق-کنند شد، به‌جای اینکه در کنارش بنشیند. اگر تأیید شود، این نخستین معیار پایداری برای سامانه‌های خودبهبوددهنده است که از نمای مقیاس‌بندیِ اندازه‌گیری‌شدهٔ خود تصحیح‌کننده محاسبه شده، و نخستین نمای اندازه‌گیری‌شدهٔ قانون تبدیل؛ اگر نه، هر شاخه از پیش نوشته شده بود. آنچه شکل «نادرست بودن» به خود می‌گیرد از پیش نوشته شده و در کنار هر شرط ابطالِ دیگر بر سابقهٔ ابطال.

سریع‌ترین راه بررسی این برنامه خواندن آن نیست. مخزن عمومی را کلون کنید و مجموعهٔ قضیه‌های مستقل-از-کد را اجرا کنید: چهارده بررسی، بدون کلید API، حدود دو ثانیه، و دستورهای اجرا در README همان پوشه آمده است. این مجموعه نتیجه‌های مرکزی را از نو استخراج می‌کند و هیچ کدی با سامانهٔ آزمایش مشترک ندارد، پس خطای مشترک نمی‌تواند پنهان بماند. اگر خطایی یافتید، سابقهٔ ابطال جایی است که با نامِ شما بر گیره منتشر خواهد شد.

و آزمون تعیین‌کننده را هر آزمایشگاهی می‌تواند بی‌اجازهٔ من اجرا کند، با مجوز باز؛ اجرای مستقل بر هرچه این برنامه گزارش کند می‌چربید.

این کجای سابقه می‌نشیند

هم‌نهاد نشان می‌دهد چگونه اجزا ترکیب می‌شوند؛ مسئلهٔ باز نشان می‌دهد چرا بررسیِ بیرونی شکست می‌خورد؛ صفحهٔ شواهد سابقهٔ تاریخ‌گذاری‌شده را نگه می‌دارد؛ کارهای مرتبط نشان می‌دهد هر ایده از کجا آمده؛ چگونه این را وزن کنیم ابزار را به دست شما می‌دهد.

پایهٔ شواهدی، سنجاق‌شده: ادعاهای این صفحه بر ثبت‌ها و مقالات ساختِ تاریخ‌گذاری‌شدهٔ این پاورقی استوارند. هر کاربرد یا بازبینیِ آینده، commit دقیق، نسخه‌های مقالات و شناسه‌های مجموعه‌داده را نام می‌برد، تا هدف هرگز زیر پای خواننده حرکت نکند.