Claude ক্রিটিক্যাল লাইনে zeta শূন্যগুলির প্রমাণিত অনুপাত 67.2%-এ উন্নীত করেছে — এবং সংখ্যার চেয়ে পদ্ধতিটিই বেশি গুরুত্বপূর্ণ

১০ আগস্ট Anthropic এমন একটি গবেষণা নোট প্রকাশ করল যার লেখক একটি বড় ভাষা মডেল। ফলাফল: রিম্যান zeta ফাংশনের নন-ট্রিভিয়াল শূন্যগুলির অন্তত 67.2% ক্রিটিক্যাল লাইন Re(s) = 1/2-এর উপর অবস্থিত। শর্তহীনভাবে। আগের প্রমাণিত রেকর্ড ছিল 41.6% (5/12) — একটি সংখ্যা যা Levinson পদ্ধতির চার দশকের পরিমার্জনকে টপকে টিকে ছিল।

Claude রিম্যান হাইপোথিসিস প্রমাণ করেনি। পেপারটি নিজেই সেটি দুবার স্পষ্ট বলে। যা করেছে — আর এটিই সেই অংশ যেখানে থেমে পড়তে হয় — তা হলো শর্তসাপেক্ষ 67%-কে শর্তহীন 67%-এ রূপান্তর, সত্যিই নতুন একটি পদ্ধতিতে: কোনো zero-density estimates নেই, কোনো zero-free region নেই, কোনো mollifier নেই। গাণিতিক ইনপুটটি হুবহু Montgomery-এর bandwidth ≤ 1-এ pair-correlation দ্বিতীয় moment-এর মৌলিক-সংখ্যা-পাশ মূল্যায়ন, যা 1973 সাল থেকে শর্তহীন। যা কিছু আগে RH-এর ভিত্তিতে পড়তে হতো, এখন তা প্রতিস্থাপিত হয়েছে একটি সসীম ম্যাট্রিক্সের উপর রৈখিক বীজগণিত দিয়ে।

এই সংখ্যাটির ওজন কেন

রিম্যান হাইপোথিসিস বলে: প্রতিটি নন-ট্রিভিয়াল শূন্যের বাস্তব অংশ ঠিক 1/2। 1859 সাল থেকে অপ্রমাণিত; Clay Millennium Problems-এর একটি, যার পুরস্কার এক মিলিয়ন ডলার। আংশিক ফলাফলগুলো রেখার উপর শূন্যগুলির ভগ্নাংশের নিম্ন সীমা, এবং বংশলতাটি সম্পূর্ণ বলা দরকার:

• Hardy (1914): রেখায় অসীম সংখ্যক শূন্য।
• Selberg (1942): একটি ধনাত্মক অনুপাত।
• Levinson (1974): কমপক্ষে 1/3, mollifier পদ্ধতিতে।
• Conrey (1989): 2/5, Levinson-কে পরিমার্জিত করে।
• Bui–Conrey–Young, Feng, Pratt–Robles–Zaharescu–Zeindler: 5/12, এই সপ্তাহ পর্যন্ত দাঁড়িয়ে থাকা রেকর্ড।

ওই তালিকার প্রতিটি সংখ্যা একই পরিবারের কৌশল থেকে আসে — Levinson পদ্ধতি ও তার উত্তরসূরিরা। নতুন 2/3 তা নয়। এটি Montgomery-এর pair-correlation চিন্তাধারা থেকে আসে, যা আগে কেবল RH-এর শর্তে ব্যবহার করা যেত। এটি কাঠামোগত ভাঙন, বৃদ্ধি নয়: “RH-শর্তসাপেক্ষ pair-correlation ফলাফল”-কে এই শক্তিতে RH থেকে পৃথক করা হলো প্রথমবার।

2/3 সংখ্যাটির নিজস্ব ইতিহাস আছে। Montgomery 1973 সালে দেখিয়েছিলেন যে RH-এর অধীনে শূন্যগুলির কমপক্ষে 2/3 simple (পরে Goldston ও অন্যরা 67.9%-এ উন্নীত করেন)। এখানে 2/3 সেই একই ধ্রুবক, এখন শর্তহীন — কিন্তু রেখার উপরের শূন্যগুলির জন্য, এবং distinct শূন্য হিসেবে গণনা করা হয়েছে, Montgomery-এর “simple” অর্থে নয়। এই পার্থক্যটি গুরুত্বপূর্ণ: N₀* ক্রিটিক্যাল লাইনের distinct শূন্য গণনা করে, তাই গুণিতকতা আপনার বিপক্ষে গণনা হয় না। পেপারটি আরও প্রমাণ করে যে অন্তত 5/6 শূন্য distinct, যা একই মেশিনারি থেকে আসে।

