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

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