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