نموذج استدلالي داخلي من OpenAI دحض حدسية شهيرة تعود إلى عام 1946 لعالم الرياضيات بول إردوش، وهي المرة الأولى التي يحسم فيها الذكاء الاصطناعي مسألة كبرى مفتوحة في الرياضيات.
النقاط الرئيسية:
- نموذج من OpenAI دحض حدسية إردوش الخاصة بوحدة المسافة، المفتوحة منذ 80 عاماً.
- استند البرهان إلى نظرية الأعداد الجبرية واجتاز مراجعة خارجية.
- إنها أول مسألة كبرى مفتوحة تُحلّ ذاتياً بواسطة الذكاء الاصطناعي.
OpenAI تحل حدسية إردوش
أعلنت الشركة announced في 20 مايو أن نموذجها قد أوجد مثالاً مُضاداً لمسألة وحدة المسافة، التي تسأل عن عدد الأزواج بين نقاط عديدة يمكن أن تكون متباعدة بمقدار وحدة واحدة تماماً. لعدة عقود، اعتبر الباحثون أن شبكة مربعة قريبة من أفضل توزيع ممكن. اللغز يسهل طرحه، لكنه صمد أمام ثمانين عاماً من محاولات أبرز الرياضيين.
سلك النموذج طريقاً آخر، فبنى نمطاً أكثر تعقيداً drew على نظرية الأعداد الجبرية ليحقق عدداً أكبر من أزواج وحدة المسافة مما تسمح به الشبكة، وهي بنية لم يلاحقها أي إنسان بجدية من قبل.
قام فريق من الخبراء الخارجيين checked بمراجعة البرهان قبل أن تنشره الشركة على العلن.
قام ويل ساوين من جامعة برينستون لاحقاً refined بتنقيح الحجة. أظهرت نسخته أن عدد أزواج وحدة المسافة ينمو على الأقل بسرعة n مرفوعة للأس 1.014، وهو تفوق حدودي متعدد الحدود على حد الشبكة القديم. أما الحد الأعلى فما يزال قريباً من n مرفوعة للأس 1.333، لذا ما تزال هناك فجوة.
اقرأ أيضاً: Cardano Tops Every Major Chain In Stablecoin Growth, Up 61% In A Week
غوورز يصفها بأنها محطة مفصلية في الرياضيات
وصف تيم غوورز، الحاصل على ميدالية فيلدز، العمل بأنه علامة فارقة، وقال إن أياً من براهين الذكاء الاصطناعي السابقة لم يقترب من مستواه. واعتبر دانيال لِت من جامعة تورنتو أنه أول إنجاز لذكاء اصطناعي يجده مثيراً حقاً في حد ذاته، لا لمجرد كونه إشارة لما قد يأتي مستقبلاً.
شدّد الخبراء على أهمية المسار الذي سلكه البرهان. فقد أمضى معظم الرياضيين سنوات يحاولون إثبات الحدسية بدلاً من كسرها، وقليلون كانوا سيواصلون بناءاً مرهقاً بهذا القدر من دون مؤشر على جدواه. بينما يقيّم الذكاء الاصطناعي هذه المجازفة بطريقة مختلفة، إذ يواصل العمل عبر عدد لا يحصى من الطرق المسدودة حتى يثبت مسار غير محتمل جدواه.
سجل متذبذب لـ OpenAI مع مسائل إردوش
لم يكن هذا الاختراق معزولاً. فبعد أيام، أعلنت غوغل reported أن أحد أنظمتها قد حسم تسع مسائل أصغر من قائمة إردوش، ظلّت اثنتان منها مفتوحتين لأكثر من 50 عاماً.
وقد جاء هذا الطرح الحذر استجابة لتعثر سابق. ففي أكتوبر، claimed ادعت الشركة أن نموذجاً لها حل عشر مسائل من مسائل إردوش، لكن المراجعين أظهروا أنه لم يفعل سوى إعادة اكتشاف حلول قديمة بدلاً من إثبات شيء جديد. دفع ذلك الحادث الشركة هذه المرة إلى اللجوء لمراجعة خارجية قبل الإعلان.
اقرأ التالي: ETH Loses Its Last Floor And Stares Down A Drop Toward $1,800