OpenAI Astra AI Solves 10 Major Math Problems: গণিত গবেষণায় নতুন যুগ নাকি অতিরঞ্জিত দাবি?

এআই কি গণিতে মানুষের যুগ শেষ করে দিচ্ছে? মাত্র ২,০০০ ডলারে দশটি ঐতিহাসিক অমীমাংসিত সমস্যার সমাধানের দাবি ঘিরে বিশ্বজুড়ে বিস্ময়, বিতর্ক ও নতুন বৈজ্ঞানিক যুগের সূচনা

মাহবুব আহমেদ। কৃত্রিম বুদ্ধিমত্তা ডেস্ক প্রতিবেদন

ভূমিকা: যে সংবাদটি গণিতের ইতিহাস বদলে দিতে পারে

বিজ্ঞান ও গণিতের ইতিহাসে এমন কিছু মুহূর্ত আছে, যা পরে একটি নতুন যুগের সূচনা হিসেবে বিবেচিত হয়। আইজ্যাক নিউটনের Principia Mathematica, অ্যান্ড্রু ওয়াইলসের ফার্মার শেষ উপপাদ্য প্রমাণ কিংবা গ্রিগরি পেরেলম্যানের পোয়াঁকারে কনজেকচার সমাধানের মতো ঘটনাগুলো শুধু একটি সমস্যা সমাধান করেনি, বরং মানুষের জ্ঞানের সীমাকেই নতুন করে সংজ্ঞায়িত করেছে।

২০২৬ সালের ১ আগস্ট, কৃত্রিম বুদ্ধিমত্তার ইতিহাসেও হয়তো তেমনই একটি মুহূর্ত তৈরি হয়েছে।

ওপেনএআই ঘোষণা করেছে, তাদের এখনো সর্বসাধারণের জন্য প্রকাশ না করা পরবর্তী প্রজন্মের এআই মডেল Astra গণিত ও তাত্ত্বিক কম্পিউটার বিজ্ঞানের ১০টি দীর্ঘদিনের অমীমাংসিত সমস্যায় নতুন ফলাফল দিয়েছে। আরও বিস্ময়কর বিষয় হলো—প্রতিটি প্রমাণ Lean নামের একটি ফরমাল প্রুফ সিস্টেমে রূপান্তরিত হয়েছে, ফলে সেগুলো কম্পিউটার দ্বারা স্বাধীনভাবে যাচাইযোগ্য। ওপেনএআইয়ের হিসাব অনুযায়ী, এই গবেষণার ইনফারেন্স খরচ ছিল মাত্র প্রায় ২,০০০ মার্কিন ডলার।

‘অ্যাস্ট্রা’ কী করেছে?

ওপেনএআইয়ের তথ্য অনুযায়ী, Astra শুধু একটি সমস্যার উত্তর দেয়নি; বরং বিভিন্ন শাখায় উল্লেখযোগ্য নতুন ফলাফল উপস্থাপন করেছে। এর মধ্যে রয়েছে—

• Non-sofic group-এর অস্তিত্বের নির্মাণ

• উচ্চ-মাত্রিক sphere packing-এ নতুন সীমা

• Binary ও spherical codes-এ উন্নত ফলাফল

• Ehrhart’s volume conjecture-এর অগ্রগতি

• Quantum complexity-সংক্রান্ত নতুন ফলাফল

• গ্রুপ থিওরি ও জ্যামিতির কয়েকটি মৌলিক প্রশ্নে নতুন প্রমাণ

এসব ফলাফল পরে মানব গবেষকেরা গবেষণাপত্রে রূপ দেন এবং Lean-এ ফরমালাইজ করেন, যাতে যুক্তিগুলো কম্পিউটার দ্বারা যাচাই করা যায়।

মাত্র ২,০০০ ডলার—কিন্তু এর অর্থ কী?

এখানেই সবচেয়ে বড় ভুল বোঝাবুঝির সুযোগ রয়েছে।

অনেকেই ধারণা করছেন, “মাত্র ২,০০০ ডলারে এমন একটি এআই তৈরি হয়েছে।”

