أعلنت OpenAI يوم 26 أكتوبر أن نماذجها الداخلية توصلت إلى حلول لمسائل ظلت مفتوحة زمنًا طويلًا في ثلاثة مجالات مختلفة. وكان الأكثر إثارة للضجة في علوم الحاسوب دحض الافتراض المعروف بفرضية الزمن الأسي (Exponential Time Hypothesis, ETH).
ماذا حدث؟
بحسب OpenAI فإن النتائج الثلاث هي: في الرياضيات، برهان في كل الأبعاد لتخمين "التمليس المحلي" الذي يحل أيضًا تخمين Kakeya؛ وفي علوم الحاسوب، دحض ETH؛ وفي الفيزياء، برهان رياضي على وجود بعض نظريات المجال الكمي رباعية الأبعاد، ومنها الديناميكا اللونية الكمومية. ونتيجة الفيزياء ذات صلة بمسألة Yang-Mills، إحدى مسائل جائزة الألفية لمعهد Clay.
تقول فرضية ETH التي طُرحت عام 1999 إن حل ألغاز منطقية معينة يطول زمنه أسيًا مع زيادة عدد المتغيرات. وبحسب TechCrunch تزعم OpenAI، ومعها Anthropic التي نشرت دحضها الخاص بعد ساعات قليلة، أن نماذجهما وجدت خوارزميات تحل هذه الألغاز أسرع من المتوقع. وقال Ryan Williams من MIT، الذي استُدعي لتفسير النتيجة، إن في البرهان أجزاءً روتينية إلى جانب عدة أجزاء "غريبة المظهر"، وإن ذلك يتطلب عمل المجتمع العلمي كله معًا. وذكرت OpenAI أنها واثقة بدرجة معقولة من أن النتيجة لا تكسر أنظمة التشفير المعروفة.
سُلك لكل مجال طريق مختلف: وُضع ناتج الرياضيات على GitHub، وشُكّلت لعلوم الحاسوب مجموعة عمل خارجية وستموّل OpenAI مؤتمرًا، أما نشر نتيجة الفيزياء فتُرك للفيزيائيين.
لماذا يهم الأمر؟
إذا تأكدت النتائج، فسيتعين إعادة النظر في كثير من الأوراق العلمية التي استندت إلى ETH خلال العقد الأخير. والسؤال الأكبر يتعلق بالعلم نفسه: حين يبدأ الذكاء الاصطناعي في إنتاج البراهين، قد يصبح دور البشر فهم هذه البراهين والتحقق منها وطرح أسئلة جديدة ترفع السقف.