نموذج أنثروبيك غير مُصدر يُحرز تقدمًا في فرضية ريمان

أعلنت شركة أنثروبيك أن نموذجًا لم يُطرح بعد حقق تقدمًا كبيرًا في فرضية ريمان، وهي مسألة شهيرة غير محلولة حول الأعداد الأولية ظلت قائمة منذ أكثر من 150 عامًا. قام أحد موظفي أنثروبيك دون تدريب رياضي كبير بتوجيه النموذج لمحاولة إثبات الفرضية ثم تركه لتنسيق المهمة على مدى يوم ونصف. اختبر النموذج 650 فكرة مختلفة، متناسقًا عبر 60 وكيلًا فرعيًا وأنفق ما مجموعه 31 مليون رمز. طور اثنان من الوكلاء الفرعيين الأفكار الرياضية الرئيسية، بينما ساهم آخرون بأفكار، وحاولوا تطوير أفكار جديدة لكنهم فشلوا، وعملوا كمدققين، أو ساعدوا في كتابة الورقة. أكد اثنان من علماء الرياضيات داخل أنثروبيك النتائج، وتمت صياغة الإثبات رسميًا باستخدام المساعد الرسمي مفتوح المصدر لـ "لين". يأتي هذا ضمن سلسلة من الإنجازات الرياضية للنماذج اللغوية الكبيرة، بما في ذلك حل مشاكل إردوس، ونتائج أخرى من نموذج "أسترا" لمنظمة أوبن إيه آي، ودحض أنثروبيك لفرضية جاكوبيان. أثارت النتائج المتراكمة حماسًا وقلقًا في آن واحد، حيث يشعر بعض علماء الرياضيات بالقلق بشأن الإسناد والمسؤولية عن البراهين، بينما يقترح تيموثي گاورز الحائز على ميدالية فيلدز أن التغيير قد يكون أقل إشكالية مما يبدو.