আরও দুটি কাঠামোগত বিন্দু। প্রথম: উপপাদ্যটি dyadic interval [T, 2T]-এর উপর, o(1) ত্রুটি নিয়ে; T→∞-তে liminf কমপক্ষে 2/3, এবং পেপারটি জানায় finite-T অনুপাত তার সীমার নিচে আছে কারণ অভিসরণ ধীর (তাদের Remark 5.9)। দ্বিতীয়: পদ্ধতিটি 2/3-এ আটকে নেই — optimal Montgomery–Taylor window দিয়ে ধ্রুবকটি 0.67250… হয়, যা হুবহু RH-শর্তসাপেক্ষ Montgomery–Taylor ধ্রুবক। 2/3 হলো পরিষ্কার বিবৃতি; পদ্ধতিটি বিনামূল্যে আরও কিছুটা দিতে পারে।

ভিন্ন একটি ইঞ্জিন

এখানেই ফলাফল রেকর্ড হওয়া ছেড়ে কৌশল হয়ে যায়। Weil explicit formula টেস্ট ফাংশনের উপর একটি ধনাত্মকতা বিবৃতিকে শূন্যগুলি সম্পর্কে দাবিতে রূপান্তর করে: সংশ্লিষ্ট quadratic functional positive semidefinite যদি এবং কেবল যদি RH সত্য হয়। এই সমতুল্যতাই শক্তি এবং ফাঁদ দুই-ই — “ধনাত্মকতা দিয়ে RH প্রমাণ”-এর প্রতিটি নিষ্পাপ পথ এইটির উপর মারা যায়। Claude-এর coordinator agent জানিয়েছে যে আগের হাজার-এজেন্ট সেশনে, প্রতিটি প্রস্তাবিত পথের প্রথম সারবস্তুগত পদক্ষেপই Weil positivity বা তার ছদ্মরূপ হিসেবে বেরিয়েছে।

কৌশল হলো পুরো অসীম-মাত্রিক ফর্ম সম্পর্কে প্রশ্ন করা বন্ধ করা। Claude pairing-কে টেস্ট ফাংশনের একটি সসীম-মাত্রিক স্থানে — মড্যুলেটেড উইন্ডোর একটি “Gabor system”, যাদের সংখ্যা d ≈ λN(T,2T) — সীমাবদ্ধ করে, এবং ফলে পাওয়া finite real symmetric matrix বিশ্লেষণ করে। এখন:

• ক্রিটিক্যাল লাইনের শূন্য positive semidefinite rank-one ব্লক দেয়;
• লাইনের বাইরের শূন্য ফাংশনাল সমীকরণে {ρ, 1−ρ̄} জোড়ায় আসে এবং indefinite (1,1) ব্লক দেয় — একটি Kreĭn-স্থানের signature, Hilbert-স্থানের নয়;
• Sylvester’s law of inertia পুরো ফর্মের signature-কে সীমাবদ্ধ করে;
• একটি rank–trace অসমতা — von Neumann trace inequality দিয়ে প্রমাণিত — signature-কে গণনাযোগ্য trace moments-এর সাথে যুক্ত করে;
• trace নিজেরাই X = (T/2π)^λ পর্যন্ত মৌলিক সংখ্যা থেকে Montgomery–Vaughan দিয়ে শর্তহীনভাবে মূল্যায়ন করা হয়।

শূন্য-পাশ এবং মৌলিক-পাশ একটি Poisson-summation অভেদ দ্বারা মিলিত হয় যা sampling kernel-কে হুবহু দেয়, কোনো aliasing ছাড়া। সংখ্যাগতভাবে দুটি পাশ ছোট উচ্চতায় 10⁻⁸ পর্যন্ত মেলে। সবচেয়ে গুরুত্বপূর্ণ পদক্ষেপটি ধারণাগত: RH-কে শাস্ত্রীয়ভাবে দরকার ছিল শূন্য-পাশকে বাস্তব ordinate-গুলির উপর ধনাত্মক যোগফল হিসেবে পড়তে। এখানে লাইনের বাইরের জোড়ার indefiniteness রৈখিক বীজগণিত দ্বারা শোষিত হয় — শূন্য লাইন থেকে কত দূরে তা জানার দরকারই নেই, শুধু দরকার তার (1,1) ব্লক rank-এ সীমাবদ্ধ। negative index-কে inertia উপপাদ্য সামলায়, কোনো অপ্রমাণিত অনুমানে শূন্য করে দেওয়ার বদলে।

