মে মাসে সমতলের বিন্দু নিয়ে একটি প্রশ্নের অপ্রত্যাশিত উত্তর মিলেছিল। সেপ্টেম্বরের মধ্যে AI গবেষণাগারগুলো তরল প্রবাহের singularity নিয়ে যুক্তি প্রকাশ করছিল, সঙ্গে এমন ফাইলও দিচ্ছিল যা দিয়ে কম্পিউটার প্রমাণ যাচাই করতে পারে। ওই ঘোষণাগুলোর মাঝখানে এসেছে নতুন counterexample, আরও শক্তিশালী bound এবং Fermat-এর শেষ উপপাদ্যের formalization।
AI-গণিতের এই পরিবর্তনকে শুধু খণ্ডিত অনুমানের চলমান হিসাব দিয়ে বোঝা যায় না। ফলগুলো ভিন্ন প্রশ্ন করে, ভিন্ন ধরনের প্রমাণ বহন করে এবং অসমাপ্ত কাজও আলাদা। counterexample কোনো ধারণা উল্টে দিতে পারে, কিন্তু সর্বোত্তম উত্তর খুঁজে নাও দিতে পারে। উন্নত bound গুরুত্বপূর্ণ হতে পারে, অথচ পাশের বিখ্যাত অনুমানটি অমীমাংসিতই থাকে। কম্পিউটার-যাচাইকৃত প্রমাণ কোনো বক্তব্য প্রতিষ্ঠা করতে পারে, কিন্তু তার ধারণা অন্যত্র কেন কাজে লাগবে তা ব্যাখ্যা নাও করতে পারে।
OpenAI-র ২০ মে-র একক-দূরত্ব ঘোষণা থেকে সেপ্টেম্বরের Navier–Stokes দাবি পর্যন্ত প্রধান অগ্রগতিগুলো আমরা এখানে পরীক্ষা করেছি; প্রতিবেদন ২২ সেপ্টেম্বর ২০২৬ পর্যন্ত হালনাগাদ। মাঝের গুরুত্বপূর্ণ ঘোষণা এবং সেগুলো থেকে এগোনো গবেষণাও এতে আছে। এটি এই ধারার মানচিত্র, AI-সহায়তায় লেখা প্রতিটি গণিতের গবেষণাপত্রের পূর্ণ তালিকা নয়। উদ্ধৃত ঘোষণা, প্রাসঙ্গিক উপপাদ্য, গবেষণার ভূমিকা এবং যাচাই-নথি আমরা পড়েছি। এসব প্রমাণের স্বাধীন peer review করিনি বা formalization পুনর্নির্মাণ করিনি।
আমাদের মূল বিচার হলো, অগ্রগতির সবচেয়ে জোরালো প্রমাণের দুটি দিক আছে: যন্ত্র এমন গাণিতিক যুক্তি দিচ্ছে যা গুরুত্ব দিয়ে যাচাই করা উচিত, আর মানুষ ইতিমধ্যে কিছু যুক্তি থেকে আরও গণিত বের করছেন। তা ধারাবাহিক অগ্রগতি হবে কি না, নির্ভর করে কাজটি যাচাই, ব্যাখ্যা ও সম্প্রসারণে কত সম্পদ দেওয়া হয় তার ওপর।
মে: counterexample জ্যামিতিতে নতুন পথ খুলে দেয়
একক-দূরত্বের সমস্যাটি সহজে কল্পনা করা যায়। সমতলে কিছু বিন্দু বসিয়ে ঠিক এক একক দূরে থাকা বিন্দুজোড়া গুনুন। বিন্দু বাড়াতে থাকলে এমন জোড়ার সংখ্যা কত বড় হতে পারে?
OpenAI-র ২০ মে-র ঘোষণায় নতুন নির্মাণটির কৃতিত্ব দেওয়া হয়েছে অভ্যন্তরীণ একটি সাধারণ-উদ্দেশ্যের reasoning model-কে, যেটিকে Erdős সমস্যার একটি সংকলনে মূল্যায়ন করা হয়েছিল। যুক্তিটি পরীক্ষা করা বাইরের গণিতবিদদের আলাদা সহগবেষণাপত্রও প্রকাশিত হয়। দ্বিতীয় নথিটির উপস্থিতি গুরুত্বপূর্ণ: গবেষণাগারের মডেল-সংক্রান্ত বিবরণের বাইরে ওই গণিতবিদেরা কী বুঝেছেন ও পুনর্গঠন করেছেন, পাঠকেরা তা দেখতে পারেন। OpenAI-র ঘোষণা।
মূল পাণ্ডুলিপিতে এমন অসীমসংখ্যক বিন্দুসমষ্টি নির্মাণ করা হয়েছে, যেগুলোতে অন্তত n^(1+δ) একক-দূরত্বের জোড়া আছে; এখানে δ একটি নির্দিষ্ট ধনাত্মক সংখ্যা। সহজ ভাষায়, উদাহরণ বড় হলেও সূচকের উন্নতিটি বজায় থাকে। এতে প্রায়-রৈখিক বৃদ্ধির অনুমান খণ্ডিত হয়। তবে প্রতিটি বিন্দুসংখ্যার জন্য একক-দূরত্বের সঠিক সর্বোচ্চ সংখ্যা নির্ধারিত হয় না; সর্বোত্তম bound খোঁজা এখনও চলছে। একক-দূরত্বের পাণ্ডুলিপি।
নির্মাণটি কোথা থেকে এসেছে, সেটিই ছিল বিস্ময়কর। সহগবেষণাপত্রে জ্যামিতিক ফলটির সঙ্গে উন্নত বীজগাণিতিক সংখ্যা তত্ত্বের যোগসূত্র দেখানো হয়েছে এবং আগের গাণিতিক উপাদানগুলোর নাম উল্লেখ করা হয়েছে। লেখকেরা আরও সরল ও কিছুটা সাধারণীকৃত পুনর্গঠন দিয়েছেন। AI-উদ্ভাবনের পরে মানুষের কাজের এটি কার্যকর উদাহরণ: প্রক্রিয়াটি শনাক্ত করা, নির্ভরশীলতাগুলো দৃশ্যমান করা এবং যুক্তিটিকে এমন রূপ দেওয়া যাতে অন্য গবেষকেরা তা নিয়ে কাজ করতে পারেন। গণিতবিদদের সহগবেষণাপত্র।
মে মাসের ফলের তাৎপর্য বুঝতে চাইলে পাঠকের উচিত প্রাথমিক ঘোষণার পাশাপাশি পরবর্তী গবেষণাপত্রগুলোও অনুসরণ করা। অন্য গবেষকেরা যখন নতুন কৌশল ব্যবহার করে আরও প্রশ্ন করেন ও উত্তর দেন, তখন সেই কৌশল ভিন্ন ধরনের বিশ্বাসযোগ্যতা পায়।
মে থেকে জুলাই: ধারণাগুলো ছড়াতে শুরু করে
২৭ মে Thomas Bloom, Will Sawin, Carl Schildkraut ও Dmitrii Zhelezov বাস্তব সংখ্যার ওপর sum-product অনুমানের একটি counterexample প্রকাশ করেন। মোটামুটিভাবে, কোনো সেটের উপাদান যোগ বা গুণ করলে সেটটি কতটা বড় হয়—এ নিয়ে প্রশ্নটি। তাঁদের নির্মাণে দুই ফলসেটই অনুমিত প্রায়-দ্বিঘাত মাত্রার চেয়ে ছোট থাকতে পারে। বড় degree-র number field নিয়ে নতুন করে ভাবতে একক-দূরত্বের counterexample তাঁদের প্রণোদিত করেছিল বলে লেখকেরা স্পষ্ট উল্লেখ করেন। আগের ফলের তুলনায় তাঁদের চূড়ান্ত নির্মাণে কম সংখ্যা-তত্ত্ব লাগে বলেও তাঁরা ব্যাখ্যা করেন। sum-product গবেষণাপত্র।
AI-উদ্ভূত ফল মানুষের লেখা গণিতকে উদ্দীপিত করেছে—এটি তার বাস্তব উদাহরণ। এতে প্রমাণ হয় না যে অনুসরণী গবেষণাপত্র AI লিখেছে; গবেষণাগারের সাফল্যের হিসাবে তাঁদের কাজ মিশিয়ে লেখকদের অবদান মুছে ফেলা উচিত নয়।
Cosmin Pohoata-র preprint, প্রথম জমা ১১ জুন এবং সংশোধিত ২৮ জুন, এই ধারাকে Elekes–Rónyai সমস্যায় নিয়ে যায়। সাম্প্রতিক একক-দূরত্ব ও sum-product নির্মাণের উপাদান ব্যবহার করে এতে এমন বহুপদী উদাহরণ দেওয়া হয়েছে, যার মান উপযুক্ত সেটে প্রত্যাশার চেয়ে কম হারে বাড়ে। সমস্যাগুলোর যোগসূত্রটি প্রবন্ধে স্পষ্ট করা হয়েছে। Pohoata-র গবেষণাপত্র।
৬ জুলাই Sungchul Lee, Pohoata ও Daniel Zhu Minkowski grid নিয়ে আরেকটি ফল প্রকাশ করেন। তাঁদের নির্মাণ উপসেটের মধ্যেও পুনরাবৃত্ত দূরত্বের বৈশিষ্ট্য বজায় রাখে; এতে পুনরাবৃত্ত দূরত্ব ও সমদ্বিবাহু ত্রিভুজ-সংক্রান্ত প্রশ্নে ফল পাওয়া যায়। একটি অস্বাভাবিক সমৃদ্ধ বিন্যাস দেখিয়ে তার ভেতরের আচরণ অনাবিষ্কৃত রাখার তুলনায় এটি আরও শক্ত কাঠামোগত ফল। Minkowski-grid গবেষণাপত্র।
এখানে আশাবাদী ব্যাখ্যার প্রমাণ আছে। মে মাসের ফল কয়েক সপ্তাহের মধ্যে অন্য গবেষকদের বদলে ব্যবহার করার মতো উপাদান দিয়েছে। সাফল্যের জন্য আমাদের প্রস্তাবিত মাপকাঠি হলো, এমন ব্যবহারযোগ্য পদ্ধতি তৈরি হওয়া এবং সেগুলো বোঝার পেছনে প্রয়োজনীয় শ্রম। সমাধান হওয়া সমস্যার কাঁচা গণনা এই পার্থক্য ধরতে পারবে না।
জুলাই: Jacobian counterexample দেখায় কেন পরিসর গুরুত্বপূর্ণ
আরেকটি উল্লেখযোগ্য ঘটনা Jacobian অনুমান নিয়ে। Terence Tao-র ২১ জুলাইয়ের ব্যাখ্যায় Fable AI ব্যবহার করে তৈরি একটি counterexample পরীক্ষা করা হয়েছে: তিনটি জটিল চলকে একটি বহুপদী মানচিত্র, যা ছোট প্রতিবেশে উল্টানো যায় বলে আচরণ করলেও সামগ্রিকভাবে ভিন্ন বিন্দুকে একই ফলে পাঠায়। তিন ও ততোধিক মাত্রায় অনুমানটির সাধারণ দাবি ব্যর্থ; দুই-মাত্রিক ক্ষেত্রটি এখনও অমীমাংসিত। Tao স্পষ্ট সূত্র দেন এবং নির্মাণটির জ্যামিতি ব্যাখ্যা করেন। Tao-র গাণিতিক ব্যাখ্যা।
স্পষ্ট counterexample থাকলে তার মৌলিক বিরোধটি হিসাব করে দেখা তুলনামূলক সহজ হতে পারে। এমন উদাহরণ কেন থাকা উচিত এবং সম্পর্কিত উদাহরণ কীভাবে নির্মাণ করা যায়—তা আবিষ্কারে আরও গাণিতিক কাজ লাগে। Jacobian-এর ঘটনাটি প্রকাশিত রূপে এই ভিন্ন কাজগুলো পাঠককে দেখায়।
সেপ্টেম্বরেও এই পার্থক্যটি গুরুত্বপূর্ণ ছিল। Arno van den Essen-এর ১৫ সেপ্টেম্বরের preprint-এ Levent Alpöge-র পাওয়া উদাহরণের সমতুল্য একটি counterexample-এ যাওয়ার প্রাথমিক পদ্ধতি দেওয়া হয়েছে; স্থানাঙ্কে রৈখিক রূপান্তরের পর দুটো মেলে। এটি নির্মাণটির নতুন ব্যাখ্যা, মূল অনুমানের দ্বিতীয় স্বাধীন খণ্ডন নয়। van den Essen-এর গবেষণাপত্র।
গবেষণা ব্যবস্থাপকের জন্য এতে পুরস্কারের বিষয়টি নতুন করে ভাবার ব্যবহারিক ইঙ্গিত আছে। জটিল আবিষ্কারকে বোধগম্য করে তোলেন যিনি, তাঁকে অর্থায়ন করাও শিরোনাম হওয়ার মতো আরেকটি ফল খোঁজার মতোই পরবর্তী কাজ খুলে দিতে পারে। ধারাটি থেকে এটি আমাদের মূল্যায়ন; বিশ্ববিদ্যালয়গুলো ইতিমধ্যে প্রণোদনা বদলেছে—এমন দাবি নয়।
আগস্ট: গাণিতিক দাবির পরিসর আরও বিস্তৃত
১ আগস্ট OpenAI-র প্রকাশনায় গণিত ও তাত্ত্বিক কম্পিউটার বিজ্ঞানের দশটি ফলগুচ্ছ ছিল। কোম্পানির বক্তব্য, Astra-র অভ্যন্তরীণ সংস্করণ যুক্তিগুলো তৈরি করেছে; মানুষ মডেলের সঙ্গে কাজ করে পাণ্ডুলিপি প্রস্তুত করেছেন, আর মডেল Lean certificate তৈরি করেছে। মে মাসের একটি ফলের ঘোষণার তুলনায় কাজ তৈরির বিবরণটি আলাদা এবং পাণ্ডুলিপি প্রস্তুতিতে মানুষের ভূমিকা স্পষ্ট করে। আগস্টের ঘোষণা।
৬ আগস্ট হালনাগাদ করা সংকলনে নিচের দাবিগুলো জানানো হয়েছে। এগুলো পাণ্ডুলিপির দাবির বিবরণ; BIG CHANGE-এর আলাদা দশটি প্রত্যয়ন নয়:
- Sphere packing: উচ্চ মাত্রায় আরও তীক্ষ্ণ asymptotic upper bound।
- Binary ও spherical code: নির্দিষ্ট দূরত্বে code-এর আকারের আরও শক্ত সীমা।
- Group theory: একটি nonsofic group নির্মাণ।
- Operator algebra: Connes-এর rigidity অনুমানের counterexample।
- Arithmetic complexity: permanent-এর জন্য circuit ও formula-র আরও শক্ত lower bound।
- Quantum game: একটি exponential parallel-repetition theorem।
- Lattice problem: closest vector problem-এর জন্য আনুমানিকতার কঠিনতার আরও শক্ত ফল।
- Convex geometry: Ehrhart-এর volume অনুমানের প্রমাণ।
- Ramsey theory: বহুবর্ণের triangle Ramsey সংখ্যার জন্য superexponential lower bound।
- Extremal graph theory: compactness ও degeneracy অনুমানের counterexample।
বিস্তৃত পরিসরটি গুরুত্বপূর্ণ, তবে সবকিছুকে এক যোগফলে ধরলে বিভ্রান্তি হয়। counterexample পাওয়া, bound উন্নত করা এবং সাধারণ উপপাদ্য প্রমাণের পরিণতি এক নয়। কোনো গাণিতিক সমস্যার কঠিনতা নিয়ে ফল মানেই চলমান cryptographic ব্যবস্থায় আক্রমণের প্রমাণ নয়। প্রয়োগের জন্য আলাদা যুক্তি ও প্রমাণ দরকার।
১০ আগস্ট Anthropic Riemann অনুমানের কাছাকাছি, আরও নির্দিষ্ট পরিসরের অগ্রগতি প্রকাশ করে। তাদের ভাষ্য অনুযায়ী, এখনো প্রকাশ না করা Claude মডেল critical line-এ থাকা zeta zero-র অনুপাতের নিম্নসীমা উন্নত করেছে। Anthropic-এর গণিতবিদেরা কাজটি পরীক্ষা করেন, বাইরের বিশেষজ্ঞেরা গবেষণাপত্র পর্যালোচনা করেন এবং একটি formalization তৈরি হয়। কোম্পানি স্পষ্ট বলেছে, Claude Riemann অনুমান সমাধান করেনি এবং এই কৌশলগুলো তা করবে বলেও তারা আশা করে না। Anthropic-এর বিবরণ।
সংযুক্ত গবেষণাপত্রে দুই-তৃতীয়াংশের সামান্য বেশি, প্রায় ৬৭.২৫% bound দেওয়া হয়েছে এবং আগের কোন বিশ্লেষণী ফল ব্যবহার করা হয়েছে তা উল্লেখ আছে। এটি asymptotic গাণিতিক বক্তব্য; বিপুল কিন্তু সসীম সংখ্যক zero পরীক্ষা করে অনুমান প্রমাণের দাবি নয়। পার্থক্যটি জরুরি: অনুপাতের নিম্নসীমা থেকে প্রাসঙ্গিক প্রত্যেকটি zero রেখাটিতে আছে, এমন হয় না। zeta-zero পাণ্ডুলিপি।
আরও কিছু উচ্চাভিলাষী পাণ্ডুলিপিও প্রচলিত। Alpöge-র ওয়েবসাইটে থাকা একটি নথিতে ছয়-মাত্রিক গোলকের ওপর জটিল কাঠামোর প্রস্তাব দেওয়া হয়েছে। নির্মাণটি পরীক্ষা করা যায়, কিন্তু আমরা যে কপিটি দেখেছি তা নির্ভরযোগ্য ঘোষণার তারিখ বা AI-র অবদানের সম্পূর্ণ বিবরণ প্রতিষ্ঠা করে না। তাই একে পাঠকের অনুসন্ধানের উপযোগী প্রস্তাব হিসেবে রেখেছি; এই কালপঞ্জির স্বাধীনভাবে প্রতিষ্ঠিত মাইলফলক হিসেবে দেখাইনি। ছয়-গোলকের পাণ্ডুলিপি।
সেপ্টেম্বরের শুরু: prime gap যাচাইয়ের সীমা সামনে আনে
ঘোষণার ধারাটি মৌলিক সংখ্যার মধ্যবর্তী ব্যবধানেও পৌঁছায়। Axiom সহযোগিতার ৩ সেপ্টেম্বরের প্রাথমিক গবেষণাপত্রে বলা হয়েছে, পরপর থাকা অসীমসংখ্যক মৌলিক সংখ্যার জোড়ার ব্যবধান সর্বোচ্চ ২১২। এতে Julia Stadlmann-এর বিশ্লেষণী কাজ ও আগের Polymath প্রকল্পের অবদান স্বীকার করা হয়েছে। Lean certificate-টি বিশ্লেষণী অনুমান এবং আলাদাভাবে যাচাই করা একটি variational certificate-কে hypothesis হিসেবেও ধরে। এতে bounded-gap প্রশ্নে অগ্রগতি হয়েছে; twin-prime অনুমানের জন্য অসীমবার ঠিক দুই ব্যবধানের জোড়া দরকার। Axiom দলের গবেষণাপত্র।
OpenAI-র প্রকাশ্য PrimeGaps186 repository-তে আরও ছোট ব্যবধান দাবি করা হয়েছে, তবে গুরুত্বপূর্ণ শর্তসহ। এর Lean development নির্ভর করে তিনটি input axiom-এর ওপর, যেগুলো সাহিত্যের দুটি estimate ও সংখ্যাগত integral bound-কে অন্তর্ভুক্ত করে। repository বলছে, numerical certificate ওই axiom-গুলো প্রমাণ করে না। তাই প্রস্তাবিত গাণিতিক যুক্তি এবং নির্দিষ্ট input ধরে আনুষ্ঠানিকভাবে যাচাই করা অংশ—দুটি আলাদা করে দেখা উচিত। একে ভিত্তিগত axiom থেকেই নিঃশর্তভাবে প্রমাণিত পূর্ণ formal proof বলা ভুল হবে। PrimeGaps186 repository।
OpenAI-র আরেকটি পাণ্ডুলিপিতে দীর্ঘ ব্যবধান নিয়ে আলোচনা আছে: পরপর মৌলিক সংখ্যার মধ্যবর্তী ফাঁক কত বড় হতে পারে। বাড়তে থাকা সীমার নিচে বৃহত্তম gap-এর lower bound উন্নত হয়েছে বলে এতে জানানো হয়। এটি অসীমসংখ্যক কাছাকাছি মৌলিক জোড়া খোঁজার থেকে আলাদা extremal প্রশ্ন; একটির অগ্রগতিকে অন্যটির সমাধান বলা উচিত নয়। দীর্ঘ-gap পাণ্ডুলিপি।
এই বিবরণগুলো prime-gap ঘটনাটিকে বিশেষভাবে শিক্ষণীয় করে। শিরোনামের দুটি সংখ্যা সরল প্রতিযোগিতার মতো দেখাতে পারে। প্রমাণের নির্ভরশীলতাগুলো দৃশ্যমান হলে ভালো প্রশ্নটি হয়—কোন ধাপ কোন পদ্ধতিতে প্রতিষ্ঠিত? formalization অসম্পূর্ণ থাকলেও অনুমান স্পষ্ট করা মূল্যবান।
৪ সেপ্টেম্বর: formalization আবিষ্কারের কাহিনির অংশ হয়
Anthropic-এর ৪ সেপ্টেম্বরের ঘোষণা আগে থেকেই গাণিতিকভাবে প্রমাণিত উপপাদ্য—Fermat-এর শেষ উপপাদ্য—নিয়ে। ঘোষিত কৃতিত্ব হলো Claude-এর করা পূর্ণ Lean formalization, যা এগারো দিনে অনেকটাই স্বায়ত্তশাসিতভাবে তৈরি হয়েছে বলে কোম্পানি জানায়। তাদের বর্ণনায় আছে মানুষের নির্দেশনা এবং agent-দের নির্ভরশীলতা মনে রাখতে সাহায্য করা সহযোগিতা-প্ল্যাটফর্ম। কাজটি যে গাণিতিক প্রমাণ-ঐতিহ্যের ওপর দাঁড়িয়ে, কোম্পানি তার স্বীকৃতিও দিয়েছে। formalization-এর ঘোষণা।
প্রকাশ্য repository শিরোনামের চেয়ে নির্দিষ্ট প্রমাণ দেয়। এতে উপপাদ্যটি লেখা, নির্ভরশীলতা নথিভুক্ত এবং Lean-এর standard axiom ও Mathlib-এ থাকা বক্তব্যের বিপরীতে পরীক্ষা বর্ণনা করা হয়েছে। নথিটিতে এটিকে রক্ষণাবেক্ষণবিহীন গবেষণা-উপকরণও বলা হয়েছে। আমরা এই বিবরণ দেখেছি; build আবার চালাইনি। FLT repository।
যে সরঞ্জাম বেশি candidate argument তৈরি করে, সেগুলোই যদি সেগুলো formalize করতেও সাহায্য করে, যাচাইয়ের সক্ষমতাও বাড়তে পারে। আশাবাদের এটি বড় কারণ। পরবর্তী গবেষকেরা পরীক্ষা করার মতো নির্দিষ্ট উপকরণ পান। তবু মধ্যবর্তী ফল পুনর্ব্যবহার করা সহজ কি না, নির্ভরশীলতা build করা যায় কি না এবং উপকরণটি কে রক্ষণাবেক্ষণ করবেন—তা জানতে হবে। তৈরি কোডের পরিমাণ একা এসব প্রশ্নের উত্তর দেয় না।
এখানে প্রতিষ্ঠানের সামনে একটি কার্যকর পছন্দ আছে। কোনো গবেষণাগার proof-কে মডেলের সম্পন্ন প্রদর্শনী হিসেবে প্রকাশ করতে পারে, অথবা অন্যদের ব্যবহারের অবকাঠামো হিসেবে সমর্থন করতে পারে। প্রকাশের দিন পার হওয়ার পর এই দুই পদ্ধতির দায়ও আলাদা। রক্ষণাবেক্ষণ, ব্যাখ্যামূলক উদাহরণ ও স্থিতিশীল সূত্র গবেষণা-বাজেটের অংশ হওয়া উচিত।
৮ সেপ্টেম্বর: Navier–Stokes ফলটি আসলে কী দাবি করে
তরল-প্রবাহের ফলটি এসব প্রশ্নকে আরও স্পষ্ট করে। ৮ সেপ্টেম্বরের OpenAI ঘোষণা, ১০ সেপ্টেম্বর হালনাগাদ, Navier–Stokes-এর অস্তিত্ব ও মসৃণতা সমস্যার প্রস্তাবিত সমাধান তুলে ধরে। কাজটি সমন্বয়কারী agent-সহ অভ্যন্তরীণ মডেলের বলে তারা জানায় এবং লিখিত যুক্তি ও Lean formalization প্রকাশ করে। OpenAI বলেছে, Millennium Prize দাবি করার ইচ্ছা তাদের নেই। ঘোষণা।
পাণ্ডুলিপিতে ধনাত্মক সান্দ্রতা এবং সতর্কভাবে নির্মিত বাহ্যিক বলসহ ত্রিমাত্রিক incompressible fluid motion বিবেচনা করা হয়েছে। স্থির অবস্থা থেকে শুরু করে প্রস্তাবিত সমাধানে সসীম সময়ে বেগ সীমাহীন হয়ে ওঠে, অথচ মোট শক্তি সীমাবদ্ধ থাকে। বলটি মসৃণ এবং স্থান ও সময়ে সীমাবদ্ধ। গাণিতিক নির্মাণে সংকুচিত হতে থাকা vortex ও এমন correction ব্যবহার করা হয়েছে যাতে অবশিষ্ট বল মসৃণ থাকে। এগুলো সমীকরণের সমাধান নিয়ে দাবি; ভৌত পরীক্ষা বা নতুন engineering simulator-এর পর্যবেক্ষণ নয়। Navier–Stokes পাণ্ডুলিপি।
ফলটির পরিসর বুঝতে বাহ্যিক বলটি কেন্দ্রীয়। Charles Fefferman-এর আনুষ্ঠানিক Clay সমস্যা-বিবরণে breakdown-এর বিকল্প C ও D-তে মসৃণ forcing অনুমোদিত। বৈশ্বিক মসৃণতার বিকল্প A ও B-তে unforced সমীকরণ নিয়ে প্রশ্ন আছে। ফলে প্রস্তাবিত ধরনের বৈধ ফল Clay-এর স্পষ্টভাবে অনুমোদিত একটি বিকল্পের উত্তর দিতে পারে, অথচ unforced global-regularity প্রশ্নটি অমীমাংসিত থাকে। forcing অপ্রাসঙ্গিক বলা theorem-কে বাড়িয়ে বলা হবে; একে ঘোষিত সমস্যার বাইরে বলা নিয়মের ভুল বর্ণনা হবে। আনুষ্ঠানিক problem statement।
OpenAI আলাদা Euler যুক্তিও প্রকাশ করেছে, যা সান্দ্রতাহীন আদর্শায়িত তরল নিয়ে। ঐ পাণ্ডুলিপিতে বাহ্যিক বল ছাড়া মসৃণ প্রাথমিক অবস্থা থেকে সসীম সময়ে breakdown প্রস্তাব করা হয়েছে। Euler ও Navier–Stokes সমীকরণ সম্পর্কিত, কিন্তু এই দুই প্রবন্ধের অনুমান ও সিদ্ধান্ত আলাদা রাখতে হবে। Euler পাণ্ডুলিপি।
চারপাশের গবেষণা-ইতিহাসও গুরুত্বপূর্ণ। European Mathematical Society-র ১০ সেপ্টেম্বরের বিবৃতিতে Córdoba, Martínez-Zoroa ও Zheng-এর কাজের পাশাপাশি Alpöge, Buckmaster এবং আগের গণিতবিদদের অবদান স্বীকৃতি পেয়েছে। বিবৃতিতে প্রবেশাধিকার, লেখকত্ব ও কৃতিত্ব নিয়েও প্রশ্ন তোলা হয়েছে। মডেলের নাম থেকে সরাসরি theorem-এ পৌঁছানো বিবরণে যে ধারণাগুলোর সঞ্চয় এই কাজ সম্ভব করেছে তা হারিয়ে যায়। EMS-এর বিবৃতি।
১১ সেপ্টেম্বর Clay আপাত সমাধান নিয়ে শর্তযুক্ত উৎসাহ জানায় এবং বলে, মূল্যায়ন ও কৃতিত্ব বণ্টন ইচ্ছাকৃতভাবে ধীর প্রক্রিয়ায় হবে। এটি তাৎপর্যপূর্ণ প্রাতিষ্ঠানিক প্রতিক্রিয়া। কিন্তু এটি পুরস্কার প্রদান নয়, কিংবা কাজটির প্রতিটি দিকের পর্যালোচনা শেষ হয়েছে—এমন ঘোষণাও নয়। Clay-এর ঘোষণা।
আরও বাড়িয়ে না বলেও পাঠকের জন্য যথেষ্ট তাৎপর্যপূর্ণ সিদ্ধান্তটি বলা যায়: একটি AI গবেষণাগার স্বীকৃত Millennium সমস্যার দিকে লক্ষ্য রাখা প্রস্তাবিত প্রমাণ প্রকাশ করেছে, সঙ্গে পরীক্ষা-যোগ্য গাণিতিক ও formal উপকরণ দিয়েছে; বড় প্রতিষ্ঠানগুলোও সেটিকে গুরুত্বের সঙ্গে নিচ্ছে। বৃহত্তর গ্রহণযোগ্যতা, কৃতিত্ব নির্ধারণ ও বোঝাপড়ার কাজ এখনও বাকি।
প্রমাণ যাচাই নির্দিষ্ট প্রশ্নের উত্তর দেয়
formal verification পর্যালোচকের হাতে থাকা প্রমাণের ধরন বদলে দেয়। প্রতিবেদনও তাই আরও নির্দিষ্ট হওয়া উচিত।
Lean-এর নিজস্ব নথিতে বৈধ প্রমাণ এবং যে বক্তব্য প্রমাণ করা হচ্ছে তার অর্থ আলাদা করা হয়েছে। সাধারণ সফল check প্রতিষ্ঠা করে যে সংজ্ঞা ও অনুমান থেকে formal statement-টি অনুসৃত হয়। অতিরিক্ত যাচাইয়ে অসমাপ্ত dependency বেরিয়ে আসতে পারে, axiom audit করা যায় এবং প্রমাণকে স্বাধীনভাবে নির্দিষ্ট করা বক্তব্যের সঙ্গে তুলনা করা যায়। নথিতে external checker ব্যবহার করে শক্তিশালী যাচাইয়ের কথাও আছে, পাশাপাশি কোন অনুমান এখনও বহাল তা চিহ্নিত করা হয়েছে। Lean-এর validation নির্দেশিকা।
ধরা যাক, একজন গবেষকের এমন bound দরকার যা algorithm-এর প্রতিটি input-এ প্রযোজ্য। সহকারী আনুষ্ঠানিকভাবে সঠিক theorem দিল, কিন্তু গ্রহণযোগ্য input-এর সংজ্ঞা থেকে কঠিন একটি শ্রেণি বাদ পড়ল। প্রমাণটি সঠিক হতে পারে, অথচ গবেষকের প্রয়োগের পক্ষে তা যথেষ্ট নয়। প্রশ্নটিকে formal statement-এ রূপান্তরের দিকে কেন নজর দরকার, তার এটি কাল্পনিক উদাহরণ।
নতুনত্ব যাচাইয়ের আরেকটি ধরন। proof system দিয়ে বোঝা যায় না, একই যুক্তি পুরোনো প্রবন্ধে অন্য পরিভাষায় এসেছিল কি না, কৃতিত্ব সম্পূর্ণ দেওয়া হয়েছে কি না, কিংবা দাবি করা উন্নতি প্রয়োগের জন্য গুরুত্বপূর্ণ কিছু বদলায় কি না। এসব বিচারে সাহিত্য অনুসন্ধান ও বিষয়ভিত্তিক দক্ষতা লাগে।
তাই বড় ফল প্রকাশকারী গবেষণাগারের কাছে আমরা একটি টেকসই উপকরণ-সমষ্টি চাইব: সাধারণ গাণিতিক ভাষায় সুনির্দিষ্ট দাবি, থাকলে তার formal counterpart, proof ও dependencies, মানুষ ও মডেলের অবদানের স্পষ্ট বিবরণ এবং কী পর্যালোচনা ও সংশোধন হয়েছে তার নথি। এটি আমাদের প্রস্তাবিত প্রতিবেদন-মান। এতে অন্য গবেষকেরা দায়িত্বের অবস্থান খুঁজে প্রাসঙ্গিক যাচাই পুনরায় করতে পারবেন।
বাড়তে থাকা সমন্বয়-সমস্যা নিয়ে উপদেষ্টা দল
এই প্রেক্ষাপটে ২১ সেপ্টেম্বরের Advisory Group on Mathematics and Artificial Intelligence-এর ঘোষণা এসেছে। দলটি নিজেদের স্বাধীন ও অবৈতনিক বলে এবং প্রাসঙ্গিক যেকোনো AI কোম্পানিকে পরামর্শ দিতে প্রস্তুত বলে জানায়। তাদের তাৎক্ষণিক কাজ হলো OpenAI-কে পরামর্শ দেওয়া—কোম্পানির ভাষ্য অনুযায়ী, তারা যে আরও ফল পেয়েছে সেগুলো প্রকাশের বিষয়ে। দলটি প্রকাশ্য সুপারিশের অঙ্গীকার করে এবং স্পষ্ট জানায় যে কোম্পানিগুলোর ভেতরে তাদের সিদ্ধান্তক্ষমতা নেই। Terence Tao-র ব্লগে ঘোষণাটি দলের অতিথি-লেখা পোস্ট। দলের বিবৃতি।
OpenAI জানায়, তাদের দায়িত্বের মধ্যে পর্যালোচনা, যোগাযোগ, তাৎপর্য এবং প্রচার নিয়ে পরামর্শ আছে। কোম্পানিটি আরও বলে, অভ্যন্তরীণ গণিত-গবেষণার গতি নিয়ে পরামর্শ দেওয়া দলের কাজ নয়। তাই এই উপদেষ্টা ভূমিকা যাচাই ও সমন্বয়ের মাধ্যম হিসেবে বোঝা উচিত; সিদ্ধান্ত কোম্পানির হাতেই থাকবে। OpenAI-র উপদেষ্টা-দল সংক্রান্ত ঘোষণা।
এই ব্যবস্থাকে স্বাগত জানানোর কারণ আছে। ভালো সমন্বয় পুনরাবৃত্ত পর্যালোচনার কাজ কমাতে, উপযুক্ত বিশেষজ্ঞ খুঁজতে এবং ফলের বিবরণকে প্রমাণের সঙ্গে মিলিয়ে রাখতে পারে। সীমাবদ্ধতাও স্পষ্ট: পরামর্শের জবাব দরকার, আর স্বাধীনতা একাই তা কার্যকর করার ক্ষমতা দেয় না। পাঠকের উচিত প্রকাশিত সুপারিশ এবং কোম্পানিগুলো সেগুলো নিয়ে কী করে তা দেখা।
সন্দেহের যুক্তিটি গবেষণার উদ্দেশ্য নিয়েও। ১১ সেপ্টেম্বরের Math and AI ঘোষণায় বলা হয়েছে, তালিকাভুক্ত সমস্যা সমাধানের দৌড় বোঝাপড়া গড়ে তোলা ও ভবিষ্যৎ গণিতবিদদের প্রশিক্ষণকে অবহেলা করতে পারে। স্বাক্ষরকারীরা এমন প্রক্রিয়ার ঝুঁকির কথা বলেছেন, যার মাধ্যমে ধারণা শেখানো যায় ও কাজে লাগে। এটি বিষয়টির গবেষকদের গুরুতর অবস্থান; সব AI ব্যবহারে ইতিমধ্যে ক্ষতি হয়েছে—এমন পরিমাপ নয়। ঘোষণাপত্র।
Tao-র ব্লগে ১৫ সেপ্টেম্বরের অতিথি-প্রবন্ধে Henry Cohn সম্পর্কিত একটি যুক্তি দেন: দুর্বল ব্যাখ্যাসহ ফল আত্মস্থ করতে গিয়ে গবেষকসমাজের উল্লেখযোগ্য শ্রম লাগতে পারে। ব্যাখ্যামূলক কাজ করা ব্যক্তিদের প্রণোদনাও তাঁর উদ্বেগের অংশ। এখানেও সঠিক কৃতিত্ব জরুরি—প্রবন্ধটি Cohn-এর, যদিও Tao-র ব্লগে প্রকাশিত। Cohn-এর প্রবন্ধ।
পরের অগ্রগতি অন্যের ব্যবহার করা আরও সহজ হওয়া উচিত
মে থেকে সেপ্টেম্বরের ধারায় আশাবাদের বাস্তব উদাহরণ আছে। জ্যামিতিক counterexample থেকে আরও নির্মাণের অনুপ্রেরণা এসেছে। গবেষকেরা একটি বিস্ময়কর বহুপদী মানচিত্র ব্যাখ্যার আরও পরিষ্কার পথ পেয়েছেন। formalization জটিল যুক্তি পরীক্ষা করার অতিরিক্ত উপকরণ তৈরি করেছে। মডেলের ফল ও গাণিতিক চর্চার উৎপাদনশীল সম্পর্কের উপাদান দেখা যাচ্ছে।
হতাশাবাদী দৃশ্যও বাস্তবসম্মত। গবেষণাগারগুলো এমন গতিতে প্রস্তাবিত ফল তৈরি করতে পারে যে অন্যেরা তা বোঝার আগেই ঘোষণাগুলোকে সম্পন্ন বৈজ্ঞানিক অবদান হিসেবে গোনা হবে। অল্প কয়েকজন বিশেষজ্ঞের ওপর পর্যালোচনার বোঝা পড়তে পারে, অথচ সম্পদ ও মর্যাদা জমতে পারে backlog তৈরি করা ব্যবস্থার দিকে। মডেলে সীমিত প্রবেশাধিকার আবিষ্কার তৈরি করা এবং সেগুলো যাচাই করতে বাধ্য হওয়া লোকদের মধ্যে ভারসাম্যহীনতা বাড়াতে পারে।
আমাদের মতে, গবেষণাগার, অর্থদাতা ও সাময়িকীগুলোর প্রক্রিয়ার দুই দিকই মাপা উচিত। সম্ভাব্য আবিষ্কার গুনুন, পাশাপাশি স্বাধীন যাচাই, কার্যকর সরলীকরণ, মেরামত করা যুক্তি, পুনর্ব্যবহারযোগ্য formal library এবং পরবর্তী কাজও নথিবদ্ধ করুন। ফল বোধগম্য করে তোলেন যাঁরা, তাঁদের কৃতিত্ব দিন। ঘোষণার মতোই ধারাবাহিকভাবে সংশোধনও প্রকাশ করুন।
পরের অগ্রগতি অনুসরণ করতে চাইলে পাঠকের সবচেয়ে ফলপ্রসূ প্রশ্নটি নির্দিষ্ট: অন্য গবেষক এখন এমন কী করতে পারবেন, যা আগে পারতেন না? উত্তর হতে পারে counterexample নির্মাণ, আরও শক্ত নিশ্চয়তা প্রতিষ্ঠা, কঠিন যুক্তি যাচাই কিংবা নতুন পদ্ধতি শেখানো। AI-গণিতের অগ্রগতি সেখানেই গণিতের অগ্রগতিতে পরিণত হয়।
