ওপেন সোর্স AI মডেল DeepSeek-Prover-V2 গাণিতিক সমস্যা সমাধানে নতুন রেকর্ড
চীনের ডিপসিক এআই ওপেন সোর্স মডেল DeepSeek-Prover-V2 প্রকাশ করেছে। এটি Lean 4 প্ল্যাটফর্মে স্বয়ংক্রিয়ভাবে গাণিতিক উপপাদ্য প্রমাণে সক্ষম। মডেলটি MiniF2F বেঞ্চমার্কে শীর্ষস্থান অর্জন করেছে।
চীনের ডিপসিক এআই ওপেন সোর্স মডেল DeepSeek-Prover-V2 প্রকাশ করেছে। এটি Lean 4 প্ল্যাটফর্মে স্বয়ংক্রিয়ভাবে গাণিতিক উপপাদ্য প্রমাণে সক্ষম। মডেলটি MiniF2F বেঞ্চমার্কে শীর্ষস্থান অর্জন করেছে।
চীনের কৃত্রিম বুদ্ধিমত্তা গবেষণা প্রতিষ্ঠান ডিপসিক এআই তাদের নতুন ওপেন সোর্স লার্জ ল্যাঙ্গুয়েজ মডেল DeepSeek-Prover-V2 প্রকাশ করেছে। এই মডেলটি বিশেষভাবে Lean 4 প্রোগ্রামিং ভাষায় গাণিতিক উপপাদ্য প্রমাণের জন্য ডিজাইন করা হয়েছে। সিনসিড রিভিউ জানিয়েছে, এই মডেলটি রিকার্সিভ প্রুফ সার্চ এবং রিইনফোর্সমেন্ট লার্নিং ব্যবহার করে প্রশিক্ষণ দেওয়া হয়েছে।
নতুন এই মডেলটি গাণিতিক উপপাদ্য প্রমাণের প্রচলিত পদ্ধতিতে বড় পরিবর্তন আনতে পারে। সাধারণত AI মডেলগুলোকে বিপুল পরিমাণ ডেটার উপর প্রশিক্ষিত করতে হয়। কিন্তু DeepSeek-Prover-V2 নিজেই নিজের প্রমাণ পদ্ধতি তৈরি করতে পারে। এটি DeepSeek-V3 মডেলকে প্রশিক্ষণ ডেটা জেনারেটর হিসেবে ব্যবহার করে এবং তারপর রিইনফোর্সমেন্ট লার্নিংয়ের মাধ্যমে নিজেকে আরও উন্নত করে।
DeepSeek-Prover-V2 এর সবচেয়ে বড় সাফল্য হলো MiniF2F বেঞ্চমার্কে শীর্ষস্থান অর্জন করা। MiniF2F একটি আন্তর্জাতিক মানদণ্ড যা গাণিতিক উপপাদ্য প্রমাণের জন্য AI মডেলের দক্ষতা পরিমাপ করে। এই বেঞ্চমার্কে শীর্ষস্থান অর্জনের অর্থ হলো মডেলটি জটিল গাণিতিক সমস্যা সমাধানে অত্যন্ত দক্ষ।
মডেলটির প্রযুক্তিগত দিক বিশ্লেষণ করলে দেখা যায়, এটি রিকার্সিভ প্রুফ সার্চ নামে একটি পদ্ধতি ব্যবহার করে। এই পদ্ধতিতে মডেলটি একটি উপপাদ্য প্রমাণের জন্য একাধিক পথ পরীক্ষা করে দেখে। যদি একটি পথ ব্যর্থ হয়, তাহলে সে পূর্ববর্তী ধাপে ফিরে গিয়ে নতুন পথ চেষ্টা করে। এটি মানুষের চিন্তা প্রক্রিয়ার মতোই কাজ করে।
বাংলাদেশের প্রেক্ষাপটে এই মডেলটির গুরুত্ব অনেক। দেশের বিশ্ববিদ্যালয়ের গণিত ও কম্পিউটার বিজ্ঞানের শিক্ষার্থীরা এই ওপেন সোর্স মডেলটি ব্যবহার করে গবেষণা করতে পারবে। ফ্রিল্যান্সার এবং সফটওয়্যার ডেভেলপাররাও এই মডেলটি ব্যবহার করে জটিল গাণিতিক সমস্যার সমাধান করতে পারবে। বিশেষ করে যারা ফর্মাল ভেরিফিকেশন এবং প্রোগ্রাম প্রুফ নিয়ে কাজ করেন, তাদের জন্য এটি অত্যন্ত উপকারী হবে।
ডিপসিক এআই ঘোষণা করেছে যে তারা এই মডেলটি সম্পূর্ণ ওপেন সোর্স হিসেবে প্রকাশ করবে। এর অর্থ হলো যেকোনো গবেষক বা ডেভেলপার বিনামূল্যে মডেলটি ডাউনলোড করে ব্যবহার করতে পারবে। এটি AI গবেষণার ক্ষেত্রে একটি বড় অগ্রগতি।
ভবিষ্যতে এই প্রযুক্তি আরও উন্নত হলে আমরা হয়তো দেখতে পাবো যে AI সম্পূর্ণ স্বয়ংক্রিয়ভাবে নতুন গাণিতিক উপপাদ্য আবিষ্কার করছে। এটি বিজ্ঞান ও প্রকৌশলের বিভিন্ন ক্ষেত্রে বিপ্লব ঘটাতে পারে।
আরও পড়ুন
এই সংবাদটি আন্তর্জাতিক সূত্রের তথ্য অবলম্বনে AI-সহায়তায় বাংলায় উপস্থাপন ও বাংলাদেশের প্রেক্ষাপটে সম্পাদিত। মূল তথ্যের জন্য নিচের সূত্র দেখুন।
মূল প্রতিবেদন: Synced Review
সোর্স দেখুন ↗মন্তব্য০
লোড হচ্ছে...