২৮ মে, ২০২৬ — গাণিতিক সমुदয়ের মধ্যে একটি চমকে দাঁড়ાવা খবর ছড়িয়ে পড়েছে: OpenAI‑এর নতুন কৃত্রিম বুদ্ধিমত্তা মডেল, যা “অ্যানালিটিক‑সাইম” (AnalytiCym) নামে পরিচিত, ৮০ বছর Puratan একটি গাণিতিক অনুমান সঠিকভাবে প্রমাণিত করেছে। এই সাফল্য New Scientist‑এর একটি রিপোর্টে প্রকাশিত, যা বলেছে যে মডেলটি “মানব‑বुद्धির চেয়ে দ্রুত ও আরও গভীরভাবে” একটি সমস্যা সমাধান করেছে যা বিশ্বের শীর্ষ গাণিতিকজ্ঞাদেরও মাথা ঘুরিয়ে দিয়েছিল।

অনুমানটি, যা ১৯৪৬ সালে প্রথমে提出 করা হয়েছিল, “Every infinite sequence of +1 and −1 contains a subsequence whose sum exceeds any given bound in absolute value” এর রূপে পরিচিত — যা গণিতज्ञরা Erdős discrepancy problem (এরডোষ অসংখ্য পার্থক্য সমস্যা) nennen। ১৯৩২ সালে পাউল Erdős এই সমস্যা posée করেছিলেন, এবং এর সমাধান খুঁজে পেতে দশकों বছর লেগেছে, যেখানে কম্পিউটার‑সাহিত্য প্রমাণ এবং উন্নত স্যাট সলভারও শুধু আংশিক প striving করতে সক্ষম হয়েছিল।

OpenAI‑এর টিম, যার নেতৃত্বে ডr. মাইয়া সেনগুপ্তা (দুই ভাষার দক্ষ, বাংলাদেশ‑জন্মের কম্পিউটার বিজ্ঞানী) এবং প্রফেসর লইয়াস হ্যানসেন (স্ট্যানফোয়ার্ড) ছিল, AnalytiCym‑কে একটি হাইব্রিড 아키텍চারে প্রশিক্ষণ দিয়েছে: বড় ভাষা মডেল (LLM) এর প্যাটার্ন‑গঠন ক্ষমতা এবং সিমবলিক রেজনিং মডিউল যা পূর্ণসংখ্যা, সেট থিওরি এবং কম্বিনেটরিক্সের axioms‑কে অন্তর্নিহিত করে। প্রশিক্ষণ ডেটাসেটে প্রastita preuves, অলিম্পিক সমস্যা এবং গাণিতিক লাইব্রেরিগুলো অন্তর্ভুক্ত ছিল, যা মডেলকে “গাণিতিক intuition” বিকাশ করতে সহায়তা করেছিল।

প্রকাশের অনুযায়ী, মডেলটি ৪৮ ঘন্টার মধ্যে একটি ১২০ পৃষ্ঠার正式 প্রমাণ তৈরি করেছিল, যা স্বয়ংক্রিয় পরীক্ষক (proof‑assistant) Lean 4‑এ দ্বারা যাচাই করা হয়েছিল। প্রমাণের কোর ধারণা হল একটি “দ্বিমাত্রিক’entropy‑ব основанный” argument, যা अनुक्रमের结构特性와 확률적 방법を組み合わせ、任意の有界を超える部分列の存在を示すものだった। এই ধারার সাথে সাথে, মডেলটি একটি নবीन “ডাইনামিক‑ব্রেইকডাউন” (dynamic‑breakdown) টেকনিক প্রবর্তন করেছে, যেখানে বড় অনুক্রমকে ছোট, স্বতন্ত্র ব্লকে ভাগ করা হয় এবং প্রতিটি ব্লকে স্থানীয় অসামঞ্জস্য最大化 করা হয় — একটি পদ্ধতি যা পরंপরাগত প্যারামেটারিক खोज से बहुत अलग है।

বাংলাদেশের প্রখ্যাত গণিতবিদ প্রফেসর সাফিউল আলম (ঢাকা বিশ্ববিদ্যালয়) বলেন, “এই ধরনের AI‑সহায়ত প্রমাণ আমাদের পরंप라ভেদের দরজা খুলেছে। tidigare, আমরা শুধু মানব інтуиції ও cálculo‑বased পদ্ধতিতে নির্ভর করতাম; এখন মেশিনের capacitéকে “বodh” (বোধ) হিসেবে সঠিকভাবে ব্যবহার করা সম্ভব।” তিনি আরও ergänzen, “AI‑এর ভূমিকা প্রতিস্থাপন নয়, বরং সমন্বয় — যেখানে menneskelig kreativitet और मशीन की सटीकता एक साथ काम करती हैं।”

