পাল্টা উদাহরণের মাধ্যমে এআই জ্যাকোবিয়ান অনুমানকে খণ্ডন করেছে
২০ জুলাই ২০২৬ তারিখে, হার্ভার্ড বিশ্ববিদ্যালয় ও Anthropic-এর গণিতবিদ লেভেন্ট আলপোজে ঘোষণা করেন যে, AI মডেল Claude Fable 5 জ্যাকোবিয়ান অনুমানকে খণ্ডন করতে সাহায্য করেছে—যা ১৯৩৯ সালে এডুয়ার্ড ওট-হাইনরিখ কেলার দ্বারা প্রস্তাবিত ছিল। অনুমানটি বলেছিল যে, একটি ধ্রুবক অশূন্য জ্যাকোবিয়ান ডিটারমিন্যান্টযুক্ত বহুপদী মানচিত্রের একটি বহুপদী বিপরীত অবশ্যই থাকবে। AI-সহায়তায় তৈরি খণ্ডনটি একটি ২১৬-অক্ষরের বহুপদী সূত্র যা ডিটারমিন্যান্ট শর্ত পূরণ করে কিন্তু কোনো বহুপদী বিপরীত নেই, যা তিনটি ভিন্ন ইনপুট একই আউটপুটে ম্যাপিং করে প্রমাণিত। পাল্টা উদাহরণটি SymPy ও Lean ব্যবহার করে যাচাই করা হয়েছে এবং স্ট্যানফোর্ড বিশ্ববিদ্যালয়ের বিশারদ গণিতবিদ জ্যারেড ডুকার লিচম্যানসহ অন্যান্যরা বৈধতা দিয়েছেন। এই ফলাফলটি বীজগণিতীয় জ্যামিতিতে গুরুত্বপূর্ণ এবং স্টিফেন স্মেলের আধুনিক গাণিতিক সমস্যার তালিকায় অন্তর্ভুক্ত।
মূল তথ্য
- জ্যাকোবিয়ান অনুমানটি ১৯৩৯ সালে জার্মান গণিতবিদ এডুয়ার্ড ওট-হাইনরিখ কেলার প্রস্তাব করেছিলেন।
- অনুমানটি বলে যে, এমন বহুপদী মানচিত্রের জন্য যাদের জ্যাকোবিয়ান ডিটারমিন্যান্ট ধ্রুবক ও অশূন্য, একটি বহুপদী বিপরীত অবশ্যই থাকতে হবে।
- ২০ জুলাই ২০২৬ তারিখে, হার্ভার্ড বিশ্ববিদ্যালয় ও অ্যানথ্রোপিকের সঙ্গে যুক্ত গণিতবিদ লেভেন্ট আলপোজে এআই মডেল Claude Fable 5-এর সাহায্যে অনুমানটি ভুল প্রমাণিত হওয়ার কথা ঘোষণা করেন।
- বিপরীত উদাহরণে ২১৬-অক্ষরের একটি বহুপদী সূত্র রয়েছে, যা ধ্রুবক নির্ণায়ক শর্ত পূরণ করে কিন্তু এর কোনো বহুপদী বিপরীত নেই।
- নির্দিষ্ট ইনপুট (০, ০, ১/৪), (১, -৩/২), এবং (-১, ৩/২) একই আউটপুট (১/৪, ০, ০, ০) এ রূপান্তরিত হয়, যা বিপরীতযোগ্যতার ব্যর্থতা প্রদর্শন করে।
- ফলাফলটি যাচাই করতে SymPy সফটওয়্যার ও Lean ফরমাল প্রুফ অ্যাসিস্ট্যান্ট ব্যবহার করা হয়েছে।
- স্ট্যানফোর্ড বিশ্ববিদ্যালয়ের জ্যারেড ডুকার লিচম্যানসহ অন্যান্য গণিতবিদরা ফলাফলগুলি পরীক্ষা ও নিশ্চিত করেছেন।
- এই সমস্যা স্টিফেন স্মেলের একবিংশ শতাব্দীর গুরুত্বপূর্ণ অমীমাংসিত সমস্যার তালিকায় অন্তর্ভুক্ত।
পটভূমি ও প্রেক্ষাপট
জ্যাকোবিয়ান অনুমানটি বীজগণিতীয় জ্যামিতির একটি মৌলিক ও দীর্ঘদিনের অমীমাংসিত সমস্যা, যা একাধিক চলকবিশিষ্ট বহুপদী ফাংশনের গ্লোবাল ইনভার্টিবিলিটির সঙ্গে সম্পর্কিত। ১৯৩৯ সালে এডুয়ার্ড ওট-হাইনরিখ কেলার প্রথম এটি প্রস্তাব করেন। অনুমানটি প্রশ্ন তোলে যে, ধ্রুবক, অশূন্য জ্যাকোবিয়ান ডিটারমিন্যান্টযুক্ত বহুপদী মানচিত্রের অবশ্যই বহুপদী বিপরীত রয়েছে কি না।
দীর্ঘদিন প্রচেষ্টার পরও এটি অমীমাংসিত ছিল। সম্প্রতি, Claude Fable 5 মডেল যা Anthropic দ্বারা তৈরি এবং লেভেন্ট আলপোজের নির্দেশনায় ব্যবহৃত হয়েছে, একটি নতুন পন্থা তুলে ধরেছে যা একটি পাল্টা উদাহরণ আবিষ্কারে সক্ষম হয়েছে, ফলস্বরূপ অনুমানটি ভুল প্রমাণিত হয়।
এটি প্রমাণ করে যে তাত্ত্বিক বিষয়ে কৃত্রিম বুদ্ধিমত্তা ও মানব গণিতবিদদের যৌথ প্রচেষ্টা, প্রতীকী ও আনুষ্ঠানিক যাচাইকরণ প্রযুক্তি ব্যবহার করে নতুন অগ্রগতি সাধন করতে পারে।
পরীক্ষার জন্য গুরুত্ব
প্রতিযোগিতামূলক পরীক্ষায় গাণিতিক অনুমান ও তার ইতিহাস, সাম্প্রতিক অগ্রগতি নিয়ে প্রশ্ন থাকে, বিশেষ করে AI ও কম্পিউটার বিজ্ঞানের আন্তঃশাস্ত্রীয় পদ্ধতি সম্পর্কে। বীজগণিতীয় জ্যামিতি ও গণনামূলক গণিতের জ্ঞানে আগ্রহী শিক্ষার্থীদের জন্য ১৯৩৯ সালে প্রস্তাবিত জ্যাকোবিয়ান অনুমান এবং ২০২৬ সালে AI-এর সহায়তায় এর খণ্ডন জানা জরুরি।
Claude Fable 5, SymPy এবং Lean-এর মত AI সরঞ্জাম সম্পর্কে জ্ঞান শিক্ষার্থীদের আধুনিক গাণিতিক গবেষণায় প্রযুক্তির প্রভাব বুঝতে সহায়ক।
মনে রাখার বিষয়
- জ্যাকোবিয়ান ডিটারমিন্যান্ট হলো বহু-চলকীয় ফাংশনের প্রথম-ক্রমের আংশিক ডেরিভেটিভের ম্যাট্রিক্সের ডিটারমিন্যান্ট।
- এডুয়ার্ড ওট-হাইনরিখ কেলার ১৯৩৯ সালে অনুমানটি প্রস্তাব করেন, যা বীজগণিতীয় জ্যামিতির একটি বড় সমস্যা ছিল।
- ২০ জুলাই ২০২৬ সালে হার্ভার্ড বিশ্ববিদ্যালয় ও Anthropic-এর লেভেন্ট আলপোজে AI সহযোগিতায় এটি খণ্ডন ঘোষণা করেন।
- বিপরীত উদাহরণে (০,০,১/৪), (১,-৩/২), (-১,৩/২) ইনপুট একত্রে একই আউটপুটে ম্যাপ হয়, যা বিপরীতযোগ্যতার শর্ত লঙ্ঘন করে।
- সমাধান যাচাইতে SymPy কম্পিউটার অ্যালজেবরা সিস্টেম ও Lean ফরমাল প্রুফ অ্যাসিস্ট্যান্ট ব্যবহৃত হয়।
- অনুমানটি স্টিফেন স্মেলের একজন বড় অমীমাংসিত সমস্যা তালিকার অংশ।
- এই সাফল্য জটিল গাণিতিক সমস্যা সমাধানে AI-এর ক্রমবর্ধমান ভূমিকা তুলে ধরে।