اليكم الان Claude يصوغ مبرهنة فيرما والان إلى التفاصيل من المصدر جريدة الوطن السعودية
أعلنت شركة «Anthropic» أن نموذج الذكاء الاصطناعي «Claude» تمكن، بصورة شبه مستقلة، من صياغة مبرهنة فيرما الكبرى «Fermat’s Last Theorem» في صورة شيفرة برمجية خلال 11 يومًا فقط. وبحسب موقع «Naukatv.ru»، نتج عن العملية نحو 13 مليون سطر بلغة «Lean»، إضافة إلى 29.5 ألف مبرهنة وسيطة، في حجم يعادل نحو خمسة أضعاف مكتبة الرياضيات الرسمية «Mathlib». وتعود المبرهنة إلى عالم الرياضيات الفرنسي بيير دي فيرما في القرن السابع عشر، وظل إثباتها مستعصيًا أكثر من ثلاثة قرون، حتى أثبتها البريطاني أندرو وايلز عام 1995 بعد سنوات من العمل.ولا يعني إنجاز «Claude» اكتشاف برهان جديد، بل تحويل البرهان الرياضي إلى صيغة رسمية قابلة للتحقق حاسوبيًا خطوة بخطوة. وقُسمت المهمة بين وكلاء ذكاء اصطناعي تلقوا توجيهات عامة، بمساعدة أداة «Prove2Me» لتنسيق العمل. ويرى باحثون أن نجاح التجربة، إذا أمكن تكراره بموثوقية، قد يسرع تحويل النظريات الرياضية إلى صيغ رقمية قابلة للتحقق الآلي، ويساعد في اكتشاف الأخطاء والثغرات داخل البراهين المعقدة.
claude يصوغ مبرهنة فيرما
المزيد من التفاصيل - اضغط هنا
جريدة الوطن السعودية claude يصوغ مبرهنة فيرما
كانت هذه تفاصيل Claude يصوغ مبرهنة فيرما نرجوا بأن نكون قد وفقنا بإعطائك التفاصيل والمعلومات الكامله .
وننوه بأن الموضوع الأصلي قد تم نشرة ومتواجد على جريدة الوطن السعودية و قام فريق العمل في برسبي نيوز بالتاكد منه او ربما تم التعديل علية او قد يكون تم نقله بالكامل اوالاقتباس ويمكنك قراءة الموضوع من مصدره الاساسي.