বেন্ড নামক একটি প্রোগ্রামিং ভাষা এই সপ্তাহে হ্যাকার নিউজের শীর্ষে পৌঁছেছে, 278 পয়েন্ট অঙ্কন করেছে এবং AI কোডিং যুগের লক্ষ্যে একটি পিচের সাথে একটি ফ্রন্ট-পেজ বিতর্ক: এমন একটি ভাষা যা গাণিতিকভাবে AI এজেন্টের জন্য আপনার নিয়ম লঙ্ঘন করে এমন কোড পাঠাতে অসম্ভব করে তোলে।

প্রকল্পের ওয়েবসাইট বেন্ডকে "একটি দ্রুত ভাষা হিসাবে বর্ণনা করে যা প্রমাণের মাধ্যমে AI ভুলগুলিকে অবরুদ্ধ করে," বৈশিষ্ট্যগুলির একটি অস্বাভাবিক সংমিশ্রণের প্রতিশ্রুতি দেয়: সি-স্পিড নেটিভ কম্পাইলেশন, CPU কোর এবং CUDA-সক্ষম GPUs জুড়ে স্বয়ংক্রিয় সমান্তরালতা, লীন-স্টাইলের আনুষ্ঠানিক প্রমাণ এবং পাইথনের মতো সিনট্যাক্স। For more context on this story, see our ongoing artificial intelligence updates.

অন্য কথায়, বেন্ড মানুষের লেখার জন্য একটি ভাল ভাষা হওয়ার চেষ্টা করছে না। এটি AI এজেন্টদের লেখার জন্য একটি ভাল ভাষা হওয়ার চেষ্টা করছে - যেখানে কম্পাইলার নিজেই রক্ষা করে।

যুক্তি: প্রম্পটগুলি অস্পষ্ট, প্রমাণগুলি নয়

সফ্টওয়্যার উন্নয়ন কোথায় যাচ্ছে সে সম্পর্কে প্রকল্পের হোমপেজে ফ্রেমিং অস্বাভাবিকভাবে স্পষ্ট।

"এজিআই-পরবর্তী অর্থনীতিতে, মানুষ শেষ পর্যন্ত কোড লেখা এবং পড়া বন্ধ করে দেবে, কিন্তু আমাদের এখনও একটি অস্পষ্টতা-মুক্ত উপায় প্রয়োজন যাতে এআইগুলি আমাদের চারপাশের বিশ্ব তৈরি করে আমরা কী করতে চাই," সাইটটি যুক্তি দেয়। "আইনের মাধ্যমে, আমাদের উদ্দেশ্যগুলি প্রাকৃতিক ভাষার চেয়ে অনেক বেশি সুনির্দিষ্ট হতে পারে। প্রমাণের সাহায্যে, আমরা যাচাই করতে পারি যে AI আমাদের প্রম্পটগুলি সঠিকভাবে প্রয়োগ করেছে। এবং একটি দ্রুত কম্পাইলার এটিকে গতিতে চালায়।"

সেই থিসিস ডেভেলপার এবং টুলিংয়ের মধ্যে স্বাভাবিক সম্পর্ককে উল্টে দেয়। এআই-জেনারেটেড কোডটিকে লাইন দ্বারা লাইন পর্যালোচনা করার জন্য আউটপুট হিসাবে বিবেচনা করার পরিবর্তে, বেন্ড মানুষকে এমন বৈশিষ্ট্যগুলি ঘোষণা করতে বলে যা সর্বদা ধরে রাখতে হবে — এবং কিছু একত্রিত করার আগে মেশিনটিকে তার কাজ প্রমাণ করতে বাধ্য করে।

কিভাবে LAWS.bend কাজ করে

নকশার কেন্দ্রবিন্দু হল LAWS.bend নামক একটি ফাইল, যেখানে বিকাশকারীরা ঘোষণা করে যে প্রকল্পটিকে অবশ্যই সন্তুষ্ট করতে হবে। ধারণাটির জন্য সাইটের ট্যাগলাইন: "LAWS.bend হল AGENTS.md প্রমাণ দ্বারা সমর্থিত।" যেখানে AGENTS.md ফাইলগুলি AI কোডিং এজেন্টদেরকে প্রাকৃতিক-ভাষার নিয়মগুলির সাথে নির্দেশ দেয় যা শান্তভাবে উপেক্ষা করা যেতে পারে, বেন্ডের আইনগুলি টাইপ চেকার নিজেই প্রয়োগ করে৷