বাস্তবতা তা নয়।

ওপেনএআই যে ২,০০০ ডলারের কথা বলেছে, সেটি শুধু মডেলটি ব্যবহার করে এই নির্দিষ্ট সমাধানগুলোর ইনফারেন্স বা API টোকেন খরচের আনুমানিক হিসাব। Astra তৈরি করতে যে বিশাল গবেষণা, ডেটা, কম্পিউটিং অবকাঠামো ও প্রশিক্ষণ ব্যয় হয়েছে, তা এই সংখ্যার মধ্যে নেই।

অর্থাৎ এটি গবেষণার “চূড়ান্ত ব্যবহার খরচ”, পুরো প্রযুক্তি তৈরির ব্যয় নয়।

Lean কেন এত গুরুত্বপূর্ণ?

গণিতে সবচেয়ে বড় চ্যালেঞ্জ কেবল নতুন ধারণা দেওয়া নয়; বরং সেটি শতভাগ সঠিকভাবে প্রমাণ করা।

সাধারণ গবেষণাপত্রে মানুষ ভুল করতে পারে।

কিন্তু Lean-এর মতো formal proof assistant-এ একটি প্রমাণের প্রতিটি ধাপ কম্পিউটার যাচাই করে।

অর্থাৎ—

“বিশ্বাস করুন” নয়,

“যাচাই করুন।”

এ কারণেই গণিতবিদদের অনেকেই এই ঘটনাকে অত্যন্ত গুরুত্বপূর্ণ বলে মনে করছেন।

টিম গাওয়ার্স কী বলেছেন?

ফিল্ডস মেডেলজয়ী গণিতবিদ টিম গাওয়ার্স এই ফলাফলকে অত্যন্ত উচ্চমানের বলে মন্তব্য করেছেন। ওপেনএআইয়ের আগের ইউনিট-ডিস্ট্যান্স সমস্যার গবেষণার ক্ষেত্রেও তিনি বলেছিলেন, যদি একজন মানুষ একই গবেষণাপত্র জমা দিতেন, তবে তিনি তা বিশ্বের শীর্ষস্থানীয় গণিত সাময়িকীতে প্রকাশের সুপারিশ করতেন।

সমালোচকেরা কী বলছেন?

তবে সবাই সমানভাবে উচ্ছ্বসিত নন।

গণিতবিদ ও এআই গবেষকদের একটি অংশ কয়েকটি গুরুত্বপূর্ণ প্রশ্ন তুলেছেন।

১. Peer Review এখনো সম্পূর্ণ হয়নি

গণিতে একটি প্রমাণ সত্যিকার অর্থে প্রতিষ্ঠিত হতে অনেক সময় লাগে।

বিশ্বজুড়ে বিশেষজ্ঞদের স্বাধীন যাচাই, সমালোচনা এবং পুনর্মূল্যায়নের মধ্য দিয়েই একটি ফলাফল শেষ পর্যন্ত গ্রহণযোগ্য হয়।

অতএব, এই ফলাফলগুলো এখনো দীর্ঘ একাডেমিক পরীক্ষার পথ অতিক্রম করবে।

২. AGI কি এসে গেছে?

না।

একটি নির্দিষ্ট ক্ষেত্রে অসাধারণ দক্ষতা দেখানো মানেই সাধারণ মানব-স্তরের বুদ্ধিমত্তা নয়।

একটি এআই নির্দিষ্ট ধরনের গাণিতিক যুক্তি নির্মাণে অত্যন্ত দক্ষ হতে পারে, কিন্তু সম্পূর্ণ নতুন বৈজ্ঞানিক ধারণা সৃষ্টি, গবেষণার দিক নির্ধারণ কিংবা সৃজনশীল অন্তর্দৃষ্টির ক্ষেত্রে মানুষের ভূমিকা এখনো অত্যন্ত গুরুত্বপূর্ণ।

৩. “AI solved it”—এটি কতটা সঠিক?

এখানেও সূক্ষ্ম পার্থক্য আছে।

ওপেনএআই বলছে—

• মূল যুক্তি Astra তৈরি করেছে।

