كلود يتقدم في مسألة رياضية عمرها 167 عامًا: 31 مليون توكن، و60 وكيلًا، وقفزة من 41.6% إلى 67.2%

أحرز نموذج كلود من أنثروبيك تقدماً كبيراً في حل مسألة رياضية عمرها 167 عاماً كانت عالقة دون حل. المسألة، التي طُرحت عام 1859، تنتمي إلى نظرية الأعداد التحليلية وتتعلق بطبيعة الأعداد الأولية. قفز أداء كلود في هذه المسألة من 41.6% إلى 67.2% بعد تطبيق نظام تدريب جديد. استهلك النموذج 31 مليون رمز، أي ما يعادل حوالي 25.6 مليون كلمة، وخلال هذه العملية، ولّد 650 غيغابايت من البيانات. لمعالجة المسألة، استخدم كلود 60 وكيلاً متخصصاً، كل منها يحلل حوالي 2400 ورقة بحثية، بما في ذلك 54 ورقة ذات صلة من موقع arXiv، لضمان سلامة استدلالاته. كان استخدام التعلم المعزز والتحقق من خلال ليين، وهو مساعد إثبات، أمراً حاسماً. تعزو أنثروبيك هذا النجاح إلى هذا المزيج من الحساب واسع النطاق والتحقق الرسمي، مما يمثل علامة فارقة جديدة في الاكتشاف الرياضي بمساعدة الذكاء الاصطناعي.