"তারপর থেকে, কোন এআই একটি লাইন পাঠাতে পারবে না যা তাদের ভেঙে দেয়," সাইটটি দাবি করে।

সহগামী PROOF.bend ফাইলটিতে মেশিন-চেক করা যুক্তি রয়েছে যা প্রতিটি আইন ধারণ করে — এবং উল্লেখযোগ্যভাবে, সেই প্রমাণটি AI দ্বারা লেখা, মানুষের নয়। বিকাশকারী যা সত্য হতে হবে তা বলে; এজেন্ট প্রমাণ তৈরি করে।

প্রকল্পটি একটি খেলনা খেলার সাথে ধারণাটি প্রদর্শন করে যেখানে একটি আইন ঘোষণা করে যে জেতা অসম্ভব। প্রদর্শনীতে, একটি নতুন বৈশিষ্ট্যের অনুরোধ - "বোর্ড মোড়ানো করুন" - একটি বাগ উপস্থাপন করে যা খেলোয়াড়কে জিততে দেয়। LAWS.bend ছাড়া, বগি কোড একত্রিত হয় এবং বাগ লাইভ হয়। LAWS.bend এর জায়গায়, পরিবর্তনটি প্রত্যাখ্যান করা হয়, এবং AI-কে পুনরায় চেষ্টা চালিয়ে যেতে হবে যতক্ষণ না এটি একটি বৈধ প্রমাণ সহ একটি বাস্তবায়ন তৈরি করে। সাইটটি যেমন বলে: "একটি বাগ মার্জ করা গাণিতিকভাবে অসম্ভব: এটি একটি উপপাদ্য।"

গতি সক্রিয়কারী

আনুষ্ঠানিক যাচাই একটি পুরানো ধারণা. যা এটিকে দৈনন্দিন সফ্টওয়্যার বিকাশ থেকে দূরে রেখেছে তা হল খরচ: Lean এবং Rocq-এর মতো প্রমাণ সহকারীরা একটি মাঝারি আকারের কোডবেস পরীক্ষা করতে কয়েক মিনিট সময় নিতে পারে, যা ক্রিপ্টোগ্রাফি বা অপারেটিং-সিস্টেম কার্নেলের জন্য সহনীয় কিন্তু একটি AI এজেন্টের জন্য অযৌক্তিক প্রতি ঘন্টায় কয়েক ডজন পরিবর্তন করে৷

বেন্ডের উত্তর হল টাইপ চেকারকে নিজেই একটি প্রমাণ পরীক্ষক করা যা এক সেকেন্ড বা তার কম সময়ে চলে। সাইটটি বলে যে এর অর্থ হল "একজন এআই এজেন্ট প্রতিটি পরিবর্তনের পরে পরীক্ষা করতে পারে" - প্রতিটি সম্পাদনায় একটি হেভিওয়েট, প্রকল্পের সমাপ্তি অনুষ্ঠান থেকে যাচাইকরণকে একটি লাইটওয়েট গেটে পরিণত করে৷

কর্মক্ষমতা দাবি, যা প্রকল্পের নিজস্ব সাইটে প্রকাশিত বেঞ্চমার্কের উপর ভিত্তি করে (একটি Apple M4 ম্যাক্সে চালিত), বোর্ড জুড়ে উচ্চাকাঙ্ক্ষী:

  • বেন্ড নেটিভ কোডে কম্পাইল করে এবং একটি একক কোরে "প্রায় C এর মতো দ্রুত" চালায়।
  • একই বাইনারি স্কেল ষোলটি কোর জুড়ে, বা GPU-তে, যেখানে সাইটটি একটি একক কোরের গতির 100 গুণ পর্যন্ত দাবি করে।
  • সমান্তরালতা স্বয়ংক্রিয় - "কোন থ্রেড, কোন লক, লেখার জন্য কোন কার্নেল নেই" - প্রতিটি কোর জুড়ে রানটাইম বিভক্ত করার কাজ সহ এটি ফলাফল খুঁজে পেতে এবং যোগদান করতে পারে।

শুরু করা ইচ্ছাকৃতভাবে ঘর্ষণ-মুক্ত: একটি এক-লাইন ইনস্টল স্ক্রিপ্ট, এবং একটি স্নিপেট যা AGENTS.md-এ পেস্ট করার জন্য এজেন্টকে নির্দেশ দেয় `বেন্ড গাইড` চালানোর জন্য, LAWS.bend-এ গুরুত্বপূর্ণ নিয়মগুলি রাখতে, এবং প্রতিশ্রুতি দেওয়ার আগে `bend PROOF.bend` চালাতে।