এ কারণেই Bombieri-এর 2000 সালের পেপার, “Remarks on Weil’s quadratic functional in the theory of prime numbers, I”, সঠিক পূর্বপুরুষ: তিনি Weil ফর্মের সসীম truncation নিয়ে কাজ করেছিলেন এবং দেখিয়েছিলেন যে RH যদি কেবল সসীম সংখ্যক খারাপ শূন্য নিয়ে ব্যর্থ হয়, তাহলে যথেষ্ট বড় truncation-এর negative eigenvalue-এর সংখ্যা খারাপ শূন্যের সংখ্যার অর্ধেকের সমান। সসীম কম্প্রেশনের signature এনকোড করে RH কীভাবে ব্যর্থ হয়। Claude-এর অবদান হলো দেখানো যে সেই signature থেকে রেখার উপর গণনা বের করা যায়, কোন লাইনের-বাইরের শূন্য বিদ্যমান সেই প্রশ্নটি সমাধান না করেই।

এটি কী বলে না, আর সিলিং কোথায়

পেপারটি তার সীমা সম্পর্কে অস্বাভাবিকভাবে স্পষ্ট। এই ধরনের কোনো certificate 0.68185 অতিক্রম করতে পারে না — bandwidth λ ≤ 1-এ প্রথম/দ্বিতীয় moment তথ্যের একটি কঠিন সিলিং আছে, এবং λ ≤ 1 যুক্তির জন্য অপরিহার্য (এর বাইরে এমন তথ্য দরকার যা শর্তহীন মৌলিক-পাশ দেয় না)। 0.70/0.80/0.90-এ পৌঁছতে pair-correlation support-কে মোটামুটি 1.04/1.26/1.70 পর্যন্ত প্রসারিত হতে হবে, অর্থাৎ সত্যিই নতুন গাণিতিক ইনপুট, আরও বুদ্ধিমান রৈখিক বীজগণিত নয়।

তাই সৎ পাঠ: এটি RH প্রমাণের দিকে একটি পদক্ষেপ নয়, এবং লেখকরা তা দাবিও করেন না। এটি পুরনো এবং আরও সহজসাধ্য প্রকল্পের দিকে একটি পদক্ষেপ — “RH-এর ফলাফলকে শর্তহীন করা” কর্মসূচি, যে ভাবনায় Bombieri ও অন্যরা সংক্ষিপ্ত ব্যবধানে মৌলিক সংখ্যার জন্য করেছিলেন। আর এটি দেখায় যে pair-correlation মেশিনারি, একবার RH থেকে মুক্ত হলে, এই বিশেষ কাজে mollifier মেশিনারির চেয়ে শক্তিশালী।

সেই 54-ঘণ্টার সেশনের পেছনে

পরিশিষ্টটি আরও আকর্ষণীয়, এবং এটিকে workflow পেপার হিসেবে পড়া উচিত, রঙিন গল্প হিসেবে নয়। একটি coordinator agent দেড় দিন ধরে ~60টি বিচ্ছিন্ন subagent চালিয়েছিল: 2,400 shell command, শত শত Python স্ক্রিপ্ট, 31 million আউটপুট টোকেন। coordinator নিজে প্রায় কোনো গণিত করেনি; তার ভূমিকা ছিল দিকনির্দেশ, triage এবং verification।

দুটি subagent মূল ধারণা তৈরি করেছিল। E2 প্রমাণ করেছিল যে negative-index পথটি খালি — সৎ finite negative index identically zero — এবং তারপর ধারণাটি উল্টে, মৌলিক-পাশের trace থেকে positive index-কে নিম্ন-সীমা করে দাবি করেছিল যে কমপক্ষে অর্ধেক শূন্য রেখায়। E2-pairs 91 মিনিট ভেবেছিল, তার নিজের brief-এর বিপরীত সংখ্যাগত পরীক্ষা চালিয়েছিল, এবং rank–trace lemma-টি লিখেছিল যা 1/2-কে 2/3-তে তুলেছে। সেটি লেখার চার মিনিট পরে একটি infrastructure fault বাক্যের মাঝে run-টিকে শেষ করে দেয়। coordinator মৃত agent-এর directory পড়ে, ফলাফলটিকে “আজ রাতের সবচেয়ে গুরুত্বপূর্ণ ঘটনা” হিসেবে চিনে, পাঁচ-লাইনের প্রমাণটি লাইন ধরে যাচাই করে, এবং একই agent-কে একটি checklist দিয়ে পুনরায় চালু করে।

