এআই এখন সস্তায় গাণিতিক প্রমাণ লিখতে পারে, বলছেন গবেষকরা
গবেষকরা AutoIP নামের একটি লাইব্রেরির কথা বলছেন, যেটি Lean প্রুফ চেকারের জন্য তৈরি এবং ইনভার্স প্রবলেম সমাধানে ব্যবহৃত ক্লাসিক গাণিতিক পদ্ধতিগুলো আনুষ্ঠানিকভাবে যাচাই করে। তাঁরা এই প্রমাণ লিখতে এআই ব্যবহারের সুযোগ ও সমস্যা নিয়েও আলোচনা করেছেন, কারণ এখন এটি অনেক সস্তা হয়ে গেছে।
সহজ শব্দকোষarXiv, Lean, inverse problems
- arXiv
- কর্নেল বিশ্ববিদ্যালয়ের চালানো একটি অনলাইন গবেষণা সংরক্ষণাগার, যেখানে বিজ্ঞানীরা আনুষ্ঠানিক পিয়ার রিভিউয়ের আগে তাঁদের গবেষণাপত্র ভাগ করে নেন।
- Lean
- একটি প্রোগ্রামিং ভাষা ও প্রুফ চেকার, যা গাণিতিক প্রমাণের প্রতিটি ধাপ একেবারে মৌলিক অনুমান পর্যন্ত যাচাই করে।
- inverse problems
- এমন সমস্যা, যেখানে মাপা ফলাফল থেকে উল্টো দিকে কাজ করে পেছনের লুকানো কারণ খুঁজে বের করতে হয়।
বার্নিং পটেটো স্কোর: 70%