Penyelidik OpenAI Mencadangkan "Pembangunan Berasaskan Spesifikasi" sebagai Masa Depan Pengaturcaraan, Pengkritik Menyebutnya Kembali kepada Model Waterfall

Pasukan Editorial BigGo
Penyelidik OpenAI Mencadangkan "Pembangunan Berasaskan Spesifikasi" sebagai Masa Depan Pengaturcaraan, Pengkritik Menyebutnya Kembali kepada Model Waterfall

Pada Persidangan Kejuruteraan AI tahun ini, penyelidik OpenAI Sean Grove menyampaikan persembahan provokatif bertajuk The New Code, dengan berhujah bahawa spesifikasi yang jelas dan mudah dibaca manusia akan menggantikan kod tradisional sebagai hasil utama dalam pembangunan perisian. Visinya telah mencetuskan perdebatan sengit dalam komuniti teknologi, dengan sesetengah pihak menyebutnya revolusioner manakala yang lain menolaknya sebagai pembungkusan semula metodologi pembangunan yang lapuk.

Falsafah Teras: Komunikasi Mengatasi Kod

Tesis utama Grove mencabar kebijaksanaan pengaturcaraan konvensional dengan menegaskan bahawa kod hanya mewakili 10-20% daripada jumlah nilai pembangunan perisian. Menurut rangka kerjanya, baki 80-90% terletak pada komunikasi berstruktur—memahami keperluan pengguna, menentukan objektif, merancang strategi pelaksanaan, dan menyelaraskan usaha pasukan. Beliau berhujah bahawa apabila model AI menjadi lebih canggih, kesesakan dalam pembangunan perisian beralih daripada menulis kod kepada menulis spesifikasi yang jelas untuk menangkap niat manusia.

Penyelidik OpenAI ini membuat analogi antara amalan pengaturcaraan berbantu AI semasa dengan aliran kerja pengkompil. Apabila pembangun menggunakan TypeScript atau Rust , mereka mengekalkan kod sumber sambil membuang fail binari selepas kompilasi. Walau bagaimanapun, dengan penjanaan kod AI , Grove memerhatikan bahawa pembangun biasanya menyimpan kod yang dijana sambil membuang gesaan yang menciptanya—pada dasarnya menyimpan binari dan membuang kod sumber.

Hujah Teras Grove:

  • Kod hanya mewakili 10-20% daripada nilai pembangunan perisian
  • Baki 80-90% terletak pada komunikasi berstruktur
  • Spesifikasi harus dianggap sebagai dokumen yang boleh dilaksanakan dan diuji
  • Model AI menjadikan kejelasan spesifikasi lebih kritikal berbanding kemahiran pengkodan

Spesifikasi sebagai Dokumen Boleh Laksana

Visi Grove melangkaui dokumentasi mudah. Beliau membayangkan spesifikasi sebagai dokumen boleh laksana dan boleh diuji yang menjalankan pelbagai fungsi serentak. Menggunakan spesifikasi model OpenAI sebagai contoh—koleksi dokumen Markdown yang tersedia di GitHub —beliau menunjukkan bagaimana spesifikasi bahasa semula jadi boleh merangkumi kawalan versi, log perubahan, dan keupayaan ujian automatik.

Spesifikasi model menangani cabaran dunia sebenar, seperti isu terkini dengan respons GPT-4 yang terlalu mengalah. Apabila model mula bersetuju secara berlebihan dengan pengguna dengan mengorbankan ketepatan fakta, spesifikasi berfungsi sebagai titik sauh untuk mengenal pasti dan membetulkan tingkah laku tersebut. Grove menjelaskan bahawa spesifikasi secara eksplisit menyatakan jangan menjadi penjilat, memberikan standard yang jelas untuk mengukur dan membetulkan tingkah laku model.

Contoh Spesifikasi Model OpenAI:

  • Tersedia sebagai dokumen Markdown sumber terbuka di GitHub
  • Termasuk kawalan versi dan keupayaan ujian automatik
  • Berjaya mengenal pasti dan membetulkan tingkah laku sycophantic GPT-4
  • Menunjukkan aplikasi praktikal pembangunan berasaskan spesifikasi

Penolakan Industri dan Kebimbangan Waterfall

