تقنية وعالم٥ سبتمبر ٢٠٢٦
أنثروبيك تستخدم كلود لإثبات مبرهنة فيرما الأخيرة
تقول أنثروبيك إن كلود أنجز أول برهان لمبرهنة فيرما الأخيرة خضع للتحقق الكامل بواسطة الحاسوب، وذلك خلال ١١ يومًا. ويأتي الإنجاز عبر تحويل برهان قائم إلى صيغة يستطيع الحاسوب فحصها بالكامل، بينما كان أندرو وايلز قد أثبت المبرهنة عام ١٩٩٥. ويعرض المصدر ذلك بوصفه إنجازًا لكلود، لا برهانًا رياضيًا جديدًا من الصفر.
الحقائق الأساسية
أثبت أندرو وايلز المبرهنة عام ١٩٩٥.
«Andrew Wiles proved the theorem in 1995.»
عرض المصدر ←استغرق إنجاز كلود ١١ يومًا بحسب أنثروبيك.
«Anthropic says Claude completed the first fully computer-checked proof of Fermat’s Last Theorem in 11 days.»
عرض المصدر ←
المصادر
شفت معلومة تحتاج تصحيح؟ بلّغنا ونتحقق ونصحّح — سياسة التصحيح
صحّح هذا الخبر