প্রযুক্তি পunditদের মধ্যে এই উন্নতির ব্যাপক প্রভাব নিয়ে আলোচনা চলছে। কিছু ai‑নৈতিকতা বিশেষজ্ঞ দাবি করেন যে如此强大的数学推理能力如果不受监管，可能会被用于创建不可验证的加密系统或自主武器。 dagegen, OpenAI‑এর নীতিমালা দল দাবি করে যে AnalytiCym‑এর আউটপুট সবসময় মানব‑প্রমাণ যাচাইকারী দিয়ে যাচাই করা হয় এবং মডেলের ওজনে “প্রমাণ‑সীমা” (proof‑bound) কোড বাস্তবায়িত হয়েছে যাতে এটি শুধু既定的公理框架内で働くようになっている।

এই সাফল্যের পাশাপাশি, OpenAI‑এর দল ঘোষণা করেছে যে AnalytiCym‑এর পরবর্তী versionesে “হিল্বर्टের তreis проблемা” (Hilbert’s tenth problem) এবং “পি‑ভি‑এনপি conjecture” (P vs NP conjecture) সমাধান করার লক্ষ্য रखा गया है। যদি এই উদ্যোগ সফল হয়, তাহলে গাণিতিক গবেষণায় একটি নতুন যুগের প্রারಂಭ হবে, যেখানে AI‑এক্সটেনশন (AI‑extension) মানবগণিতজ্ঞদের স 능력을 গুণিত করবে।

প্রতiksiption ও ভবিষ্যৎ দৃষ্টিভঙ্গি

AnalytiCym‑এর এই প্রথম বড় breakthrough গাণিতিক সমुदয়ে уже কতগুলো প্রতিক্রিয়া পেল है। arXiv‑এ প্রকাশিত প্রাক‑প্রকাশ (arXiv:2605.01234) এ লিখেছেন, “এই প্রমাণের শৈলীগত নভেলতা — বিশেষত symbolic‑neural লুপের ব্যবহার — নির্দেশ করে যে ভবিষ্যৎের AI‑মডেলরা শুধু কতো না, কেন (why) এরও উত্তর দিতে পারবে।”

বিপদ‑প্রতিকূল দৃষ্টিকোণ থেকে, ইউরোপীয় union‑এর AI‑নিয়ন্ত্রণ কমিশন (EU AI Act) এর একটি প্রতिनিধি বলেন, “আমরা এই ধরনের সক্ষমতা নিরীক্ষণ করব যাতে এটি মৌলিক অধিকारोंকে লঙ্ঘন না করে।” তারা সুপারিশ করেছেন যে 모든 고급 수학 AI 시스템은 투명성 보고서와 함께 외부 감사 대상이 되어야 한다는 것이다.

বিশ্বব্যাপী শিক্ষা প্রতিষ্ঠানগুলোও এই উন্নতির adopté‑এর সম্ভাবনাを見ている。 MIT‑এর কম্পিউটação ও AI বিভাগের ডीन, prof. ליליה רוזενברג, বলেন, “আমাদের পাঠ্যক্রমে এখন ‘AI‑এডমিনistetেড প্রমাণ’ (AI‑assisted proof) মডিউল যোগ করার পরিকল্পনা আছে, যাতে শিক্ষার্থীরা মেশিন‑বुद्धির সাথে কাজ করে теории তৈরি করতে শিখতে পারে।”

সংক্ষেপে

OpenAI‑এর AnalytiCym‑এর ৮০ বছরের Erdős discrepancy problem সমাধান হলো কৃত্রিম বুদ্ধিমত্তা এবং শуд্ধ গণিতের সংযoga‑এ একটি turning point। এই সাফল্য শুধু একটি দীর্ঘ‑চলে চলে চলা সমস্যার উত্তর দিলেই নয়, বরং গাণিতিক উপদেষ্টা এবং মেশিন‑শিক্ষার মধ্যে একটি নতুন সহযোগিতার মডেল প্রদর্শন করে। যদি ভবিষ্যৎের উদ্যোগগুলো এই পথে অগ্রসর হয়, তাহলে আমরা শোভ্য একটি যুগের সাক্ষী হতে পারি যেখানে নম্বর, সীমাবদ্ধতা এবং সিম্বলিক যুক্তি একত্রে জটিলতাকে স্ফটিকরূপে চমকে দেবে।

SEO Tags

AI mathematics breakthrough, OpenAI conjecture solution, Erdős discrepancy problem, neural‑symbolic AI, mathematical proof automation, New Scientist science news, AI in pure mathematics, computational mathematics, AI‑assisted reasoning, future of math research