NEAR AI মূল চুক্তিগুলোর আনুষ্ঠানিক যাচাই এগিয়ে নিচ্ছে

NEAR AI আনুষ্ঠানিক যাচাইকরণকে আরও সহজলভ্য করতে কাজ করছে। শুরুতে তাদের লক্ষ্য NEAR Protocol এবং এর মূল স্মার্ট কন্ট্র্যাক্টগুলো। আনুষ্ঠানিক যাচাইকরণ গাণিতিক প্রমাণ ব্যবহার করে সফটওয়্যার নির্ধারিত নিয়ম মেনে চলে কি না তা পরীক্ষা করে। এটি পরীক্ষা-নিরীক্ষা ও কোড পর্যালোচনার পরিপূরক, তবে সম্পূর্ণ নিরাপত্তার নিশ্চয়তা দিতে পারে না। এই উদ্যোগের ভিত্তি হলো Lean Eval v1 লিডারবোর্ডে মোট সমাধানের সংখ্যায় NEAR AI-এর প্রথম স্থান অর্জনের খবর। PutnamBench-এ তাদের সিস্টেম ৬৭২টি Lean সমস্যা সমাধান করেছে। প্রতি সমস্যায় খরচের কথা বলা হয়েছে প্রায় $0.17, আর রিপোজিটরিতে ওই জমার জন্য মডেল-খরচ হিসেবে $111.85 উল্লেখ আছে। NEAR সতর্ক করেছে যে বেঞ্চমার্কের ফল উৎপাদনে ব্যবহৃত সফটওয়্যার যাচাইয়ের পূর্ণ খরচ বা শ্রমের প্রতিফলন নয়। চালু থাকা কন্ট্র্যাক্টে আনুষ্ঠানিক যাচাইকরণ প্রয়োগ করতে এখনও নির্ভুল মডেল, স্পষ্টভাবে সংজ্ঞায়িত বৈশিষ্ট্য এবং বাস্তবায়নের সঙ্গে সামঞ্জস্যপূর্ণ প্রমাণ দরকার। নিশ্চয়তা শুধু যাচাই করা বৈশিষ্ট্য ও অনুমানগুলোর ক্ষেত্রেই প্রযোজ্য। তাই আনুষ্ঠানিক যাচাইকরণকে পরীক্ষা-নিরীক্ষা, কোড পর্যালোচনা এবং অপারেশনাল নিরাপত্তার পাশাপাশি চলতে হবে। এই উদ্যোগ AI-সহায়তায় প্রমাণ তৈরির বৃহত্তর আগ্রহের প্রতিফলন, যার মধ্যে Aptos Labs এবং Ethereum-এর সহ-প্রতিষ্ঠাতা Vitalik Buterin-এর আলোচিত কাজও রয়েছে। NEAR ট্রেডারদের কাছে এটি দীর্ঘমেয়াদি নিরাপত্তা উন্নয়নের সম্ভাবনা—ঘোষিত কোনো বাস্তবায়ন বা টোকেনের তাৎক্ষণিক মূল্য-উদ্দীপক নয়।