এআই শুধু একটি বিখ্যাত গাণিতিক প্রমাণে সহায়তা করেনি। এটি প্রমাণটিকে মেশিন-চেকযোগ্য করে তুলেছে। অ্যানথ্রোপিক বলেছেন যে @claudeai 11 দিন ধরে প্রায় সম্পূর্ণভাবে স্বায়ত্তশাসিতভাবে লিয়ানে ফার্মার শেষ থিওরেমের প্রথম সম্পূর্ণ কম্পিউটার-চেকযোগ্য ফর্মালাইজেশন তৈরি করেছে। 13 মিলিয়ন লাইনের ফর্মাল প্রমাণ। চূড়ান্ত ফলাফলে 29,500টি মধ্যবর্তী উপপাদ্য ব্যবহার করা হয়েছে। এই পার্থক্যটি গুরুত্বপূর্ণ। অ্যান্ড্রু উইলস দশকগুলি আগেই ফার্মার শেষ থিওরেম প্রমাণ করেছিলেন। এখানকার বিপ্লবটি হলো, অত্যন্ত জটিল একটি মানব-গণিতের সমষ্টিকে এমনভাবে পরিণত করা, যা একটি কম্পিউটারের দ্বারা শেষ থেকে শুরু পর্যন্ত যাচাইয়ের জন্য সম্ভব। আমি মনে করি, এটি AI-এর বিজ্ঞানের মধ্যে একটি অত্যন্ত গুরুত্বপূর্ণ ভূমিকা নির্দেশ করছে। বিজ্ঞানীকে প্রতিস্থাপন করা নয়। যাচাইয়ের বন্ধনীকে কমানো। যখন AI আরও বেশি গণিত, কোড এবং বৈজ্ঞানিক যুক্তি তৈরি করবে, তখন উত্তরগুলির উৎপাদন কমবে। কিন্তু, এই উত্তরগুলির সঠিকতা প্রমাণ করা, আরও মূল্যবান হয়েউঠতেপারে। AI-এরপরবর্তীসীমানাশুধুবুদ্ধিমত্তা‌হওয়াউচিতনয়। এটি‌হতেপারে‌যাচাইযোগ্য‌বুদ্ধিমত্তা।