অ্যানথ্রোপিক সম্প্রতি ঘোষণা করেছে যে তাদের Claude AI 11 দিনে ফার্মার শেষ উপপাদ্যের একটি ফর্মাল প্রমাণ স্বাধীনভাবে সম্পন্ন করেছে, যা প্রায় 1300 মিলিয়ন লাইনের একটি কোড তৈরি করেছে যা প্রতিটি লাইনের জন্য মেশিন-ভিত্তিকভাবে যাচাই করা যায়, এবং এটি গণিতবিদ কেভিন বাজার্ড দ্বারা যাচাইকৃত হয়েছে। এই কাজটি ডজনগুলিরও বেশি Claude এজেন্টগুলির সমান্তরালভাবে প্রগতি ঘটিয়েছে, যা পেন টিয়ানের দল দ্বারা উন্নীত Prove2Me নামক সহযোগিতা টুলসের সহায়তায়, বাস্তবসময়ের টুডু লিস্টের মাধ্যমে কাজের বণ্টনকে সমন্বিত করেছে; প্রমাণটির 7% লাইন পূর্ববর্তীভাবে ভুলপূর্ণ প্রচেষ্টা থেকে এসেছে, এবং ফর্মালাইজেশন প্রক্রিয়াটি Lean ভাষা ব্যবহার করেছে, যা প্রতিটি 논리ধাপকে কম্পিউটার-ভিত্তিকভাবে যাচাইয়ের অনুমতি দেয়।
xiyuশেয়ার
উৎস:আসল দেখান
দাবিত্যাগ: এই পৃষ্ঠার তথ্য তৃতীয় পক্ষের কাছ থেকে প্রাপ্ত হতে পারে এবং অগত্যা KuCoin এর মতামত বা মতামত প্রতিফলিত করে না। এই বিষয়বস্তু শুধুমাত্র সাধারণ তথ্যগত উদ্দেশ্যে প্রদান করা হয়, কোন ধরনের প্রতিনিধিত্ব বা ওয়ারেন্টি ছাড়াই, বা এটিকে আর্থিক বা বিনিয়োগ পরামর্শ হিসাবে বোঝানো হবে না। KuCoin কোনো ত্রুটি বা বাদ পড়ার জন্য বা এই তথ্য ব্যবহারের ফলে যে কোনো ফলাফলের জন্য দায়ী থাকবে না।
ডিজিটাল সম্পদে বিনিয়োগ ঝুঁকিপূর্ণ হতে পারে। আপনার নিজের আর্থিক পরিস্থিতির উপর ভিত্তি করে একটি পণ্যের ঝুঁকি এবং আপনার ঝুঁকি সহনশীলতা সাবধানে মূল্যায়ন করুন। আরও তথ্যের জন্য, অনুগ্রহ করে আমাদের ব্যবহারের শর্তাবলী এবং ঝুঁকি প্রকাশ পড়ুন।