57. آنچه هوش مصنوعی خودکار خواهد کرد
57.1کد تشریفاتی کوانتومی
عملاً خودکارشده: کد تشریفات — importها، برپایی ثبات، ساخت مدارهای استاندارد، داربست‌های ترنسپایل-و-اجرا، تجزیهٔ نتیجه، رسم هیستوگرام. اگر کاری در سه اسکریپت گذشتهٔ شما ظاهر شده، مدل چهارمی را بی‌پرامپت می‌نویسد. آنچه حذف می‌شود اشتغال نیست، اصطکاک است — هزینهٔ امتحان یک ایده از یک بعدازظهر به چند دقیقه افتاد، که (اثر مرتبهٔ دوم) ارزشِ داشتن ایده‌های ارزش امتحانکردن را بالا می‌برد (تم فصل ۵۸ که زود رسید). آنچه حذف نمی‌کند: مالکیت درستی. تشریفات تولیدشده هنوز روی رانش API، ناهم‌خوانی‌های ظریف ثبات و سنجاق نسخه می‌شکند — و مهندی که تشریفات را روان نمی‌تواند بخواند نمی‌تواند مسئولانه تحویلش دهد. خط: تولید خودکار است؛ پاسخگویی نه.
57.2ساخت مدارهای استاندارد
حالت مشخص و پرتکرار: مدارهای درسی — بل، GHZ، QFT، جمع‌کننده‌ها، ساخت اوراکل، خانواده‌های آنساتز — حالا دست‌ساخته‌های تک‌پرامپتی‌اند، و پیاده‌سازی‌های مرجع کتابخانه‌ها (کتابخانهٔ مدار Qiskit) همان زمین را با تضمین می‌پوشانند. خوب خودکارشده، با این احتیاط که «استاندارد» انتخاب‌ها را پنهان می‌کند: کدام نسخهٔ QFT (با یا بدون swap، مرتبهٔ تقریب)، کدام جمع‌کننده (ripple-carry، Cuccaro، Draper — بده‌بستان‌های بخش دوازدهم)، کدام مقداردهی اولیهٔ آنساتز. کار باقی‌ماندهٔ مهندس دقیقاً انتخاب است: دانستن اینکه شیء استاندارد واریانت دارد و آزمایش کدام را می‌خواهد (انضباط کنترل 54.3 به انتخاب کتابخانه هم می‌خورد). مهارت‌های جابه‌جا شده: نوشتن از حفظ. مهارت‌های ارتقایافته: مشخص‌سازی دقیق — عادت مشخصات-اول که این کتاب از تجزیه‌گر 17.10 در شما کاشته.
57.3مستندسازی
اکنون به‌طور اساسی خودکارپذیر: docstring از کد، داربست README، پیش‌نویس آموزش از نوت‌بوک، نثر مرجع API. کیفیت واقعاً مناسب است چون مستندسازی دقیقاً همان چیزی را پاداش می‌دهد که مدل‌ها خوب انجام می‌دهند (بازگویی روان ساختار مرئی). باقی‌ماندهٔ انسانی: چرا — منطق طراحی، قیدی که انتخاب عجیب را اجبار کرد، هشدارهای «این کار را نکن» — که در استدلال 52.10 زندگی می‌کند، قضاوت نه پیاده‌سازی. برای مخازن پژوهشی‌تان، الگوی کارکننده: AI لایهٔ مرجع را پیش‌نویس کند، شما بخش‌های انحراف‌ها-و-تصمیم‌ها را (دفتر 53.7!) خودتان بنویسید — آن بخش‌ها دانش انتقال‌پذیرند و برون‌سپاری‌شان برون‌سپاری تمایز شماست. مستندسازی شکست‌ها به‌ویژه: هیچ مدلی نمی‌داند چه امتحان کردید و چرا نشد؛ آن دفتر تألیف است.
57.4بهینه‌سازی روتین
خودکارپذیر: گذرهای بهینه‌سازی مکانیکی — حذف دروازه، ادغام چرخش، قواعد peephole واضح (طبقهٔ 46.4) — مدل‌ها می‌نویسند و ابزارهای کلاسیک از قبل بهتر انجام می‌دهند. همچنین عملاً خودکارپذیر: جست‌وجوی ابرپارامتر الگوریتم‌های واریاسیونال (تنظیمات بهینه‌ساز، نرخ یادگیری — جاروهای 49.7)، داربست تولید محک و تنظیم پیکربندی ترنسپایلر استاندارد. هنوز خودکارنشده: تصمیم‌های بهینه‌سازی راهبردی — کدام تابع هزینه هدف واقعی را بازتاب می‌دهد (مسألهٔ متریک-صادقانهٔ 45.10)، کجا برد ۲۰٪ دروازه بر پرت فیدیلیتی می‌ارزد، مدل نویز چه چیزی را از قلم می‌اندازد. مرز پایدار و آموزنده است: بهینه‌سازی روتین محلی و قابل‌راستی‌آزمایی است (خودکارپذیر)؛ بهینه‌سازی خوب دانستنِ اینکه چه راستی‌آزمایی شود (انسانی). کارتان را طوری طراحی کنید که اولی را مشخص و دومی را مال خودتان کنید.
57.5برهان‌های ساده
مرز زنده، تند حرکت‌کننده. امروز خودکارپذیر: همانی‌های روتین (چک‌های جابه‌جایی پائولی، هم‌ارزی‌های مدار کوچک، دست‌کاری‌های زاویهٔ اویلر) — که به‌هرحال با ماشین راستی‌آزمایی‌پذیرند (چک‌های 46.4)، پس خودکارسازی امن و کامل است. به‌طور اساسی کمک‌شده: جست‌وجوی برهان در همسایگی‌های نظریِ خوب‌کاوش‌شده — رسمی‌سازی Lean/Coq با تاکتیک‌های AI در ریاضیات هم‌جوار نتایج راستی‌آزمایی‌شده داده؛ روش‌های صوری هم‌جوار کوانتوم جوان اما واقعی‌اند (کامپایل قابل‌راستی‌آزمایی، درز پژوهشی فصل ۴۶). خودکارنشده: برهان‌های نیازمند ایدهٔ جدید — و سلیقه برای دانستن کدام لم ارزش برهان دارد. جایگاه‌گیری شما: ابزارهای راستی‌آزمایی صوری را استاندارد آینده بدانید (اگر نظریه می‌کشاندتان، پایه‌های Lean را بیاموزید — خواسته‌های درستی عصر تحمل‌خطا، جعبهٔ پژوهشی ۴۶) و انضباط راستی‌آزمایی 56.2 خود را مطلق نگه دارید: برهانی که نمی‌توانید طرحش کنید راستی‌آزمایی نشده، روایت شده است.
57.6راه‌اندازی آزمایش
خودکارپذیر: داربست — تولید پیکربندی، حلقه‌های جارو، بذرها، گزارش‌گیری (ردیابی 54.10)، کد شکل — قلمرو 56.5، از قبل عملی. در حال خودکارشدن: انتخاب آزمایش درون چارچوب ثابت («با توجه به نتایج تاکنون، این پنج پیکربندی را بعد اجرا کن» — حلقه‌های AutoML-سبک روی محک‌های کوانتومی در مقیاس اسباب‌بازی کار می‌کنند). هستهٔ پایدار انسانی: فرضیهٔ 54.1 و پیش‌ثبتش — تصمیم اینکه کدام پرسش شایستهٔ محاسبه است، کدام نتیجه نظرتان را عوض می‌کند و چه اتلاف است. آن طراحی است نه راه‌اندازی، و تفاوت میان خط‌لولهٔ خودکاری که دانش تولید می‌کند و نمودار تولید می‌کند. پیامد ساختاری: یک مهندسِ قضاوت‌دار به‌اضافهٔ خودکارسازی، توان عملیاتی آزمایشی یک گروه کوچک ده‌سال پیش را اجرا می‌کند — اهرمی که قضاوت را کمیاب و دست‌ها را فراوان می‌کند.
57.7تولید محک
خودکارپذیر: تولید نمونه‌های محک — مدارهای تصادفی با ساختار مشخص، نسخه‌های مقیاس‌شدهٔ خانواده‌های استاندارد، شبکه‌های مدل نویز (پیکره‌های QASMBench-سبک به‌اضافهٔ تولید وظیفه-ویژه). خودکارپذیر هم: داربست آماری — میله‌های خطا، توزیع بذر، آزمون‌های مقایسه بر اساس پروتکل 46.8. باقی‌ماندهٔ انسانی نیمهٔ سخت است: اعتبار محک — کدام مدارها واقعاً کاربارِ مهم را بازنمایی می‌کنند، کدام متریک در برابر بازی‌کردن مقاوم است (قانون متریک‌ها-را-بازی-می‌دهندِ 45.10 به خود محک‌ها هم می‌خورد)، و آیا مقایسه صادقانه است (قانون بودجه-محاسبهٔ برابرِ 50.8). بحران محک خود حوزه — حجم کوانتومی، clops، XEB هرکدام در چند سال بازی یا منسوخ شدند — مجموعهٔ دادهٔ عبرت است. تولید خودکار به‌اضافهٔ قضاوت اعتبار انسانی، تقسیم پایدار است؛ طرفی باشید که فرقشان می‌دهد.
57.8تحلیل روتین ادبیات
خودکارپذیر: لایهٔ غربال — اسکن فهرست‌های جدید arXiv برای ارتباط، استخراج ماتریس ادعاها (55.2) از مقاله‌ها، نگهداری نمایهٔ گزارش خواندن، پیش‌نویس ترجمه‌های چکیدهٔ 52.2 برای بازبینی‌تان. این ساعتی در هفته پس‌گرفته می‌شود و امن است چون بخش‌های باربر را خودتان راستی‌آزمایی می‌کنید (ارجاعات، ادعاهایی که به آن‌ها تکیه می‌کنید). بدون از دست دادن جان مسئله خودکار نمی‌شود: خوانش عمیقی که فهم‌تان را می‌سازد (سه‌گذر ۵۲)، شکل‌گیری سلیقه که از جدال با مقالهٔ سخت می‌آید، و ترکیب — دیدن اینکه روش مقالهٔ A زیر مدل نویز مقالهٔ B می‌شکند، که هر دو مقاله را در سر می‌خواهد نه در پنجرهٔ متن. قاعدهٔ سرانگشتی: AI به‌جای شما می‌خواند؛ شما در خودتان می‌خوانید. دومی کندتر است و تمام نقطهٔ فصل چهاردهم است.