ওপেনএআই ২০২৬ সালে গণিত, কম্পিউটার বিজ্ঞান এবং পদার্থবিদ্যায় ৩টি বৈজ্ঞানিক অগ্রগতি ঘোষণা করেছে
২০২৬ সালের ২৬ অক্টোবর, বৈজ্ঞানিক বুঝিতে শিক্ষানবিস সম্প্রদায়ের সাথে কাজ করা শিরোনামে একটি গবেষণা প্রকাশনায়, ওপেনএআই প্রকাশ করেছে যে এর অভ্যন্তরীণ যুক্তিবাদী মডেলগুলি মৌলিক গণিত, তাত্ত্বিক কম্পিউটার বিজ্ঞান এবং গাণিতিক পদার্থবিদ্যা জুড়ে তিনটি প্রধান তাত্ত্বিক প্রমাণ তৈরি করেছে। যদি ব্যাপক বৈজ্ঞানিক সম্প্রদায় দ্বারা এই ফলাফলগুলি যাচাই করা হয়, তবে এগুলি কৃত্রিম বুদ্ধিমত্তায় একটি উল্লেখযোগ্য বিকাশকে প্রতিনিধিত্ব করে: পরীক্ষামূলক প্যাটার্ন চিহ্নিতকরণ এবং কোড জেনারেশনের বাইরে যাওয়া, এবং একাধিক-পদক্ষেপের অনুমানমূলক যুক্তি এবং তাত্ত্বিক আবিষ্কারের দিকে।
এই মেশিন-জেনারেটেড হস্তলিখিত কাগজপত্রগুলিকে স্থির বৈজ্ঞানিক সমঝোতা হিসাবে না মনে করে, ওপেনএআই সিমন্স ফাউন্ডেশনকে $5 মিলিয়ন অবদান রেখে একটি পরীক্ষামূলক যাচাইকরণ কাঠামো চালু করেছে। যা তারা "একাডেমিক শেপার্ড" পদ্ধতি হিসাবে বর্ণনা করে, ওপেনএআই তিনটি ভিন্ন প্রকাশের পথ—সরাসরি পাবলিক GitHub রিলিজ থেকে শুরু করে ডোমেইন-বিশেষজ্ঞদের নেতৃত্বাধীন স্বাধীন কার্যকরী দলগুলির মধ্যে—পরীক্ষা করছে।
তিনটি ঘোষণার মধ্যে, ওপেনএআই দাবি করে যে এর মডেলগুলি হারমোনিক বিশ্লেষণে সোগের স্থানীয় স্মুথিং অনুমানের প্রমাণ, গণনামূলক জটিলতায় এক্সপোনেনশিয়াল টাইম হাইপোথিসিস (ETH) এর নির্ধারণমূলক প্রত্যাখ্যান, এবং চার-মাত্রিক ইন্টারঅ্যাকটিং কোয়ান্টাম ক্ষেত্র তত্ত্ব (QFT), যার মধ্যে কোয়ান্টাম ক্রোমোডাইনামিক্স (QCD) অন্তর্ভুক্ত, এর জন্য একটি কঠোর গাণিতিক অস্তিত্বের প্রমাণ উত্পাদন করেছে।
এই বিশ্লেষণটি প্রতিটি দাবির পেছনের মূল ধারণাগুলি সহজ ভাষায় পর্যালোচনা করে, ক্রিপ্টোকারেন্সি এবং ওয়েব3 নিরাপত্তা পরিসরে লিয়ান ফর্মাল যাচাইকরণ এবং জটিলতা তত্ত্বের গুরুত্ব বিশ্লেষণ করে এবং স্বাধীন শিক্ষাগত পর্যালোচনাকে নির্দেশিত গভর্ন্যান্স নীতিগুলি মূল্যায়ন করে।
প্রথম বিপ্লব: হারমোনিক বিশ্লেষণ এবং সোগের লোকাল স্মুথিং অনুমান
প্রথম ফলাফলটি ইউক্লিডিয়ান হারমোনিক বিশ্লেষণের একটি কেন্দ্রীয় খোলা সমস্যাকে সমাধান করে: ১৯৯১ সালে গণিতবিদ ক্রিস্টোফার সোগে দ্বারা প্রস্তাবিত ওয়েভ সমীকরণের লোকাল স্মুথিং অনুমান।
সাধারণ ভাষায়, তরঙ্গ সমীকরণটি কিভাবে শব্দ তরঙ্গ, আলো তরঙ্গ বা সমুদ্রের ঢেউয়ের মতো ক্ষুদ্র উত্থানগুলি স্থান এবং সময়ের মধ্যে ছড়িয়ে পড়ে তা মডেল করে। যখন একাধিক তরঙ্গ পরস্পরের সাথে ওভারল্যাপ করে, তখন তারা গঠনমূলকভাবে বিকৃতি তৈরি করতে পারে, যা তীক্ষ্ণ, কেন্দ্রীভূত শক্তির শীর্ষগুলি সৃষ্টি করে। গণিতবিদদের দীর্ঘ তিন দশকেরও বেশি সময় ধরে এই প্রমাণ করার চেষ্টা চলছে যে, কিভাবে তরঙ্গগুলি কতটা ঘনীভূত হতে পারে, এবং সংক্ষিপ্ত সময়ের জন্য তাদের আচরণকে 평ানিকরণ করলে "দুটি বা ততোধিক" স্থানিক মাত্রায় এইঅনিয়মিততা "সমতল" হয়ে যায়। দুটি মাত্রায় আংশিকভাবে প্রমাণগুলি বিদ্যমান ছিল, কিন্তু সমস্ত স্থানিক মাত্রায় সম্পূর্ণঅনুমানটিরপ্রমাণকরাএখনওএকটিঅচলপ্রশ্নহিসেবেঅবশিষ্টআছে।
সাধারণ টেক্সট পদ্ধতি: সহায়ক আংশিক অন্তরক সমীকরণ
ওপেনএআইয়ের openai/math গিটহাব রিপোজিটরিতে প্রকাশিত প্রযুক্তিগত রিলিজ অনুযায়ী, ১৮ অক্টোবর, ২০২৬-এ মডেলটি দুই বা ততোধিক স্থানিক মাত্রার প্রতিটি মাত্রায় অনুমানটির প্রাকৃতিক ভাষায় প্রমাণ তৈরি করেছে।
প্রাচীন জ্যামিতিক কাটিং পদ্ধতির উপর কেবলমাত্র নির্ভর করার পরিবর্তে, মডেলটি একটি নতুন সহায়ক আংশিক অন্তরক সমীকরণ তৈরি করেছে যা সময়ের সাথে তরঙ্গ শক্তির ক্ষয় ট্র্যাক করে। শক্তির ছড়িয়ে পড়ার গতি সীমাবদ্ধ করে, যুক্তিটি তরঙ্গ প্যাকেটগুলিকে আলোক শঙ্কুর সাথে অত্যধিকভাবে একত্রিত হতে থেকে বাধা দেয়, যা আগে উচ্চতর-মাত্রিক প্রমাণগুলিকে সীমাবদ্ধ করেছিল।
ডাউনস্ট্রিম প্রভাব: কাকেয়া অনুমান অনলক করা
পুরো গণিতে, সোগের স্থানীয় স্মুথিং অনুমান বিখ্যাত সমস্যাগুলির একটি হাইয়ারার্কির শীর্ষে একটি মাস্টার কীয়ের মতো কাজ করে। এটি প্রমাণ করলে জ্যামিতিক পরিমাপ তত্ত্বে কয়েকটি দীর্ঘস্থায়ী অনুমান স্বয়ংক্রিয়ভাবে সমাধান হয়ে যায়:
-
কাকেয়া ম্যাক্সিমাল এবং ডাইমেনশন অনুমান: ১৯১৭ সালের একটি পাজল থেকে উৎপন্ন, যা একটি ইউনিট সূঁচকে পুরো ৩৬০ ডিগ্রি ঘোরানোর জন্য প্রয়োজনীয় সর্বনিম্ন সম্ভাব্য ক্ষেত্রফল খুঁজছিল, উচ্চ-মাত্রিক কাকেয়া অনুমানটি বলে যে প্রতিটি দিকে একটি ইউনিট লাইন সেগমেন্ট ধারণকারী যেকোনো সেটের অবস্থিত স্থানের পূর্ণ মাত্রা থাকতে হবে। ওপেনএআই দাবি করে যে এর লোকাল স্মুথিং প্রমাণটি কাকেয়া এবং নিকোডিম ম্যাক্সিমাল অনুমান দুটিই সমাধান করেছে।
-
স্টাইনের গোলাকার সীমাবদ্ধতা অনুমান: ফুরিয়ার সীমাবদ্ধতা সীমা সম্পর্কিত অভ্যন্তরীণ পরিসরটি প্রতিষ্ঠিত হয়, যা ১৯৭০-এর দশকে এলিয়াস স্টাইন দ্বারা শুরু হয়েছিল, যা বক্র গোলাকার পৃষ্ঠের উপর সীমাবদ্ধ তরঙ্গগুলির আচরণ নিয়ন্ত্রণ করে।
স্বাধীন পরীক্ষার সমর্থনে, অক্টোবর ১৯, ২০২৬-এ ওপেনএআই অক্টোবর ১৮-এর ম্যানুস্ক্রিপ্টটিকে লিয়ান থিওরেম-প্রুভিং ভাষায় অনুবাদ করে, পিডিএফ লেখা এবং মেশিন-চেকযোগ্য লিয়ান প্রুফ উভয়কেই সরাসরি জনসাধারণের জন্য প্রকাশ করে।
ব্রেকথ্রু ২: কম্পিউটার বিজ্ঞান এবং এক্সপোনেনশিয়াল টাইম হাইপোথিসিসের খণ্ডন
দ্বিতীয়, এবং বিতর্কিতভাবে সবচেয়ে আশ্চর্যজনক, দাবিটি গণনামূলক জটিলতা তত্ত্বের ভিত্তির উপর নির্ভর করে। ওপেনএআই ঘোষণা করেছে যে এর মডেলটি এক্সপোনেনশিয়াল টাইম হাইপোথিসিস (ETH) এর একটি ঔপচারিক প্রত্যাখ্যান তৈরি করেছে, যা প্রমাণ করে যে এই প্রচলিত ধারণাটি মিথ্যা।
1999 এবং 2001 এর মধ্যে রাসেল ইম্পাগলিয়াজো, রামামোহন পাতুরি এবং ফ্রান্সিস জেনে কর্তৃক প্রস্তাবিত, এক্সপোনেনশিয়াল টাইম হাইপোথিসিস 3-SAT সমস্যার সাথে সম্পর্কিত—একটি ক্লাসিক যুক্তিগত পাজল যেখানে একটি অ্যালগরিদমকে অনেকগুলি ওভারল্যাপিং নিয়মকে সন্তুষ্ট করতে পারে কিনা তা নির্ধারণ করতে হয়। চলকের সংখ্যা (n) বাড়ার সাথে সাথে সম্ভাব্য সংমিশ্রণের সংখ্যা এক্সপোনেনশিয়ালভাবে বৃদ্ধি পায়।
সাধারণ ভাষায়, ETH বলে যে সর্বাধিক ক্ষেত্রে 3-SAT-এর জন্য কোনো গণনামূলক সংক্ষিপ্ত পথ নেই: যেকোনো নির্ধারণমূলক অ্যালগরিদমকে কঠোরভাবে সূচকীয় সময় নিতে হবে (n-এর একটি ধ্রুবক অংশের সমানুপাতিক হারে বৃদ্ধি পাওয়া)। 25 বছর ধরে, গ্রাফ তত্ত্ব, নেটওয়ার্ক রুটিং এবং ডাটাবেসে অন্যান্য কঠিন সমস্যাগুলির সমাধানকে সূচকীয় সময়ের চেয়ে দ্রুত সমাধান করা অসম্ভব বলে প্রমাণ করতে শতাধিক কম্পিউটার বিজ্ঞানের পেপার ETH-কে একটি ভিত্তিরূপে ব্যবহার করেছে।
কীভাবে দাবি করা অ্যালগরিদম কাজ করে
২০২৬ সালের ১৬ অক্টোবর, ওপেনএআইয়ের অভ্যন্তরীণ মডেলটি ETH-এর জন্য একটি বিপরীত প্রমাণ তৈরি করে, যা দলটি পরবর্তী দিন (অক্টোবর ১৭) লিয়ানে ঔপচারিকভাবে উপস্থাপন করে। হস্তলিখিত কাজটি একটি নির্ধারণমূলক অ্যালগরিদম উপস্থাপন করে যা সাবএক্সপোনেনশিয়াল সময়ে স্থির-প্রস্থ বুলিয়ান ফর্মুলার জন্য বৈধ সমাধানের সঠিক সংখ্যা গণনা করে, যখন শুধুমাত্র বহুপদী মেমোরি স্পেস ব্যবহার করে।
এখানে, "সাব-সূচকীয় সময়" বলতে বোঝায় যে অ্যালগরিদমের রানটাইম সমস্যার আকার বৃদ্ধির সাথে স্ট্যান্ডার্ড সূচকীয় বক্ররেখার চেয়ে কঠোরভাবে ধীরে বৃদ্ধি পায় (বিশেষভাবে n-এর ডবল লগারিদম দ্বারা বিভক্ত n-এর উপর ভিত্তি করে 2-এর ঘাতের সমানুপাতিক)। বড় ইনপুটের জন্য এখনও বিশাল গণনা প্রয়োজন হয়, কিন্তু কঠোরভাবে সূচকীয় থেকে সাব-সূচকীয়ে গণিতীয় সীমানা অতিক্রম করা ETH-কে কাগজে প্রত্যাখ্যান করার জন্যই যথেষ্ট।
ক্রিপ্টোকারেন্সি এবং ব্লকচেইন নিরাপত্তার জন্য এটির অর্থ কী?
যখন গণনামূলক জটিলতায় একটি বিপ্লবী অগ্রগতির ঘোষণা করা হয়, ডিজিটাল সম্পদ বিনিয়োগকারীরা প্রাকৃতিকভাবে জিজ্ঞাসা করেন যে বিটকয়েন বা ইথেরিয়ামের মতো ক্রিপ্টোগ্রাফিক নেটওয়ার্কগুলির জন্য কি বিপদ রয়েছে। যদি OpenAI-এর ETH প্রত্যাখ্যান সম্পূর্ণরূপে যাচাই করা হয়, তবুও এটি ব্লকচেইন ক্রিপ্টোগ্রাফিকে হুমকি দেয় না, তিনটি মৌলিক কারণে:
-
P বনাম NP বাধা এখনও অখণ্ড: ETH-এর অসত্যতা প্রমাণ করা মানে এই নয় যে P = NP। সাব-এক্সপোনেনশিয়াল সময় এখনও বহুপদী সময়ের তুলনায় অনেক ধীর। এছাড়াও, "log log $$$$"-এর মতো একটি বিভাজক এতটাই ধীরে বাড়ে যে বাস্তব-বিশ্বের সমস্যার আকারের জন্য তাত্ত্বিক গতির বৃদ্ধি ব্যবহারিক রানটাইমের লাভে রূপান্তরিত হয় না। OpenAI স্পষ্টভাবে উল্লেখ করেছে যে এই তাত্ত্বিক সীমাকে ব্যবহারিক অ্যালগরিদমিক গতির বৃদ্ধিতে পরিণত করতে আরও অনেকগুলি গবেষণা প্রয়োজন।
-
সর্বাধিক ক্ষেত্রে বনাম গড় ক্ষেত্রের কঠিনতা: ইথেরিয়াম কেবলমাত্র যুক্তিসঙ্গত সন্তোষজনক পাজলের সর্বাধিক কঠিনতা পরিমাপ করে। বিটকয়েনের SHA-256 হ্যাশিং বা উপবৃত্তিক বক্ররেখা ডিজিটাল স্বাক্ষর (ECDSA) এর মতো আধুনিক ক্রিপ্টোগ্রাফি গড়-ক্ষেত্রের ক্রিপ্টোগ্রাফিক কঠিনতা এবং এক-দিকের গাণিতিক ফাঁদের উপর নির্ভর করে, যা SAT সমাধানের অল্প আসমপটোটিক পরিবর্তনের বিরুদ্ধেও নিরাপদ থাকে।
-
ওয়েব3 যাচাইয়ের জন্য সম্ভাব্য উপরের দিকের সম্ভাবনা: এনক্রিপশন ভাঙার পরিবর্তে, বুলিয়ান সন্তোষজনকতা (SAT) এবং গণনা অ্যালগরিদমের তাত্ত্বিক উন্নতি মূলত ফর্মাল যাচাইকরণ টুলগুলির জন্য উপযোগী—যা ডেভেলপাররা স্মার্ট চুক্তি এবং জিরো-ক্রিয়েশন (জেডকে) সার্কিট সীমাবদ্ধতা চেক করতে ব্যবহার করে।
ETH-এর মূল প্রতিষ্ঠাতাদের স্বাধীন পর্যালোচনা
এক্সপোনেনশিয়াল টাইম হাইপোথেসিসের মূল প্রস্তাবকদের মধ্যে দুজন রাসেল ইম্পাগলিয়াজো এবং রামামোহন পাতুরি (ইউসি স্যান ডিয়েগো) এবং এমআইটির কম্পিউটার বিজ্ঞানী রাইয়ান উইলিয়ামসের সাথে ওপেনএআই যোগাযোগ করেছে কম্পিউটার বিজ্ঞানের দাবি পরীক্ষা করতে।
অক্টোবর ২৬ তারিখে কম্পিউটার বিজ্ঞান সম্প্রদায়ের জন্য একটি যৌথ খোলা চিঠিতে, তিনজন পণ্ডিত দাবিটির উপর একটি খোলা, স্বাধীন পরীক্ষা আয়োজনে সহায়তা করার সম্মতি দেন, যদিও একটি স্পষ্ট সতর্কবাণী দেন: "আমাদের সম্পৃক্ততাকে দাবিটির সত্যতা প্রমাণ হিসেবে গ্রহণ করা উচিত নয়।" কোনো গোপনীয়তা চুক্তি ছাড়া এবং OpenAI থেকে শূন্য পেমেন্টের সাথে, গোষ্ঠীটি সব কাঁচা মডেল ডেটা পাবলিকভাবে প্রকাশ করতে এবং ফলাফলগুলির পরীক্ষা করার জন্য একটি একাডেমিক কনফারেন্সের ব্যয় বহন করতে অনুরোধ করে, যা OpenAI মেনে নেয়।
ব্রেকথ্রু ৩: গাণিতিক পদার্থবিদ্যা এবং 4D কোয়ান্টাম ক্রোমোডাইনামিক্সের অস্তিত্ব
তৃতীয় দাবিটি গঠনমূলক কোয়ান্টাম ক্ষেত্র তত্ত্বকে সম্বোধন করে, যা তাদেশুস বালাবানের পুনর্নির্মাণ কাঠামোর নেতৃত্বে পার্টিকেল পদার্থবিদ্যাকে কঠোর গাণিতিক ভিত্তির উপর স্থাপনের লক্ষ্যে চলেছে।
আধুনিক পদার্থবিদ্যায়, মানক মডেল এবং বিশেষ করে কোয়ান্টাম ক্রোমোডাইনামিক্স (QCD), যা প্রোটন এবং নিউট্রনের ভিতরে কোয়ার্কগুলিকে বন্ধন করে রাখে এমন শক্ত নিউক্লিয়ার বলের বর্ণনা দেয়, অত্যন্ত সুনির্দিষ্টভাবে কণা সংঘর্ষকারী পরীক্ষাগুলির পূর্বানুমান করে। তবে একটি বিখ্যাত প্যারাডক্স আধা শতাব্দীরও বেশি সময় ধরে অব্যাহত রয়েছে: যদিও পদার্থবিদদের প্রতিদিন চার-মাত্রিক কোয়ান্টাম ক্ষেত্রের তত্ত্বগুলি ব্যবহার করতে হয়, গণিতবিদদের কখনও প্রমাণ করা যায়নি যে এই সমীকরণগুলি সন্তত,অসীমভাবে সূক্ষ্ম চার-মাত্রিক স্পেসটাইমের মধ্যে গণনা করা হলেও গাণিতিকভাবে ভালভাবে সংজ্ঞায়িত থাকে।
আগে, গণিতবিদদের শুধুমাত্র দুই বা তিন মাত্রিক সরলীকৃত ক্ষেত্র তত্ত্বের জন্য কঠোর অস্তিত্ব প্রমাণ করতে সক্ষম হয়েছিল। চার মাত্রিকে, "কন্টিনিয়াম লিমিট" (একটি বিচ্ছিন্ন গণনা গ্রিডকে শূন্য দূরত্বে সংকুচিত করা) নেওয়া গণিতীয় অসীমতার সাথে সমীকরণগুলির বিস্ফোরণ ঘটায়।
য়াঙ্গ-মিলস অস্তিত্ব সমস্যা সমাধান
ওপেনএআইয়ের রিলিজ টাইমলাইন অনুযায়ী:
-
২০২৬ সালের ৯ সেপ্টেম্বর: অভ্যন্তরীণ মডেলটি একটি প্রাকৃতিক ভাষার প্রমাণ তৈরি করেছে যা শুদ্ধ চার-মাত্রিক ইয়াং-মিলস তত্ত্বের কঠোর গাণিতিক অস্তিত্ব প্রতিষ্ঠা করে, যা বিখ্যাত ক্লে গণিত প্রতিষ্ঠানের মিলেনিয়াম পুরস্কার সমস্যার অস্তিত্বের অর্ধাংশকে সমাধান করে (যদিও কেবলমাত্র অস্তিত্ব প্রমাণ করলেই পুরস্কারের পূর্ণ “ভর বিধান” প্রয়োগকে স্বয়ংক্রিয়ভাবে সমাধান করা হয় না)।
-
২০২৬ সালের ১৮ সেপ্টেম্বর: মডেলটি গেজ ক্ষেত্রগুলিকে ফার্মিওনের (কোয়ার্কের মতো ম্যাটার কণাগুলি) সাথে মিলিত করে নির্মাণটিকে বিস্তারিত করেছে, যা চার-মাত্রিক QCD এবং মানক মডেলের গ্র্যান্ড ইউনিফাইড পূর্ণাঙ্গতা প্রতিষ্ঠা করার দাবি করেছে।
নোবেল পুরস্কার বিজয়ী ডেভিড গ্রস এর নেতৃত্বে পর্যালোচনা
পাঁচ সদস্যের পদার্থবিদ্যা প্যানেলের নেতৃত্ব দিচ্ছেন ডেভিড গ্রস্—যিনি QCD-এ আসিম্পটোটিক ফ্রিডম আবিষ্কারের জন্য ২০০৪ সালের পদার্থবিদ্যায় নোবেল পুরস্কার ভাগ করে নেন—এবং পরিচিত গাণিতিক পদার্থবিদদের সাথে: আর্থার জ্যাফ (ইয়াং-মিলসের জন্য অফিসিয়াল ক্লে মিলেনিয়াম পুরস্কার সমস্যা বিবৃতির সহ-লেখক), মাইকেল ডগলাস, ইগর ক্লেবানভ এবং নিকিতা নেক্রাসভ (২০২৩ ড্যানি হেইনেম্যান পুরস্কার বিজয়ী)। এই দলটি এখনও কাজটি স্বতন্ত্রভাবে পরীক্ষা ও লিখে ফেলার জন্য মূল AI হস্তলিখিত কপির প্রকাশ বন্ধ রাখতে চয়ন করেছে।
একাডেমিক শেপার্ড মডেল এবং লিন 4 যাচাইকরণ
একই সময়ে তিনটি প্রধান দাবির প্রকাশ আধুনিক বিজ্ঞানের একটি বাড়তি বাধা উজাগর করে: জটিল এআই-তৈরি হস্তলিখিত পাঠ্য তৈরি করতে এখন অনেক কম সময় লাগে, যেখানে মানুষের বিশেষজ্ঞদের তা যাচাই করতে অনেক বেশি সময় লাগে। ২০২৬ সালের অক্টোবরের শুরুতে, ওপেনএআই ৭০০-এরও বেশি পরীক্ষামূলক এআই-তৈরি গণিতের নোট প্রকাশ করে, যা ঐতিহ্যগত পিয়ার-রিভিউকে অপ্রতিরোধ্যভাবে ব্যাহত করার চিন্তায় গণিতবিদদের প্রতিক্রিয়ার সৃষ্টি করে।
অপ্রমাণিত দাবিগুলির প্রকাশনায় ভরে যাওয়া থেকে বাঁচার জন্য, ওপেনএআই তার শিক্ষাগত সহযোগিতাগুলির জন্য চারটি শাসন নীতি উপস্থাপন করেছে:
| গভর্ন্যান্স নীতি | মূল প্রতিশ্রুতি | গবেষকদের জন্য ব্যবহারিক অর্থ |
| 1. স্বচ্ছতা | শূন্য গোপনীয়তা চুক্তি (NDAs) | বাহ্যিক পণ্ডিতরা স্বাধীনভাবে কাজটি নিয়ে আলোচনা করতে পারেন, মধ্যবর্তী ফলাফল শেয়ার করতে পারেন এবং সীমাবদ্ধতা ছাড়াই সমালোচনা বা প্রত্যাখ্যান প্রকাশ করতে পারেন। |
| 2. কোনো আকাদেমিক ক্রেডিট নেই | কোনো এআই বা কর্পোরেট লেখকত্বের দাবি নেই | OpenAI তার মডেলগুলির জন্য কোনো একাডেমিক লেখকত্ব বা অগ্রাধিকার খুঁজছে না (সেপ্টেম্বর 2026-এর মিলেনিয়াম পুরস্কার দাবি করবে না এই প্রতিশ্রুতির সাথে সঙ্গতিপূর্ণ)। |
| ৩. স্বীকৃতি | মানুষের ব্যাখ্যাকারীদের জন্য ক্রেডিট | শিক্ষাগত কার্যসমূহ তাদের দ্বারা লেখা ব্যাখ্যাগুলির জন্য পূর্ণ স্বীকৃতি পায় এবং পূর্ববর্তী মানব গবেষণাগুলি প্রযোজ্যভাবে উল্লেখ করে। |
| 4. স্বাধীনতা | স добৈক এবং অপ্রাপ্ত পর্যালোচনা | পর্যালোচকদের কোনো ব্যক্তিগত প্রতিদান প্রাপ্ত হয় না, যা তাদের উপসংহারগুলিকে কর্পোরেট প্রভাব থেকে স্বাধীন রাখে। |
কেন লিয়ান ভেরিফিকেশন গুরুত্বপূর্ণ
গণিত (স্থানীয় স্মুথিং) এবং কম্পিউটার বিজ্ঞান (ETH) উভয় ফলাফলের জন্য, ওপেনএআই তার প্রাকৃতিক ভাষার পেপারগুলিকে লিয়ানে ফর্মাল প্রমাণের সাথে জুটিয়েছে, যা সিমন্স ফাউন্ডেশন দ্বারা প্রাথমিকভাবে সমর্থিত একটি ওপেন-সোর্স ইন্টারঅ্যাকটিভ থিওরেম প্রুভার।
লিয়ানে, গাণিতিক বিবৃতিগুলি কঠোর কম্পিউটার কোড হিসাবে লেখা হয়। যদি একটি ধাপে যুক্তিগত লাফ বা লুকানো কল্পনা থাকে, তবে কোডটি সহজেই কম্পাইল হয় না। তবে, শিক্ষাবিদ মন্তব্যকারীরা একটি গুরুত্বপূর্ণ পার্থক্যের উপর জোর দেন: যদিও লিয়ান নিশ্চিত করে যে একটি ঔপচারিক প্রমাণ এর সংজ্ঞাগুলি থেকে যুক্তিসঙ্গতভাবে অনুসরণ করে, মানব বিশেষজ্ঞদের এখনও যাচাই করতে হয় যে ঔপচারিক কোডটি মূল গাণিতিক প্রশ্নটিকে সঠিকভাবে ধরে রাখে। উদাহরণস্বরূপ, ৭ অক্টোবর, ২০২৬-এ, OpenAI openai/math রিপোজিটরি থেকে তিনটি আগের হস্তলিখিত প্রতিবেদন প্রত্যাহার করে।
এই একই ঔপচারিক যাচাইকরণ প্রযুক্তি বাড়তে থাকছে ওয়েব3 এবং ক্রিপ্টোকারেন্সি শিল্পের জন্য মৌলিক। উচ্চ-নির্ভরযোগ্য ব্লকচেইন বাস্তুতন্ত্র, জিরো-জ্ঞান ভার্চুয়াল মেশিন (zkVMs) এবং প্রতিষ্ঠানগত DeFi প্রোটোকলগুলি Lean 4 এর মতো ইন্টারঅ্যাকটিভ থিওরেম প্রুভারের উপর নির্ভর করে যাচাই করে যে স্মার্ট চুক্তি এবং ক্রিপ্টোগ্রাফিক সার্কিটগুলি দুর্নীতির শিকার হবে না। যদি AI মডেলগুলি জটিল লজিককে যাচাইকৃত Lean কোডে নির্ভরযোগ্যভাবে অনুবাদ করতে পারে, তবে স্বয়ংক্রিয় স্মার্ট চুক্তি অডিটিং এবং ঔপচারিক প্রোটোকল যাচাইকরণের নিম্নস্তরের প্রভাবটি উল্লেখযোগ্য হতে পারে।
সিদ্ধান্ত
অক্টোবর ২০২৬-এ ওপেনএআইয়ের ঘোষণা এআই-সহায়িত বৈজ্ঞানিক আবিষ্কারের জন্য একটি সুনির্দিষ্ট পরীক্ষা হিসেবে বিবেচিত হচ্ছে। অভ্যন্তরীণ যুক্তি মডেলগুলিকে লিন ফরমাল ভেরিফিকেশনের সাথে জোড়া দিয়ে গণিত, জটিলতা তত্ত্ব এবং কোয়ান্টাম পদার্থবিদ্যার প্রধান দাবিগুলির উপর ইম্পাগলিয়াজো, পাটুরি, উইলিয়ামস এবং গ্রসের মতো স্বাধীন বিশেষজ্ঞদের দায়িত্ব দেওয়া হয়েছে, এই উদ্যোগটি সীমান্ত এআইকে সাধারণ বেঞ্চমার্কগুলির বাইরে নিয়ে যাচ্ছে। যদিও এই প্রমাণগুলিকে স্থির বিজ্ঞান হিসেবে বিবেচনা করার আগে কয়েকমাসের কঠোর শৈক্ষিক পর্যালোচনা এখনও বাকি, স্বয়ংক্রিয় উপপাদ্য প্রমাণ এবং খোলা ভেরিফিকেশনের একত্রীকরণ তত্ত্বগত গবেষণা এবং উচ্চ-নির্ভরযোগ্য ক্রিপ্টোগ্রাফিক সিস্টেমগুলির জন্য একটি শক্তিশালী পূর্বাভাস স্থাপন করছে।
প্রায়শই জিজ্ঞাসিত প্রশ্নাবল�
অক্টোবর ২০২৬-এ ঘোষিত ৩টি ওপেনএআই বৈজ্ঞানিক উদ্ভাবন কী কী?
2026 সালের 26 অক্টোবর, ওপেনএআই ঘোষণা করে যে এর অভ্যন্তরীণ মডেলগুলি তিনটি প্রধান তাত্ত্বিক ফলাফল উৎপাদন করেছে: (1) প্রতিটি মাত্রায় সোগের স্থানীয় স্মুথিং অনুমানের প্রমাণ, যা কাকেয়া অনুমানকেও সমাধান করে। (2) কম্পিউটার বিজ্ঞানে এক্সপোনেনশিয়াল টাইম হাইপোথিসিস (ETH) কে খণ্ডনকারী একটি নির্ধারণমূলক সাবএক্সপোনেনশিয়াল অ্যালগরিদম। (3) চতুর্মাত্রিক ইন্টারঅ্যাকটিং কোয়ান্টাম ফিল্ড থিওরির জন্য একটি গাণিতিক অস্তিত্বের প্রমাণ, যার মধ্যে কোয়ান্টাম ক্রোমোডাইনামিক্স (QCD) অন্তর্ভুক্ত।
এক্সপোনেনশিয়াল টাইম হাইপোথেসিসকে খণ্ডন করলে বিটকয়েন বা ক্রিপ্টো এনক্রিপশন ভাঙবে?
না। যদিও ইথেরিয়ামের প্রত্যাখ্যান স্বাধীন কম্পিউটার বিজ্ঞানীদ্বারা প্রমাণিত হয়, তবুও এটি P = NP প্রমাণ করে না এবং ক্রিপ্টোগ্রাফিক কী ভাঙার জন্য দ্রুত ব্যবহারিক সলভার তৈরি করে না। ব্লকচেইন হ্যাশিং (SHA-256) এবং ডিজিটাল সিগনেচার গড়-কেস ক্রিপ্টোগ্রাফিক কঠিনতার উপর নির্ভরশীল, যেখানে সর্বাধিক-কেস 3-SAT সীমার উপর নয়, এবং OpenAI উল্লেখ করেছে যে এর তাত্ত্বিক ফলাফল তাৎক্ষণিক বাস্তব-জগতের রানটাইম গতির বৃদ্ধি দেয় না।
বৈজ্ঞানিক সম্প্রদায় কি এই এআই-জেনারেটেড প্রমাণগুলি নিশ্চিত করেছে?
এখনও নয়। যদিও OpenAI GitHub-এ গণিত এবং কম্পিউটার বিজ্ঞানের দাবিগুলির জন্য মেশিন-চেকড Lean প্রমাণ প্রকাশ করেছে, বাহ্যিক পণ্ডিতদের এখনও এই ঔপনিবেশিক কোডটি মূল অনুমানগুলিকে সঠিকভাবে প্রতিনিধিত্ব করে কিনা তা যাচাই করতে হবে। কম্পিউটার বিজ্ঞান পর্যালোচনা দলটি স্পষ্টভাবে ঘোষণা করেছে যে তাদের সম্পৃক্ততা একটি স্বাধীন পরীক্ষা, এবং নোবেল পুরস্কারবিজয়ী ডেভিড গ্রসের নেতৃত্বে পদার্থবিদ্যা দলটি এখনও QCD হস্তলিখিতগুলি মূল্যায়ন করছে।
ওপেনএআই স্বাধীন শিক্ষাগত যাচাইকে কীভাবে অর্থায়ন করছে?
অ্যানথ্রোপিকের সাথে মিলে ২০২৬ সালের অক্টোবরে ঘোষিত একটি $১৫ মিলিয়নের যৌথ প্রকল্পের অংশ হিসেবে, ওপেনএআই অপ্রকাশ্যে, এনডিএ-মুক্ত "একাডেমিক শেপার্ড" কাজের গ্রুপগুলির পাশাপাশি সিমন্স ফাউন্ডেশনকে $৫ মিলিয়ন প্রদান করেছে, যা বিজ্ঞানীদের এআই-জেনারেটেড প্রমাণ মূল্যায়নে সহায়তা করার জন্য একাডেমিক ওয়ার্কশপ, সম্মেলন এবং টুলসকে আর্থিক সহায়তা প্রদানের উদ্দেশ্যে।
দায়বদ্ধতা প্র
এই সাধারণ বাজারের তথ্য, যা সম্ভবত তৃতীয় পক্ষের, বাণিজ্যিক বা প্রায়োজনিক উৎস থেকে আসে, শুধুমাত্র রেফারেন্স এবং শিক্ষামূলক উদ্দেশ্যে প্রদান করা হয়েছে এবং এটি আর্থিক বা বিনিয়োগ পরামর্শ, অফার, আহ্বান বা গ্যারান্টি হিসেবে কাজ করে না। এর সঠিকতা, পূর্ণতা, বিশ্বস্ততা এবং যেকোনো ফলাফলের ক্ষতির জন্য আমরা দায়ী নই। বিনিয়োগ/ট্রেডিংয়ের ঝুঁকি রয়েছে; অতীতের পারফরম্যান্স ভবিষ্যতের ফলাফলের গ্যারান্টি দেয় না। ব্যবহারকারীদেরকে গবেষণা করতে, সতর্কতার সাথে বিচার করতে এবং পুরোপুরি দায়িত্ব নিতে হবে। আরও বিস্তারিতের জন্য, দয়াকরে KuCoin-এর Terms of Use এবং Risk Disclosure পরামর্শ করুন।
ডিসক্লেইমার: আপনার সুবিধার্থে এই পৃষ্ঠাটি AI প্রযুক্তি ব্যবহার করে অনুবাদ করা হয়েছে। সবচেয়ে সঠিক তথ্যের জন্য, মূল ইংরেজি সংস্করণটি দেখুন।