কীভাবে এটি কাজ করেছিল, সে সম্পর্কে কয়েকটি বিষয় দাঁড়িয়ে আছে। coordinator-এর নিজের দুটি সৃজনশীল পূর্বাভাসই ভুল ছিল — অর্ধেক-পদক্ষেপে এটি প্রক্রিয়াটিকে ভুল দিকে নির্দেশ করেছিল এবং দুই-তৃতীয়াংশ-পদক্ষেপে ভুল recovery lever দিয়েছিল — অথচ তার referee স্থাপত্যটি টিকে গিয়েছিল। subagents-দের ইচ্ছাকৃতভাবে বিচ্ছিন্ন রাখা হয়েছিল: তারা কথোপকথন বা একে অপরকে দেখতে পারত না, যা তাদের ভুলগুলিকে স্বাধীন রেখেছিল এবং adversarial review-কে অর্থবহ করেছিল। আর মানুষের অবদান ছিল কয়েকটি এক-লাইনের prompt: “Resume your work,” “Push it to 2/3,” “Keep going.” Claude শুরুতে নিজেকে কম মূল্যায়ন করেছিল; অধ্যবসায়টি বাইরে থেকে এসেছিল।

যাচাইকরণ প্রোটোকলই আসল আবিষ্কার

এখানেই ফলাফল সংখ্যা তত্ত্বের বাইরে গুরুত্বপূর্ণ হয়ে ওঠে। AI গণিতের বিশ্বাস সমস্যা “একটি মডেল কি প্রমাণ খুঁজে পেতে পারে” তা নয় — তা হলো “কেন কেউ বিশ্বাস করবে”। এই pipeline সেই প্রশ্নের উত্তর দেওয়ার একটি template:

1. অন্ধ প্রতিকূল referee agent — প্রত্যেককে একটি বিচ্ছিন্ন gap এবং একটি আক্রমণ পরিকল্পনা, একে অপরকে পড়তে নিষেধ। তারা একটি বাস্তব ত্রুটি খুঁজে পেয়েছিল — mass matrix সম্পর্কে একটি মিথ্যা premise — এবং সেই repair প্রস্তাব করেছিল যা শেষ পর্যন্ত পেপারে গেছে। একটি adversarial loop একটি hallucination ধরেছে; এটি-ই system কাজ করছে।
2. একটি অন্ধ re-derivation agent — প্রমাণ না পড়েই ফলাফলটি প্রমাণ করেছে, এবং control case-ও যেখানে RH ব্যর্থ বলে জানা। দুটোই reproducibility-র সস্তা রূপ।
3. একটি literature agent — novelty যাচাই করতে 54টি arXiv পেপার ডাউনলোড করেছে; coordinator স্পষ্টভাবে নিজের স্মৃতিতে বিশ্বাস করতে অস্বীকার করেছিল।
4. Lean 4 / Mathlib formalization — Theorems A–E, sorry-free, কেবল তিনটি মানক axioms-এর উপর নির্ভরশীল (propext, Classical.choice, Quot.sound)। এর মধ্যে Weil explicit formula, Riemann–von Mangoldt counting, Stirling estimates, Chebyshev–Mertens এবং Montgomery–Vaughan — বিশ্লেষণাত্মক scaffolding-ও formalized, শুধু শিরোনাম উপপাদ্যটিই নয়।
5. মানুষ বিশেষজ্ঞ — Anthropic-এর নিজস্ব গণিতবিদ Levent Alpöge এবং Ralph Furman এটি বৈধতা দিয়েছেন; বাইরের বিশেষজ্ঞ Brian Conrey এবং Dan Goldston স্বল্প সময়ের নোটিশে পরীক্ষা করেছেন।

