كلود يرفع الحد الأدنى لفرضية ريمان: من 41.6% إلى 67.2% من الأصفار على الخط الحرج

أعلنت شركة أنثروبيك في 10 أغسطس أن نموذجها البحثي كلود، الذي كُلّف بمهاجمة فرضية ريمان بشكل جاد، تمكن من رفع الحد الأدنى المثبت لنسبة أصفار دالة زيتا الواقعة على الخط الحرج من 41.6% إلى 67.2%، وهي قفزة هائلة مقارنة بالتحسينات التدريجية السابقة التي استمرت لعقود. لم يخترع النموذج رياضيات جديدة؛ بل لاحظ أن النتائج البشرية الموجودة، بما في ذلك الأعمال الأخيرة لكل من بالويوت وغولدستون وسوريا جايا وتيرناج-باتربو، والتي تكيف تقنية مونتغمري لعام 1973 دون افتراض الفرضية، بالإضافة إلى ورقة بحثية لبومبيري عام 2000، يمكن دمجها بطريقة لم يجربها أحد من قبل. المهمة أوكلها جاريد سومنر، موظف في أنثروبيك ليس عالم رياضيات، والذي أرسل في الغالب مطالبات تشجيعية مثل "واصل" و"ثق بنفسك" للتغلب على شكوك النموذج الأولية. في المحاولة الثانية، نسق كلود حوالي 60 وكيلاً فرعيًا على مدى يوم ونصف، ونفذ 2400 أمرًا في الصدفة، وكتب مئات البرامج النصية بلغة بايثون، وأجرى آلاف الفحوصات العددية، باستخدام جلستين من كلود كود و31 مليون رمز إخراج. ثم نظم النموذج عملية التحقق الخاصة به: راجع الوكلاء الفرعيون براهين بعضهم البعض، وبحثوا عن أمثلة مضادة، وأعادوا إثبات النتيجة من الصفر، وحملوا 54 ورقة بحثية من arXiv لضمان الجدة. شملت المراجعة البشرية اثنين من علماء الرياضيات داخل أنثروبيك، هما ليفينت ألوبوجي ورالف فورمان، وخبراء خارجيين هما بريان كونري، الذي صمد رقمه القياسي لعام 1989 لأكثر من 20 عامًا، ودان غولدستون، المشارك في تأليف الأعمال التي اعتمد عليها النموذج، بالإضافة إلى إريك إيزلي الذي قام بإضفاء الطابع الرسمي على البرهان في ليين، مما أدى إلى اجتياز التحقق الآلي. تشير أنثروبيك إلى أن هذه التقنيات من غير المرجح أن تؤدي إلى إثبات كامل لفرضية ريمان، وأن الورقة البحثية لم تخضع لمراجعة مستقلة من مجلة علمية، وأن الرياضيات المعقدة مشتقة من البشر، لكن الحالة تُظهر قدرة الذكاء الاصطناعي على إيجاد روابط غير ملحوظة في الأدبيات الموجودة.