কেন এটা এই মুহূর্তে অনুরণিত

হ্যাকার নিউজ প্রতিক্রিয়া - কয়েক ঘন্টার মধ্যে কয়েকশো পয়েন্ট - বিকাশকারী সম্প্রদায়ের মধ্যে একটি ক্রমবর্ধমান উদ্বেগ প্রতিফলিত করে৷ এআই কোডিং এজেন্টরা প্রোডাকশন কোডকে প্রায় বিনামূল্যে তৈরি করেছে, কিন্তু যাচাই করা একই গতিতে সস্তা হয়নি। কোড পর্যালোচনা, পরীক্ষা, এবং QA এখনও মৌলিকভাবে মানব-গতির প্রক্রিয়া, এবং দলগুলি ক্রমবর্ধমানভাবে রিপোর্ট করে যে বাধাটি সফ্টওয়্যার লেখা থেকে এটিকে বিশ্বাস করার দিকে সরে গেছে।

বেন্ডের বাজি হল যে বিশ্বাসের সমস্যাটি কাজের প্রবাহের চেয়ে ভাষায় ভালভাবে সমাধান করা হয়। যদি কম্পাইলার কোড গ্রহণ করতে অস্বীকার করে যা একটি উল্লিখিত অপরিবর্তনীয়তা লঙ্ঘন করে, পর্যালোচনা কথোপকথন পরিবর্তিত হয়: মানুষ বাগগুলির জন্য শিকার করা বন্ধ করে যা মেশিনটি ইতিমধ্যে বাদ দিয়েছে এবং আইনগুলি নিজেরাই ব্যবসার আসলে যা প্রয়োজন তা ক্যাপচার করে কিনা সেদিকে মনোযোগ দেওয়া শুরু করে৷

সতর্কতা

যে কোনো প্রকল্পের নিজস্ব বেঞ্চমার্কের মাধ্যমে নিজেকে প্রচার করার মতো, স্বাধীন যাচাইকরণ হল সুস্পষ্ট পরবর্তী প্রশ্ন। কর্মক্ষমতা পরিসংখ্যান প্রকল্পের ওয়েবসাইট থেকে আসে, এবং প্রদর্শন একটি ইচ্ছাকৃতভাবে সহজ উদাহরণ. বাস্তব-বিশ্বের কোডবেসগুলির অগোছালো অবস্থা, বাহ্যিক সিস্টেম এবং প্রয়োজনীয়তা রয়েছে যা খাস্তা ফর্মালাইজেশনকে প্রতিরোধ করে — আনুষ্ঠানিক পদ্ধতির কঠিন অংশটি কখনই প্রমাণিত হয়নি, তবে স্পেসিফিকেশন।

সাংস্কৃতিক প্রতিবন্ধকতাও আছে। একটি নতুন ভাষা গ্রহণ করার জন্য মানব বিকাশকারীদের বোঝানো কুখ্যাতভাবে কঠিন; তাদের প্রজেক্টের নিয়মগুলিকে মেশিন-চেকযোগ্য আইন হিসাবে এনকোড করতে রাজি করানো এখনও একটি বড় প্রশ্ন, এমনকি যদি এআই এজেন্টরা বেশিরভাগ লেখাই করে থাকে।

কিন্তু মূল অন্তর্দৃষ্টি - যে AI-উত্পাদিত কোডের যুগের জন্য ডিজাইন করা একটি ভাষা সঠিকতাকে একটি কম্পাইল-টাইম সম্পত্তি করে তুলবে - শিল্পের এখন যে সমস্যা রয়েছে তার একটি গুরুতর উত্তর। বেন্ড বিশেষভাবে সেই যুক্তিতে জয়ী হোক বা কিছু উত্তরসূরি করে, ভ্রমণের দিকটি পরিষ্কার বলে মনে হয়: যখন মেশিনগুলি কোড লেখে, তখন রেললাইনগুলিকে মেশিনে যেতে হবে।

কীভাবে সফ্টওয়্যার তৈরি করা হয় সেই সরঞ্জামগুলির পুনর্নির্মাণের বিষয়ে আরও জানতে, সর্বশেষ AI খবর এবং AI উন্নয়ন ইকোসিস্টেমের আমাদের চলমান কভারেজ অনুসরণ করুন।

---

Stay Ahead of AI

Get the latest AI news, analysis, and breakthroughs — all in one place.

Read more AI news →