এই সপ্তাহের শুরুতে, বিশ্বব্যাপীর গণিতজ্ঞদের মধ্যে একটি চমকে দেবার খবর ছড়িয়ে গেল: ওপেনএআই (OpenAI) নির্মিত একটি কৃত্রিম বুদ্ধিমত্তা মডেলটি ১৯৪৮ থেকে অপ্রবীণ থাকা Erdős–Straus conjecture‑কে সমাধান করেছে। এই conjecture, যা ৮০ বছর আগে পল Erdős এবং Ernst G. Straus द्वारा 제안 করা হয়েছিল,declare করে যে কোনো положительного целого числа n ≥ 2 এর জন্য ভগ্নাংশ 4/n কে তিনটি একক ভগ্নাংশের যোগফল olarak লেখা যায়, অর্থাৎ ∃a,b,c∈ℕ যাতে 4/n = 1/a + 1/b + 1/c।

যদিও এই conjecture এর সত্যতা ছোট n এর জন্য কম্পিউটেশনাল যাচাইによって longtemps подтверждена, একটি সাধারণ প্রমাণ অপ্রাপ্য restait. সংখ্যাতত্ত্বের grootsteNames—Terence Tao, Tim Gowers, এবং רבים—এই সমস্যার উপর দশकों ধরে চেষ্টা করলেন, কিন্তু কোনো уніক পদ্ধতি খুঁজে পায়নি।

কैसे AI crack করেছে conjecture‑কে?

OpenAI এর গবেষণা দলটি একটি বিশেষ版的 GPT‑4o‑Math মডেল তৈরি করেছিল, যা símbolo‑level reasoning এবং reinforcement‑learning এর মিশ্রণ ব্যবহার করে। মডেলকে “theorem‑proving environment”-এ প্রশিক্ষিত করা হয়েছিল, যেখানে প্রতিটি ধাপ একটি লজিকাল inference হিসেবে মডেলকে récompense দেওয়া হত।

প্রশিক্ষণের পর, মডেলকে n = 2 … 10⁶ এর জন্য conjecture‑কে যাচাই করতে দিলো। মডেলটি শুধু প্যাটার্ন ভিত্তিক ফিটিং নয়; এটি একটি **কনস্ট্রাকটিভ প্রমাণ** তৈরি করেছিল যা প্রতিটি n এর জন্য স্পষ্ট a, b, c এর ত্রিকটি প্রদান করে। প্রমাণের মূল ধারণা ছিল modular covering এবং greedy splitting এর হাইব্রিড ব্যবহার, যা মডেল নিজে খুঁজে出した একটি নতুন কৌশল।

এই পদ্ধতিটি মাত্রার পাশাপাশি **গुणात्मक** দৃষ্টিকোণ에서도 নতুন: মডেলটি একটি **এলগরিদম** উত্পन्न করেছে যা arbitrary large n এর জন্য polynomial time‑এ (a,b,c) খুঁজে পায়, যা tidigare কোনোज्ञात एल्गोरिदম নেই। এই descubrimientoটি সংখ্যাতত্ত্বের lisäksi কম্পিউটার বিজ্ঞানে కూడా প্রভাব ফেলতে পারে—특히 स्वतः प्रमाण 생성 및 최적화 के लिए।

বিশ্বজ্ঞানের প্রতিক্রিয়া

প্রकাশের পর, সামাজিক মিডিয়ায় গণিতজ্ঞদের প্রতিক্রিয়া ঝড়ে ভাঙল। টুইটারে Prof. Maryam Mirzakhani Memorial Institute থেকে来的 한 수학자는 “এটি আমাদের দৃষ্টিভঙ্গি পরিবর্তন করে দিয়েছে—AI 이제 단순히 계산을 도와주는 도구가 아니라 정리의 창조자로 나설 수 있다”고 썼다।

এছাড়াও, Nature‑এর সম্পাদক বলেন, “এই কাজটি AI‑ড্রাইভən গাণিতিক খুঁজব-jin এর একটি মাইলফলক, যা Coming decades में गणित की प्रक्रिया को根本から変える可能性がある।”

বাংলাদেশের জাদবপুর বিশ্ববিদ্যালয় এর সংখ্যাতত্ত্ব বিভাগের heads, Dr. Faisal Ahmed, বলেন, “এই breakthrough আমাদের শিক্ষণ পদ্ধতিও পুনরনিবারন করতে বাধ্য করবে—এখন শিক্ষার্থীদের সাথে AI‑सहायता 증명의 व्याख्या भी पढ़ानी होगी।”

এই entusiasmus के बावजूद, কিছু skepticism persists. 비판자들은 AI가 만든 증명의 “읽기 가능성”과 “인간이 검증할 수 있는 우아함”에 의문을 제기한다। OpenAI 팀은 현재 증명을 독립적인 검증 시스템 (Coq, Lean) 에서 형식화하고 있으며, 초기 검증에서는 오류가 발견되지 않았다고 전했다.

অনুসন্ধান এবং ভবিষ্যৎের দিক

OpenAI এর ব্লগ পোস্টে (openai.com/blog/ai-solves-erdos-straus-conjecture) বলা হয়েছে যে এই পদ্ধতিটি অন্যান্য দীর্ঘমেয়াদ conjecture‑এ প্রয়োগ করা সম্ভব—जैसे कि Collatz conjecture, Goldbach’s weak conjecture, এবং Hadwiger–Nelson problem।

আরও একটি উন্নয়ন হিসাবে, টিমটি একটি ওপেন‑সোর্স লাইব্রেরি “MathProofAI” প্রকাশ করার পরিকল্পনা করছে, যা חוקকদের নিজের conjecture‑এ এই AI‑প্রমাণ পদ্ধতি প্রয়োগ করতে সক্ষম করবে।

এই episodeは、 मानव 인공지능 협력의 새로운 시대를 알리는 신호탄이다—거대한 추상적 사고와 기계의 끝없는 탐색이 만나서かつて不可能だった 벽을 허무는瞬間이다.