চীনের ঝেজিয়াং ইউনিভার্সিটি ও সিংহুয়া ইউনিভার্সিটির একদল গবেষক কোয়ান্টাম কম্পিউটার ব্যবহার করে ৪৮ বছরের পুরোনো দুটি জটিল গাণিতিক উপপাদ্য প্রমাণ করার দাবি করেছেন। গবেষণায় ১২১ কিউবিটের সুপারকন্ডাক্টিং কোয়ান্টাম প্রসেসর ব্যবহার করা হয়েছে।

গবেষকদের মতে, এই কাজের বিশেষত্ব শুধু দ্রুত হিসাব করা নয়। বরং কোয়ান্টাম হার্ডওয়্যারের মাধ্যমে জটিল যৌক্তিক যুক্তি ও গাণিতিক প্রমাণ সফলভাবে সম্পন্ন করাই এর বড় দিক।

এর মধ্যে একটি সমস্যায় বর্গক্ষেত্রের কর্ণদ্বয়ের লম্ব অবস্থান প্রমাণ করা হয়েছে। অন্য সমস্যাটি ছিল পরস্পরছেদী ত্রিভুজ ও বৃত্ত সম্পর্কিত একটি জটিল জ্যামিতিক উপপাদ্য।

গবেষকেরা বিভিন্ন গাণিতিক পদ্ধতির সঙ্গে কোয়ান্টাম কম্পিউটিং প্রযুক্তি ব্যবহার করে সমস্যাগুলোর স্বয়ংক্রিয় প্রমাণ বের করেছেন। তাঁদের মতে, এই গবেষণা ভবিষ্যতে স্বয়ংক্রিয় যৌক্তিক যুক্তি ও গাণিতিক সমস্যা সমাধানে কোয়ান্টাম প্রসেসরের সম্ভাবনা তুলে ধরছে।