أعلنت Anthropic مؤخرًا أن نظام Claude AI الخاص بها أكمل بشكل مستقل إثباتًا رسميًا لنظرية فيرما الأخيرة في 11 يومًا، حيث أنشأ حوالي 13 مليون سطر من الكود القابل للتحقق الآلي خطوة بخطوة، وقد تأكد من صحته الخبير الرياضي كيفين بوزارد. تم تنفيذ هذا العمل من خلال عشرات الوكلاء من Claude يعملون بالتوازي، باستخدام أدوات التعاون التي طورها فريق بينغ تيان، Prove2Me، لتنسيق المهام عبر قائمة مهام تُحدَّث في الوقت الحقيقي؛ حيث جاء حوالي 7% من السطور من محاولات خاطئة سابقة، واستُخدمت لغة Lean في العملية الترسيمية لتمكين الحاسوب من التحقق من كل خطوة منطقيًا.
xiyuمشاركة
المصدر:عرض النسخة الأصلية
إخلاء المسؤولية: قد تكون المعلومات الواردة في هذه الصفحة قد حصلت عليها من أطراف ثالثة ولا تعكس بالضرورة وجهات نظر أو آراء KuCoin. يُقدّم هذا المحتوى لأغراض إعلامية عامة فقط ، دون أي تمثيل أو ضمان من أي نوع ، ولا يجوز تفسيره على أنه مشورة مالية أو استثمارية. لن تكون KuCoin مسؤولة عن أي أخطاء أو سهو ، أو عن أي نتائج ناتجة عن استخدام هذه المعلومات.
يمكن أن تكون الاستثمارات في الأصول الرقمية محفوفة بالمخاطر. يرجى تقييم مخاطر المنتج بعناية وتحملك للمخاطر بناء على ظروفك المالية الخاصة. لمزيد من المعلومات، يرجى الرجوع إلى شروط الاستخدام واخلاء المسؤولية.