لأكثر من 150 عامًا، كانت فرضية ريمان هي المعادل الرياضي لتلك الأحجية التي تظل تنوي حلها لكنك لا تجد الوقت الكافي لها - باستثناء أن الرهان هنا هو جائزة مليون دولار ومجد أبدي، وليس مجرد تفاخر في حفلة عشاء. الفرضية، التي تتعلق بتوزيع الأعداد الأولية، لا تزال غير مثبتة، ومليون دولار لا يزال هناك، دون مطالبة، مثل جائزة لا يمكن لأحد الوصول إليها.

تدخل أنثروبيك، بنموذج ذكاء اصطناعي غير مُصدر، والذي وفقًا لإعلان يوم الاثنين، تمكن من إحراز تقدم كبير في المسألة. تحديدًا، زاد من الحد الأدنى للحلول التي تنطبق عليها الفرضية. ليس إثباتًا كاملاً، انتبه - لكن مهلاً، روما لم تُبنَ في يوم واحد، ولا مشكلة رياضية عمرها ألف عام.

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

الحاشية السفلية للورقة تبدو وكأنها تمرين بناء فريق في شركة: من بين 60 وكيلًا فرعيًا، طور اثنان الأفكار الرياضية الرئيسية، وساهم 13 في تلك الأفكار، و30 حاولوا وفشلوا في ابتكار أفكار جديدة، و13 عملوا كمدققين، وآخر اثنان ساعدوا في كتابة الورقة الأولية. إنه مثل قسم رياضيات حيث لكل شخص دور، حتى لو كان هذا الدور هو فقط التحقق من العمل ومحاولة عدم كسر أي شيء.

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

أثار كل هذا التقدم حماسًا وقلقًا في المجتمع الرياضي. في يونيو، وقعت مجموعة من علماء الرياضيات البارزين على إعلان يعربون فيه عن قلقهم من أن الذكاء الاصطناعي قد يقوض القيم الأساسية للمجال - وتحديدًا، التوقع بأن تُنسب البراهين إلى مؤلفين محددين يتحملون المسؤولية والائتمان. لأنه على ما يبدو، فكرة برهان لا يوجد من يلام عندما يكون خاطئًا هي أكثر من اللازم.

لكن ليس الجميع متمسكين بلآلئهم. حائز ميدالية فيلدز تيموثي جاورز، في منشور مدونة ردًا على الإعلان، تأمل في أن العالم حيث النظريات غير مرتبطة بعلماء الرياضيات قد لا يكون أكثر إشكالية من حقيقة أن النجوم ليست مسماة بأسماء علماء الفلك. لمسة، د. جاورز. لمسة. لذا بينما تظل فرضية ريمان غير محلولة، على الأقل لدينا الفكرة المريحة أنه إذا تمكن الذكاء الاصطناعي من حلها يومًا ما، فلن نضطر إلى معرفة من نهنئ - يمكننا فقط أن نشكر الوكلاء الستين الفرعيين، و31 مليون رمز، ونعتبر الأمر منتهيًا.