Claude AI এজেন্টরা ক্রিটিক্যাল লাইনে (critical line) অবস্থিত Riemann-zeta শূন্যের (zeros) যাচাইকৃত অনুপাত ৪১.৬% থেকে বাড়িয়ে ৬৭.২% করেছে। এই উল্লম্ফনটি Riemann হাইপোথিসিসকে (Riemann hypothesis) প্রমাণ করে না, তবে এটি দেখায় যে বৃহৎ পরিসরের AI-চালিত ওয়ার্কফ্লো গাণিতিকভাবে যাচাইযোগ্য ফলাফল তৈরি করতে পারে।

কেন Riemann হাইপোথিসিস গুরুত্বপূর্ণ

এই হাইপোথিসিসটি দাবি করে যে Riemann zeta ফাংশনের প্রতিটি নন-ট্রিভিয়াল (non-trivial) শূন্যের বাস্তব অংশ (real part) ঠিক ½। এই শূন্যগুলো মৌলিক সংখ্যার (prime numbers) বিন্যাস নিয়ন্ত্রণ করে, তাই এই অনুকল্পটি (conjecture) নিশ্চিত করা গেলে মৌলিক সংখ্যার প্যাটার্ন এবং কমপ্লেক্স অ্যানালাইসিসের (complex analysis) মধ্যে সম্পর্ক আরও সুদৃঢ় হবে। এখন পর্যন্ত, শূন্যগুলোর মাত্র একটি ক্ষুদ্র অংশ "ক্রিটিক্যাল লাইনে" অবস্থিত বলে প্রমাণিত হয়েছে। এই অনুপাত বৃদ্ধি করা হলো অগ্রগতির একটি মানদণ্ড।

কীভাবে Anthropic ৬৭.২% এ পৌঁছাল

Anthropic তাদের কোড-কেন্দ্রিক মডেল Claude Code-কে দুটি নিবিড় গবেষণা সেশনের মাধ্যমে পরিচালনা করেছে। দ্বিতীয় সেশনে ৬০টি সাব-এজেন্ট (sub-agents) ব্যবহার করা হয়েছিল যা ২,৪০০টিরও বেশি শেল কমান্ডের (shell commands) মাধ্যমে সমন্বয় করেছিল এবং শত শত Python স্ক্রিপ্ট তৈরি করেছিল। মোট প্রক্রিয়ায় প্রায় ৩১ মিলিয়ন আউটপুট টোকেন নির্গত হয়েছে—যা একটি ছোট উপন্যাসের আকারের সমান।

দলের গণিতবিদরা প্রাপ্ত গবেষণাপত্রটি নিরীক্ষা করেছেন এবং একটি Lean 4 formalization (একটি মেশিন-চেকড প্রুফ ল্যাঙ্গুয়েজ) প্রকাশ করেছেন, যাতে অন্যরা প্রতিটি ধাপ যাচাই করতে পারে। এই কাজে Claude-এর একটি অভ্যন্তরীণ, অপ্রকাশিত গবেষণা সংস্করণ ব্যবহার করা হয়েছে এবং যাচাইকরণ প্রক্রিয়াটি আনুষ্ঠানিক পিয়ার রিভিউ (peer review)-এর পরিবর্তে অভ্যন্তরীণ পরীক্ষা এবং সংক্ষিপ্ত বিশেষজ্ঞ পর্যালোচনার ওপর নির্ভর করেছে।

ফলাফলটি আসলে কী বলছে

নতুন গবেষণাপত্রটি ক্রিটিক্যাল লাইনে শূন্যের প্রমাণিত নিম্নসীমা (lower bound) ৪১.৬% থেকে বাড়িয়ে ৬৭.২% করেছে। এই সংখ্যাটি একটি নিম্নসীমা মাত্র: লাইনের ওপর আরও অনেক শূন্য থাকতে পারে কিন্তু বিশ্লেষণটি সেগুলো ধরতে পারেনি।

অত্যন্ত গুরুত্বপূর্ণ বিষয় হলো, এই ফলাফলটি হাইপোথিসিসটিকে পূর্ণ প্রমাণের কোনো কাছাকাছি নিয়ে যায় না। হাইপোথিসিসটির জন্য সমস্ত নন-ট্রিভিয়াল শূন্যকে লাইনের ওপর থাকা প্রয়োজন; ৬৭.২% নিম্নসীমা মানে হলো এক-তৃতীয়াংশের বেশি শূন্য এখনও হিসাবের বাইরে রয়েছে।

AI পদ্ধতির সীমাবদ্ধতা

Anthropic-এর নিজস্ব বিবৃতিতে স্পষ্ট করা হয়েছে যে তারা বর্তমান ওয়ার্কফ্লোর মাধ্যমে শীঘ্রই হাইপোথিসিসটি সমাধান হবে বলে আশা করছে না। লজিক্যাল গ্যাপ বা যুক্তির ঘাটতি খোঁজার জন্য মানুষের এখনও মডেলের আউটপুট পর্যালোচনা করতে হয় এবং অভ্যন্তরীণ যাচাইকরণ প্রক্রিয়ায় কমিউনিটি পিয়ার রিভিউ-এর মতো কঠোরতা নেই। Claude-এর গবেষণা সংস্করণটি জনসমক্ষে উপলব্ধ নয়, তাই স্বাধীনভাবে এটি পুনরায় পরীক্ষা করা সীমিত।

এরপর কী হবে

Lean 4 formalization প্রকাশ করার মাধ্যমে বৃহত্তর গণিত সম্প্রদায়কে এই প্রমাণটি নিরীক্ষা করার আমন্ত্রণ জানানো হয়েছে।

সারসংক্ষেপ

Anthropic-এর Claude এজেন্টরা প্রমাণ করেছে যে AI জটিল গাণিতিক বিবৃতি যাচাইয়ের গতি ত্বরান্বিত করতে পারে, যা Riemann-zeta শূন্যের পরিচিত নিম্নসীমার ক্ষেত্রে উল্লেখযোগ্য উন্নতি এনেছে। এই সাফল্যটি মূলত বৃহৎ গবেষণা-এজেন্ট ওয়ার্কফ্লোর একটি প্রুফ-অফ-কনসেপ্ট (proof-of-concept), এটি নিজে কোনো মিলেনিয়াম প্রাইজ সমস্যার সমাধান নয়।