• মানুষ গবেষণাপত্র প্রস্তুত করেছে।

• Lean-এ ফরমালাইজেশনও মডেলের সহায়তায় হয়েছে।

অর্থাৎ এটি পুরোপুরি মানুষবিহীন গবেষণা নয়; বরং মানুষ–এআই সহযোগিতার একটি নতুন মডেল।

এটি কি সত্যিই ইতিহাস বদলে দিতে পারে?

অনেক গবেষকের মতে—

হ্যাঁ।

কারণ ইতিহাসে প্রথমবারের মতো—

• এআই নতুন গাণিতিক ফলাফল দিয়েছে,

• তা কম্পিউটার দ্বারা যাচাইযোগ্য,

• এবং সম্পূর্ণ প্রক্রিয়া তুলনামূলকভাবে পুনরুত্পাদনযোগ্য।

এটি গণিত গবেষণার পদ্ধতিকে মৌলিকভাবে বদলে দিতে পারে।

বইয়ের আলোকে এই পরিবর্তন

বিখ্যাত গণিতবিদ জি. এইচ. হার্ডি তাঁর A Mathematician’s Apology গ্রন্থে লিখেছিলেন, গণিতের সৌন্দর্য তার মৌলিকত্ব ও যুক্তির শুদ্ধতায়।

অন্যদিকে ডগলাস হফস্ট্যাডটার তাঁর Gödel, Escher, Bach বইয়ে মানুষের চিন্তা, যুক্তি ও আনুষ্ঠানিক প্রমাণের সীমা নিয়ে গভীর আলোচনা করেছেন।

আজকের এআই-ভিত্তিক ফরমাল প্রুফ প্রযুক্তি সেই দীর্ঘ দার্শনিক আলোচনাকে বাস্তব গবেষণার স্তরে নিয়ে এসেছে।

বিজ্ঞান গবেষণার ভবিষ্যৎ কী হতে পারে?

যদি এই ধারা অব্যাহত থাকে—

• নতুন ওষুধ আবিষ্কার

• কোয়ান্টাম কম্পিউটিং

• ক্রিপ্টোগ্রাফি

• জলবায়ু মডেলিং

• পদার্থবিজ্ঞানের নতুন তত্ত্ব

এসব ক্ষেত্রেই এআই গবেষকদের সহকর্মী হয়ে উঠতে পারে।

মানুষ তখন হয়তো কম সময় ব্যয় করবে দীর্ঘ প্রমাণ তৈরিতে, আর বেশি সময় দেবে নতুন প্রশ্ন তৈরিতে।

নিরপেক্ষ মূল্যায়ন

ওপেনএআইয়ের এই ঘোষণা নিঃসন্দেহে যুগান্তকারী।

তবে বিজ্ঞানের ইতিহাস আমাদের শিখিয়েছে—অসাধারণ দাবির জন্য অসাধারণ প্রমাণ প্রয়োজন।

Peer review, স্বাধীন যাচাই এবং গবেষণা সম্প্রদায়ের দীর্ঘমেয়াদি মূল্যায়নের আগে এটিকে চূড়ান্ত সত্য বলে ঘোষণা করা বৈজ্ঞানিকভাবে যথাযথ হবে না।

একই সঙ্গে এটিও অস্বীকার করা কঠিন যে, ফরমাল ভেরিফিকেশনসহ এআই-নির্ভর গবেষণা ভবিষ্যতের গণিত ও তাত্ত্বিক বিজ্ঞানের গতিপথকে নতুনভাবে সংজ্ঞায়িত করতে পারে।

আজ হয়তো প্রশ্নটি আর “এআই কি গবেষণা করতে পারবে?” নয়।

বরং প্রশ্নটি হলো—

আগামী দশ বছরে মানুষ ও এআই মিলে এমন কোন বৈজ্ঞানিক আবিষ্কার করবে, যা আজ আমাদের কল্পনারও বাইরে?

#OpenAI #Astra #ArtificialIntelligence #Mathematics #Lean #TheoreticalComputerScience #AIResearch #Science #Technology #ক্যালিফোর্নিয়ার_চিঠি