একটি 2 অক্টোবরের World Science Festival সাক্ষাৎকারে, গণিতবিদ Tristan Buckmaster AI দিয়ে তৈরি একটি ফলের কথা বলেন, যেটিকে তিনি সঠিক মনে করেন, কিন্তু অন্য গণিতবিদদের পড়তে কঠিন লাগে। তাঁর বিবরণ সাম্প্রতিক Navier–Stokes ঘোষণার প্রশ্নটিকে আরও নির্দিষ্ট করে: পাঠযোগ্য ব্যাখ্যার জন্য যখন বাড়তি কাজ দরকার, তখন গবেষকসমাজ কীভাবে আনুষ্ঠানিক যুক্তি পরীক্ষা করবে?

Levent Alpöge-র সঙ্গে তাঁর কাজের প্রসঙ্গে Buckmaster আলোচনা করেন মসৃণ বলসহ ত্রিমাত্রিক Euler সমীকরণ নিয়ে। তাঁদের ফলটি 8 সেপ্টেম্বরের OpenAI দাবির থেকে আলাদা; সেটি মসৃণ বলসহ Navier–Stokes সমীকরণ সম্পর্কে। Navier–Stokes-এ সান্দ্রতা আছে; Euler-এ নেই। সীমিত সময়ে ভাঙনের দাবিকৃত ফলের জন্য OpenAI একটি গবেষণাপত্র ও Lean-এ আনুষ্ঠানিক রূপ প্রকাশ করেছে। Millennium Prize পরিচালনাকারী প্রতিষ্ঠান কোনো পুরস্কার ঘোষণা করেনি।

বড় পরিবর্তন

  • কী বদলেছে:পৃথক forced-Euler ফল প্রতিষ্ঠা করতে AI-উৎপাদিত যুক্তি ও Lean ব্যবহারের অভিজ্ঞতা এবং এমন প্রমাণ গণিতবিদদের বোঝাতে এখনও কী কাজ দরকার—Buckmaster তা নিজের ভাষায় জানিয়েছেন।
  • কেন এটি গুরুত্বপূর্ণ:আনুষ্ঠানিক যাচাই দেখাতে পারে যে কোডে লেখা যুক্তি নির্দিষ্ট সংজ্ঞা ও নির্ভরতা থেকে আসে। উপপাদ্যটি কী বলে, তার ধারণাগুলো কীভাবে কাজ করে এবং কার আগের কাজের ওপর এটি দাঁড়িয়ে—গণিতবিদদের তা-ও বুঝতে হয়।
  • যা নজরে রাখবেন:Navier–Stokes নিয়ে OpenAI-র দাবির Clay-র মূল্যায়ন, প্রমাণের পাঠযোগ্য বিবরণ এবং লেখকত্ব ও প্রবেশাধিকার নিয়ে প্রকাশ্য আলোচনা দেখাবে ফলটি কীভাবে মূল্যায়িত হয়। ফলটির ওপর Buckmaster-এর আস্থা বিশেষজ্ঞের মত, পুরস্কার দেওয়ার সিদ্ধান্ত নয়।

যাচাই করা যুক্তিরও ব্যাখ্যা দরকার

সেই সাক্ষাৎকারে, Buckmaster বলেন, তাঁর Euler ফলের AI-উৎপাদিত প্রথম প্রমাণে কার্যকর ধারণার সঙ্গে অপ্রাসঙ্গিক গণনা ও দুর্বোধ্য লেখা মিশে ছিল। তাঁর দল প্রথমে প্রতিটি ধাপ পরীক্ষা করতে অন্য এজেন্ট ব্যবহার করে, তারপর আনুষ্ঠানিক যাচাইয়ের জন্য যুক্তিটি Lean-এ রূপান্তর করে। তিনি বলেন, উপস্থাপনাটি দুর্বল হলেও চূড়ান্ত প্রমাণটি সঠিক ছিল। এই বিবরণটি তাঁর Euler কাজসম্পর্কে; OpenAI-এর পৃথক Navier–Stokes গবেষণাপত্রের প্রতিটি অংশ তিনি স্বাধীনভাবে যাচাই করেছেন—এমন অর্থে এটি পড়া উচিত নয়।

এই পার্থক্যের বাস্তব গুরুত্ব আছে। নির্দিষ্ট প্রমাণ-পরিবেশে নির্ভুলভাবে আনুষ্ঠানিক করা বক্তব্য Lean যাচাই করে। কিন্তু এর ফলে দীর্ঘ যুক্তি স্বয়ংক্রিয়ভাবে এমন গবেষকের কাছে পাঠযোগ্য হয় না, যিনি পদ্ধতিটি আবার ব্যবহার করতে চান। Buckmaster Brian Greene-কে বলেন, অন্য AI ব্যবস্থা এমন অনুচ্ছেদ বুঝতে পেরেছিল যা তিনি প্রায় পড়তেই পারছিলেন না; সেগুলোকে সাধারণ গাণিতিক ভাষায় রূপান্তর করতে AI-কে বলা কাজের অংশ হয়ে ওঠে। প্রকাশিত PDF কঠিন হলেও Navier–Stokes যুক্তির ধারণাগুলো তিনি বুঝতে পেরেছিলেন বলেও জানান। এগুলো তাঁর মূল্যায়ন, BIG CHANGE-এর প্রমাণ-নিরীক্ষা নয়; আমরা Lean ফাইল চালাইনি বা কোনো উপপাদ্যের বিচারকীয় পর্যালোচনা করিনি।

