গণিতের ইতিহাসে সবচেয়ে বড় পরিবর্তন

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

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

গণিতে AI কী করতে পারে

আধুনিক AI সিস্টেমগুলি গাণিতিক কার্যকলাপের বিস্তৃত পরিসরে ক্ষমতা প্রদর্শন করেছে। এর মধ্যে রয়েছে আনুষ্ঠানিক প্রমাণ যাচাইকরণ, যেখানে AI গাণিতিক যুক্তির যৌক্তিক বৈধতা ধাপে ধাপে পরীক্ষা করে, এবং প্রমাণ উৎপাদন, যেখানে সিস্টেমগুলি গাণিতিক বিবৃতির মূল প্রমাণ তৈরি করে।

সাম্প্রতিক মাইলফলকগুলির মধ্যে রয়েছে:

  • AI সিস্টেমগুলি প্রতিযোগিতা-স্তরের গাণিতিক সমস্যাগুলি শীর্ষ মানব প্রতিযোগীদের স্তরে বা কাছাকাছি সমাধান করে
  • বৃহত্তর ডেটাসেটে নতুন গাণিতিক সম্পর্ক এবং নিদর্শনগুলির স্বয়ংক্রিয় আবিষ্কার
  • এমন ফলাফলের AI-সহায়তা প্রমাণ যা মানব গণিতবিদদের বছরের পর বছর প্রতিরোধ করেছে
  • বিস্তৃত গাণিতিক ডাটাবেস জুড়ে প্যাটার্ন স্বীকৃতির মাধ্যমে গাণিতিক অনুমানের উন্নয়ন
  • পর্যালোচনার জন্য মানুষের পক্ষে খুব দীর্ঘ বা জটিল প্রমাণের আনুষ্ঠানিক যাচাইকরণ

সবচেয়ে উল্লেখযোগ্য হল সৃজনশীল গাণিতিক যুক্তিতে নিযুক্ত হতে পারে এমন AI সিস্টেমগুলির উদ্ভব যা দীর্ঘকাল মানুষের জন্য অনন্য বলে বিবেচিত হয়েছে। এই সিস্টেমগুলি কেবল যান্ত্রিকভাবে পরিচিত কৌশল প্রয়োগ করে না। তারা নতুন পদ্ধতি বিকাশ করে, স্বজ্ঞাত লাফ তৈরি করে এবং গাণিতিক কাঠামো অন্বেষণ করে এমনভাবে যা মানুষের গাণিতিক চিন্তাভাবনার অনুরূপ।

গণিতবিদরা কীভাবে প্রতিক্রিয়া জানাচ্ছেন

গণিত সম্প্রদায় এই উন্নয়নগুলির প্রতি তাদের প্রতিক্রিয়ায় বিভক্ত। কিছু গবেষক AI কে একটি শক্তিশালী নতুন সহযোগী হিসাবে আলিঙ্গন করে যা মানুষের গাণিতিক ক্ষমতা বৃদ্ধি করতে পারে। তারা এমন উদাহরণগুলি দেখায় যেখানে AI এমন পদ্ধতি প্রস্তাব করেছে যা মানব গণিতবিদরা বিবেচনা করেনি, যা সাফল্যের দিকে পরিচালিত করে যা অন্যথায় ঘটতে পারত না।

অন্যরা পেশা এবং গাণিতিক জ্ঞানের প্রকৃতির প্রভাব সম্পর্কে উদ্বেগ প্রকাশ করে। যদি AI মানুষের চেয়ে দ্রুত এবং আরও নির্ভরযোগ্যভাবে উপপাদ্যগুলি প্রমাণ করতে পারে তবে মানব গণিতবিদের ভূমিকা কী? কিছু উদ্বেগ করে যে এই ক্ষেত্রটি ব্যক্তিগতভাবে সমস্যাগুলির সাথে সংগ্রাম করা থেকে আসা গভীর বোঝাপড়া হারাতে পারে, এটিকে গাণিতিক সত্যের সাথে আরও পৃষ্ঠীয় সম্পর্ক দিয়ে প্রতিস্থাপন করে।

পরিবর্তন চালনাকারী সরঞ্জাম

