Claude Lean-এ Fermat's Last Theorem-কে ফরমালাইজ করেছে

Anthropic সম্প্রতি একটি বিশাল গবেষণা কাজ সম্পন্ন করেছে। একটি অভ্যন্তরীণ মডেল Lean 4 প্রুফ ল্যাঙ্গুয়েজ ব্যবহার করে Fermat's Last Theorem-কে ফরমালাইজ করার জন্য টানা ১১ দিন কাজ করেছে।

এটি কোনো নতুন গাণিতিক আবিষ্কার নয়। Andrew Wiles ১৯৯৫ সালে এই উপপাদ্যটি প্রমাণ করেছিলেন। Anthropic যা করেছে তা হলো বিদ্যমান সেই প্রমাণটিকে কোডে রূপান্তর করা। এটি একটি কম্পিউটারকে প্রতিটি যৌক্তিক ধাপ সম্পূর্ণ নিশ্চিততার সাথে যাচাই করার সুযোগ দেয়।

এই প্রকল্পের পরিধি বিশাল: • মডেলটি ১৩ মিলিয়ন লাইন Lean কোড তৈরি করেছে। • এটি ৩০,৩০০টি মধ্যবর্তী উপপাদ্য প্রমাণ করেছে। • এটি প্রায় ৬ বিলিয়ন আউটপুট টোকেন ব্যবহার করেছে।

মডেলটি মূলত নিজেই কাজ করেছে। মানুষ কেবল মাঝে মাঝে উচ্চ-স্তরের নির্দেশনা দিয়েছে। প্রক্রিয়াটি মাঝরাতে শেষ হয়েছে যখন কেউ দেখছিল না। সিস্টেমটি স্বয়ংক্রিয়ভাবে এই সাফল্যের লগ সংরক্ষণ করেছে।

দুটি গুরুত্বপূর্ণ বিষয় লক্ষণীয়: ১. এই মডেলটি একটি অভ্যন্তরীণ গবেষণা সরঞ্জাম। আপনি এখনও API-এর মাধ্যমে এটি ব্যবহার করতে পারবেন না। এটি বর্তমানে আপনি যে Claude মডেলগুলো ব্যবহার করেন তার মতো নয়। ২. ডেভেলপারদের জন্য আসল গুরুত্ব লুকিয়ে আছে Prove2Me নামক কোঅর্ডিনেশন লেয়ারে।

Prove2Me একটি ওপেন সোর্স টুল। এটি টাস্ক ম্যানেজ করার জন্য একটি ডিপেন্ডেন্সি গ্রাফ ব্যবহার করে। একটি সাধারণ চেকলিস্টের পরিবর্তে, এটি প্রমাণগুলো একে অপরের সাথে কীভাবে সংযুক্ত তা একটি ম্যাপের মাধ্যমে তৈরি করে।

এই কাঠামোটি agent workflows-এর দুটি প্রধান সমস্যার সমাধান করে:

  • এটি একাধিক এজেন্টকে একই কাজ করা থেকে বিরত রাখে।
  • এটি এজেন্টদের একটি শেয়ারড মেমরি প্রদান করে যাতে তারা মূল লক্ষ্য ভুলে না যায়।

বেশিরভাগ agent workflow ব্যর্থ হয় কারণ সময়ের সাথে সাথে তারা প্রসঙ্গের (context) ওপর নিয়ন্ত্রণ হারিয়ে ফেলে। একটি দীর্ঘ চ্যাট উইন্ডোর পরিবর্তে একটি শেয়ারড, এক্সটার্নাল গ্রাফ ব্যবহার করলে কাজটি সঠিক পথে থাকে।

আপনি যদি agent workflows তৈরি করেন, তবে আপনার Prove2Me আর্কিটেকচারটি অধ্যয়ন করা উচিত। এমনকি আপনি যদি Anthropic-এর রিসার্চ মডেলগুলো ব্যবহার না-ও করেন, তবুও তাদের টাস্ক কোঅর্ডিনেশন করার পদ্ধতিটি দীর্ঘমেয়াদী কাজের (long horizon work) জন্য একটি ব্লুপ্রিন্ট হিসেবে কাজ করবে।

Source: https://dev.to/raxxostudios/claude-just-formalized-fermats-last-theorem-in-lean-3p36

Optional learning community: https://t.me/GyaanSetuAi