NYU Courant-এর 14 সেপ্টেম্বরের প্রতিবেদন Buckmaster ও Alpöge-র কাজকে মসৃণ বল ও সসীম-শক্তির প্রাথমিক তথ্যসহ forced 3D Euler-এ সসীম সময়ে নিয়মিততা হারানো হিসেবে বর্ণনা করে। এতে বলা হয়, সহযোগিতার তিনটি গবেষণাপত্র Lean-এ আনুষ্ঠানিক করা হয়েছে এবং ফলটি Diego Córdoba ও Luis Martínez-Zoroa-র শুরু করা গবেষণা-পদ্ধতির অংশ। অবদানের কৃতিত্ব নির্ধারণে এসব তথ্য গুরুত্বপূর্ণ: মডেল-উৎপাদিত প্রমাণ বিদ্যমান গাণিতিক পথকে প্রসারিত করতে পারে, কিন্তু সেই পথ প্রতিষ্ঠাকারীদের মুছে না দিয়ে।

দ্রুত এগিয়ে চলা ধারায় দুটি ফল

OpenAI বলেছে, তাদের অভ্যন্তরীণ এজেন্ট ব্যবস্থা প্রথমে বাহ্যিক বলবিহীন Euler ফল তৈরি করে, পরে সেই কাজের ধারাটি পৃথক Navier–Stokes নির্মাণে ব্যবহার করে। তাদের ঘোষণা Buckmaster ও Alpöge-র অগ্রাধিকার স্বীকার করে মসৃণ বলসহ Euler ফলটির প্রমাণ স্বাধীনভাবে তৈরি হয়েছে বলে জানায়। সাক্ষাৎকারে Buckmaster গাণিতিক প্রক্রিয়াগুলোকে সম্পর্কিত বলেন এবং জানান, সান্দ্রতা সামলাতে OpenAI সঙ্কুচিত ঘূর্ণির ধারণা যোগ করেছে। বিবরণগুলো একমত যে দাবি দুটি আলাদা সমীকরণ ও প্রমাণের ধাপ নিয়ে; সময়ক্রম বা বৌদ্ধিক অবদানের সব প্রশ্নের মীমাংসা এগুলো করে না।

ইউরোপীয় গণিতীয় European Mathematical Society ঘোষণাটিকে স্বাগত জানালেও আগের কাজের ওপর জোর দেয় এবং লেখকত্ব, অবদানের স্বীকৃতি ও অভ্যন্তরীণ মডেলে প্রবেশাধিকার নিয়ে মনোযোগ দেওয়ার আহ্বান জানায়। 11 সেপ্টেম্বরের Clay প্রতিক্রিয়া বলেছিল, Navier–Stokes সমস্যা সম্ভবত সমাধান হয়েছে, তবে কৃতিত্ব মূল্যায়ন ও অবদান নির্ধারণে ইচ্ছাকৃতভাবে তাড়াহুড়ো করা হবে না। Buckmaster Greene-কে বলেন, OpenAI-র সমাধান আছে বলে তিনি বিশ্বাস করেন। দুটি কথাই একসঙ্গে সত্য হতে পারে: বিশেষজ্ঞের ইতিবাচক মূল্যায়ন এবং প্রতিষ্ঠানের চলমান পর্যালোচনা।

সাম্প্রতিক OpenAI-র আরও তিনটি গণিতের পাণ্ডুলিপি প্রত্যাহার এটি পৃথক ঘটনা। তাদের জানানো চিহ্নের ভুলটি প্রতিটি দাবি আলাদাভাবে পরীক্ষা করার কারণ; Navier–Stokes প্রমাণে একই ভুল আছে—এটি তার প্রমাণ নয়। BIG CHANGE-এর রিপোজিটরি পরিদর্শন নির্দেশিকা ব্যাখ্যা করে কীভাবে পাণ্ডুলিপির সংস্করণ ও প্রমাণ-উপকরণ খুঁজতে হয়; আর আমাদের পর্যালোচনা-সক্ষমতা বিষয়ে মতামত ব্যাখ্যা ও যাচাইয়ের জন্য নিবেদিত সহায়তার প্রয়োজন বলে। আগের Navier–Stokes নিবন্ধটি এই ধারার শুরু নথিভুক্ত করে। AI ব্যবস্থা যুক্তি তৈরি করার পর কী ঘটে, সে বিষয়ে একজন কর্মরত গণিতবিদের বিবরণ সাক্ষাৎকারটি যোগ করে।

এত গুরুত্বপূর্ণ দাবির পর উপযোগী প্রকাশনা হবে নির্ভুল ও পাঠযোগ্য বিবরণ, পরীক্ষা করা যায় এমন আনুষ্ঠানিক উপকরণ এবং স্বাধীন গাণিতিক প্রতিক্রিয়া। প্রতিটির কাজ আলাদা। প্রমাণের প্রার্থী দ্রুত তৈরি হওয়ায় এসব কাজ আরও জরুরি, আবার Clay-র ঘোষিত প্রক্রিয়া সেগুলো সতর্কভাবে করার সুযোগ রাখে।

সূত্র ও আরও পড়ুন