বেশ কয়েকটি মূল প্রযুক্তি গণিতে AI বিপ্লব চালনা করছে। গণিত পাঠ্য এবং আনুষ্ঠানিক প্রমাণ লাইব্রেরিতে প্রশিক্ষিত বৃহৎ ভাষা মডেলগুলি তাদের প্রশিক্ষণ থেকে উদ্ভূত বৈশিষ্ট্য হিসাবে বিস্ময়কর গাণিতিক ক্ষমতা বিকশিত করেছে। Google DeepMind এর AlphaProof এবং Meta এর আনুষ্ঠানিক যুক্তিতে সরঞ্জামগুলির মতো বিশেষায়িত সিস্টেমগুলি নির্দিষ্ট গাণিতিক ডোমেনে AI অর্জন করতে পারে তার সীমানা ঠেলে দিয়েছে।

Lean, Coq এবং Isabelle এর মতো আনুষ্ঠানিক প্রমাণ সহকারীরাও গুরুত্বপূর্ণ ভূমিকা পালন করছে। এই সিস্টেমগুলি একটি কঠোর কাঠামো সরবরাহ করে যেখানে গাণিতিক প্রমাণগুলি প্রকাশ এবং কম্পিউটার দ্বারা যাচাই করা যায়। এই আনুষ্ঠানিক ভাষাগুলিতে প্রমাণ উৎপন্ন করতে পারে এমন AI সিস্টেমগুলি নিশ্চিত ফলাফল তৈরি করে, যা অন্যান্য ডোমেনে AI কে প্রভাবিত করে এমন ত্রুটি এবং হ্যালুসিনেশনের সম্ভাবনা দূর করে।

ভাষা মডেল থেকে সৃজনশীল যুক্তি এবং আনুষ্ঠানিক প্রমাণ সিস্টেম থেকে কঠোর যাচাইয়ের সমন্বয় একটি শক্তিশালী ওয়ার্কফ্লো তৈরি করে যা ইতিমধ্যে উল্লেখযোগ্য গাণিতিক ফলাফল তৈরি করছে।

গণিতের বাইরে প্রভাব

গণিতের AI রূপান্তরের এই ক্ষেত্রের বাইরে বিস্তৃত প্রভাব রয়েছে। গণিত অনুমানতঃ সমস্ত বিজ্ঞান এবং প্রকৌশলের ভিত্তি, এবং গাণিতিক ক্ষমতার উন্নতি শৃঙ্খলা জুড়ে অগ্রগতি ত্বরান্বিত করতে পারে। গাণিতিক যুক্তি করতে পারে এমন AI সিস্টেমগুলি সফ্টওয়্যার যাচাইকরণ, ক্রিপ্টোগ্রাফি এবং বৈজ্ঞানিক মডেলিংয়ের মতো কাজগুলিও উন্নত করতে পারে।

এই উন্নয়নগুলি বুদ্ধিমত্তা এবং সৃজনশীলতার প্রকৃতি সম্পর্কে মৌলিক প্রশ্নও উত্থাপন করে। গণিত দীর্ঘ মানব বুদ্ধিবৃত্তিক ক্ষমতার সর্বোচ্চ প্রকাশনা হিসাবে বিবেচিত হয়েছে। যদি AI মানুষের গাণিতিক ক্ষমতার সাথে মিলিয়ে বা অতিক্রম করতে পারে তবে এটি মানুষের জ্ঞানকে কী করে তোলে তার বিষয়ে অনুমানগুলিকে চ্যালেঞ্জ করে এবং গণনা এবং বোঝার মধ্যে সম্পর্ক পুনর্বিবেচনা করতে বাধ্য করে।

এর পরবর্তী কী আসে

অগ্রগতির গতি পরামর্শ দেয় যে AI এর গাণিতিক ক্ষমতা দ্রুত প্রসারিত হতে থাকবে। আগামী কয়েক বছরের মধ্যে, AI সিস্টেমগুলি গণিতে কিছু প্রধান খোলা সমস্যা মোকাবেলা করতে সক্ষম হতে পারে, সম্ভাব্যভাবে Clay Mathematics Institute এর Millennium Prize তালিকা থেকে সমস্যা সহ। এই ধরনের অর্জনগুলি উদযাপিত হবে বা বিলাপ করা হবে কিনা তা সম্ভবত একজনের দৃষ্টিভঙ্গির উপর নির্ভর করে, তবে যাইহোক, AI দ্বারা গণিত রূপান্তর অপরিবর্তনীয় বলে মনে হয় এবং ত্বরান্বিত হচ্ছে।

এই নিবন্ধটি New Scientist দ্বারা প্রতিবেদনের উপর ভিত্তি করে। মূল নিবন্ধটি পড়ুন