coordinator-এর নিজের সতর্ক বক্তব্যগুলিই সবচেয়ে শিক্ষণীয়। “আমি বলছি না যে অর্ধেক শূন্য রেখায় আছে। আমি বলছি একজন এজেন্ট সেই সিদ্ধান্তসহ একটি যুক্তি তৈরি করেছে।” “ফলাফলটির জন্য একজন মানুষ বিশেষজ্ঞ দরকার।” চূড়ান্ত খসড়ার রায়: “পরবর্তী পাঠক একজন মানুষ হওয়া উচিত।”

এটি কাজের সঠিক বিভাজন, এবং এটি নাম দেওয়ার মতো: generation ও execution সমান্তরাল করা যায়; verification স্তরিত ও প্রতিকূল; formalization হলো ground truth; বিচার মানুষের কাছে থাকে। referee-রা যে ত্রুটিটি ধরেছিল সেটিই pipeline-টির অস্তিত্বের কারণ — একটি মডেল যখন বিশ্বাসযোগ্য প্রমাণ তৈরি করে, সেটিই ঠিক সেই পরিস্থিতি যেখানে সমালোচনাহীন পাঠক পুড়ে যায়।

সৎ সতর্কতা

এটি preprint-স্তরের গবেষণা আর্টিফ্যাক্ট, যেটি যে সপ্তাহে লেখা হয়েছিল সেই সপ্তাহেই প্রকাশিত হয়েছে। expert note নিজেই অসম্প্রসারিত error term চিহ্নিত করে (O(T^δ log T) এবং O(T^{1/2−2δ}) লেজগুলো রূপরেখা মাত্র, সম্পূর্ণ বিস্তারিত নয়)। Lean formalization একটি স্থির গবেষণা আর্টিফ্যাক্ট, রক্ষণাবেক্ষণ করা লাইব্রেরি নয়। আর session-স্তরের আচরণ — একটি coordinator যার পূর্বাভাস দুবার ভুল হয়েছিল, একটি agent যাকে লক্ষ্য করার জন্য infrastructure crash দরকার হয়েছিল — এখনও একটি পুনরুৎপাদনযোগ্য প্রক্রিয়া নয়; এটি একটি data point যে এই workflow সফল হলে কী তৈরি করতে পারে।

গণিতটি বেশিরভাগ preprint-এর চেয়ে কঠোরভাবে যাচাই করা হয়েছে: একটি মেশিন-পরীক্ষিত Lean প্রমাণ, একটি প্রতিকূল referee loop, এবং দুইজন স্বাধীন বিশেষজ্ঞের পাঠ। চূড়ান্ত রায় এখনও সম্প্রদায়ের কাছে, যা-ই হওয়া উচিত। কিন্তু জিনিসটির আকৃতি — একটি AI-জেনারেটেড উপপাদ্য, আনুষ্ঠানিকভাবে যাচাইকৃত, বিশেষজ্ঞ-পর্যালোচিত, যার পদ্ধতি সততার সাথে Bombieri ও Montgomery-তে তার পূর্বপুরুষদের সঙ্গে যুক্ত — নতুন। 67.2% সংখ্যাটি ঘোষণার সবচেয়ে কম চমকপ্রদ অংশ।

তথ্যসূত্র

• Anthropic: “Claude রিম্যান হাইপোথিসিসের মোকাবিলা করছে”
• Claude (Anthropic, 2026): “রিম্যান zeta ফাংশনের শূন্যগুলির দুই-তৃতীয়াংশেরও বেশি ক্রিটিক্যাল লাইনে অবস্থিত”
• Anthropic: বিশেষজ্ঞদের জন্য অনানুষ্ঠানিক নোট
• Anthropic: আবিষ্কার প্রক্রিয়ার পরিশিষ্ট
• Lean 4 ফর্মালাইজেশন (GitHub)
• Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh: “রিম্যান zeta ফাংশনের শূন্যগুলির পেয়ার কোরিলেশনের জন্য একটি শর্তহীন Montgomery উপপাদ্য” (arXiv:2306.04799)
• Baluyot, Goldston, Suriajaya, Turnage-Butterbaugh: “রিম্যান zeta ফাংশনের শূন্যগুলির পেয়ার কোরিলেশন I” (arXiv:2501.14545)
• Bombieri (2000): “মৌলিক সংখ্যার তত্ত্বে Weil-এর দ্বিঘাত ফাংশনাল সম্পর্কে মন্তব্য, I”
• Montgomery-এর পেয়ার কোরিলেশন অনুমান (উইকিপিডিয়া)
• Clay Mathematics Institute: Millennium Problems