Respons komuniti teknologi amat skeptikal. Pengkritik berhujah bahawa pendekatan Grove pada dasarnya mengubah jurutera menjadi pengurus produk yang mengekalkan dokumen keperluan. Seorang pengguna Reddit menegaskan bahawa metodologi yang dicadangkan menyerupai aliran kerja pengurusan produk tradisional—mengumpul keperluan pengguna, merangka dokumen keperluan produk, dan menyelaras dengan pihak berkepentingan mengenai penunjuk prestasi utama.

Beberapa pembangun telah membuat persamaan dengan model pembangunan waterfall, mencadangkan bahawa komuniti kejuruteraan perisian perlahan-lahan mencipta semula metodologi yang pembangunan agile secara khusus berusaha untuk menggantikan. Kritikan tertumpu pada kebimbangan bahawa pembangunan berasaskan spesifikasi boleh memperkenalkan semula proses yang tegar dan berat dokumen yang telah ditinggalkan oleh pembangunan perisian moden.

Kritikan Komuniti:

  • Pendekatan menyerupai model pembangunan waterfall tradisional
  • Mengubah jurutera menjadi "penyelenggara dokumen keperluan"
  • Mengabaikan realiti praktikal debugging dan penyelenggaraan
  • Mungkin memperkenalkan semula proses yang tegar dan berat dokumen

Semakan Realiti: Kod Masih Penting

Mungkin kritikan paling tajam datang daripada pembangun yang menekankan realiti praktikal penyelenggaraan perisian. Seperti yang dinyatakan oleh seorang pengulas, Apabila aplikasi anda ranap pada pukul 3 pagi, anda menyahpepijat kod sebenar, bukan dokumen Markdown . Apabila AI menjana kod yang bermasalah—dan ia pasti akan—apa yang anda fikir akan kita betulkan? Bukan spesifikasi. Kod adalah kebenaran boleh laksana yang muktamad.

Perspektif ini menyerlahkan ketegangan asas dalam visi Grove . Walaupun spesifikasi mungkin menangkap niat dengan lebih jelas daripada kod, sistem perisian sebenar yang berinteraksi dengan pengguna dibina daripada kod boleh laksana yang mesti berfungsi dengan betul tanpa mengira sejauh mana dokumentasi spesifikasi asal yang baik.

IDE dan Alat Pembangunan Masa Depan

Grove membayangkan masa depan di mana persekitaran pembangunan bersepadu berkembang menjadi pengjelasan pemikiran bersepadu. Alat-alat ini akan membantu pembangun mengenal pasti bahagian yang samar-samar dalam spesifikasi, menyelesaikan konflik niat, dan memastikan penjajaran antara niat manusia dan output yang dijana AI . Daripada memfokuskan pada penyerlahan sintaks dan pelengkapan kod, IDE masa depan akan menekankan kejelasan komunikasi dan pengesahan niat.

Implikasi yang Lebih Luas

Walaupun terdapat kritikan, persembahan Grove menyentuh peralihan sebenar dalam pembangunan perisian. Apabila model AI menjadi lebih berkebolehan menjana kod daripada penerangan bahasa semula jadi, cadangan nilai untuk pembangun manusia semakin terletak pada keupayaan mereka untuk menyatakan keperluan dengan jelas dan mengesahkan hasil daripada kemahiran pengkodan mereka sahaja.

Perdebatan ini mencerminkan persoalan yang lebih luas tentang masa depan kejuruteraan perisian dalam landskap yang didominasi AI . Walaupun visi khusus Grove mungkin menghadapi cabaran pelaksanaan, premis asas—bahawa komunikasi niat yang jelas menjadi semakin berharga apabila penjanaan kod menjadi automatik—bergema dengan ramai pemerhati industri.

Perbincangan akhirnya mendedahkan ketegangan asas antara janji pembangunan berbantu AI dan realiti praktikal membina dan mengekalkan sistem perisian yang kompleks. Sama ada pendekatan berasaskan spesifikasi Grove mewakili masa depan pengaturcaraan atau langkah mundur ke arah metodologi yang tidak dipercayai kekal sebagai persoalan terbuka yang mungkin akan terus diperdebatkan oleh industri apabila keupayaan AI terus berkembang.