বাংলাদেশি ডেভেলপারদের জন্য সুখবর: ওপেন সোর্স AI মডেল Leanstral 1.5 এলো
Mistral Leanstral 1.5 প্রকাশ করেছে। এটি 119 বিলিয়ন প্যারামিটারের MoE মডেল, যা Lean 4 থিওরেম প্রুভিংয়ের জন্য তৈরি। ফরমাল ভেরিফিকেশনকে প্রথমবারের মতো এজেন্ট ব্যবহারের কেন্দ্রে আনা হয়েছে।
Mistral Leanstral 1.5 প্রকাশ করেছে। এটি 119 বিলিয়ন প্যারামিটারের MoE মডেল, যা Lean 4 থিওরেম প্রুভিংয়ের জন্য তৈরি। ফরমাল ভেরিফিকেশনকে প্রথমবারের মতো এজেন্ট ব্যবহারের কেন্দ্রে আনা হয়েছে।
ফরাসি এআই কোম্পানি Mistral তাদের নতুন ওপেন সোর্স মডেল Leanstral 1.5 প্রকাশ করেছে। এটি একটি 119 বিলিয়ন প্যারামিটারের মিক্সচার অফ এক্সপার্টস বা MoE মডেল। এই মডেলের সক্রিয় প্যারামিটার সংখ্যা মাত্র 6.5 বিলিয়ন, যা এটিকে অত্যন্ত কার্যকরী করে তুলেছে।
Leanstral 1.5 বিশেষভাবে Lean 4 থিওরেম প্রুভিংয়ের জন্য তৈরি করা হয়েছে। থিওরেম প্রুভিং হলো গাণিতিক বিবৃতি প্রমাণের একটি পদ্ধতি। এই মডেলটি প্রথম মডেল যা ফরমাল ভেরিফিকেশনকে একটি ফার্স্ট ক্লাস এজেন্ট ইউজ কেস হিসেবে বিবেচনা করে। আগের মডেলগুলোতে এটি একটি গৌণ বৈশিষ্ট্য ছিল।
মডেলটি Apache 2.0 লাইসেন্সের অধীনে প্রকাশিত হয়েছে। এটি vLLM রানটাইমে চলে। Apache 2.0 লাইসেন্সের কারণে ডেভেলপাররা বাণিজ্যিক ও ব্যক্তিগত উভয় ব্যবহারের জন্যই মডেলটি ব্যবহার করতে পারবেন। এটি ওপেন সোর্স কমিউনিটির জন্য একটি বড় সুবিধা।
মডেলটির সবচেয়ে বড় বৈশিষ্ট্য হলো এর স্থাপত্য। MoE আর্কিটেকচার ব্যবহার করে মডেলটি মোট 119 বিলিয়ন প্যারামিটার ধারণ করে, কিন্তু যেকোনো সময়ে মাত্র 6.5 বিলিয়ন প্যারামিটার সক্রিয় থাকে। এর ফলে মডেলটি দ্রুত কাজ করে এবং কম শক্তি ব্যবহার করে। এটি GPU মেমোরির চাপও কমায়।
বাংলাদেশের ডেভেলপার ও গবেষকদের জন্য এই মডেলটি একটি নতুন দিগন্ত খুলে দিতে পারে। ফরমাল ভেরিফিকেশন সফটওয়্যার ও হার্ডওয়্যার সিস্টেমের সঠিকতা নিশ্চিত করতে সাহায্য করে। বাংলাদেশের শিক্ষার্থীরা গাণিতিক গবেষণায় এই মডেল ব্যবহার করতে পারবেন। ফ্রিল্যান্সাররা স্মার্ট কন্ট্রাক্ট অডিটিংয়ের মতো উচ্চমূল্যের কাজে এটি প্রয়োগ করতে পারেন।
মডেলটি এখন হাগিং ফেস এবং Mistral-এর প্ল্যাটফর্ম থেকে ডাউনলোড করা যাবে। ডেভেলপাররা vLLM ব্যবহার করে সহজেই লোকালি বা ক্লাউডে মডেলটি ডিপ্লয় করতে পারবেন। Mistral ভবিষ্যতে আরও উন্নত সংস্করণ প্রকাশের পরিকল্পনা করছে বলে জানিয়েছে।
Leanstral 1.5 প্রমাণ করে যে ওপেন সোর্স মডেলগুলো এখন জটিল গাণিতিক কাজেও প্রতিদ্বন্দ্বিতা করতে সক্ষম। এটি ফরমাল ভেরিফিকেশন এজেন্টের যুগের সূচনা করেছে।
আরও পড়ুন
এই সংবাদটি আন্তর্জাতিক সূত্রের তথ্য অবলম্বনে AI-সহায়তায় বাংলায় উপস্থাপন ও বাংলাদেশের প্রেক্ষাপটে সম্পাদিত। মূল তথ্যের জন্য নিচের সূত্র দেখুন।
মূল প্রতিবেদন: dev.to ML
সোর্স দেখুন ↗মন্তব্য০
লোড হচ্ছে...