مؤسس Cardano (ADA) Hoskinson يعلّق على ادعاء OpenAI بحل معادلة نافييه–ستوكس خلال 88 ساعة

Hoskinson: قفزة الذكاء الاصطناعي في الرياضيات فاقت التوقعات

قال Cardano (ADA) مؤسس تشارلز Hoskinson في 9 سبتمبر إن الذكاء الاصطناعي تقدم في مجال الرياضيات الصورية إلى حدّ أبعد مما توقّع علنًا في أي وقت مضى، مشيرًا إلى أن هذا التقدم تجاوز بوضوح افتراضاته السابقة حول الكيفية التي ستُستخدم بها هذه الأنظمة. جاءت تصريحاته خلال بث مباشر على YouTube خصصه لتقييم ادعاء OpenAI بأن نظامًا داخليًا توصّل إلى حل لمسألة جائزة الألفية المتعلقة بمعادلات نافييه–ستوكس، وهي واحدة من أشهر المسائل المفتوحة في الرياضيات على الإطلاق. وصف Hoskinson القدرات المعروضة بأنها "مذهلة إلى حد كبير"، لكنه أكد أن رؤيته الأصلية للأنظمة الصورية كانت أكثر تواضعًا بكثير: كان يتوقع أن تتيح هذه الأنظمة لفرق أكبر من علماء الرياضيات التعاون والتحقق من البراهين التي يكتبها البشر، لا أن تُولّد براهين كاملة من تلقاء نفسها. قال: "لم نتوقع قطّ المدى الذي سيدخله الذكاء الاصطناعي إلى هذا المجال"، مضيفًا أن فكرة قيام الذكاء الاصطناعي بكتابة برهان كامل كانت تبدو في السابق "بعيدة المنال تمامًا". وللمؤسس مصلحة مباشرة في هذا المجال؛ ففي عام 2021 تبرع بمبلغ 20 مليون دولار لجامعة Carnegie Mellon لتأسيس مركز Hoskinson للرياضيات الصورية. وتأتي تعليقاته امتدادًا لخط أوسع من التجارب عبر منظومة Cardano ، تشمل أعمال وكلاء الذكاء الاصطناعي في مجال الاتصالات وسلسلة Midnight الجانبية المتخصصة في الخصوصية.

محاولة إثبات بواسطة 10,000 وكيل ذكاء اصطناعي

وصل الادعاء الذي شكّل محور النقاش عبر إعلان OpenAI البحثي في 8 سبتمبر. أفادت الشركة بأن نموذجًا داخليًا نسّق نحو 10,000 وكيل وأنتج حلاً مقترحًا بعد 88 ساعة من العمل الإجمالي، ثم أنفق نظام عُرّف باسم GPT-6 Astra ساعات إضافية بلغت 17 ساعة لصياغة الحجة والتحقق منها في Lean، وهو مساعد إثبات يوفر تحققًا آليًا قابلًا للفحص لكل خطوة. يحاول البرهان إثبات أن سائلًا سلسًا وساكنًا في البداية يمكن أن يتطور لديه تفرد في زمن محدود تحت قوة خارجية سلسة، وهو ما تقول OpenAI إنه يستوفي البندين C وD من الصياغة الرسمية لمسألة جائزة الألفية. ومن الجدير بالملاحظة أن الشركة أعلنت أنها لا تنوي السعي للحصول على الجائزة المرافقة البالغة 1 مليون دولار. أما الاعتراف بالحل فليس فوريًا أيضًا: فبموجب قواعد معهد Clay للرياضيات، يجب أن يُنشر الحل في مطبوعة مؤهلة، ثم أن يصمد لمدة سنتين على الأقل ويحوز قبولًا واسعًا من مجتمع الرياضيات العالمي قبل إعلان المسألة محلولة. ولا يزال موقع Clay يصنف مسألة نافييه–ستوكس ضمن المسائل غير المحلولة، ما يعني أن نتيجة OpenAI تظل حلاً مدّعى لا حلًا معترفًا به.

نزاع حول مصدر الإثبات وتحذير يتعلق بالخصوصية

أثار الإعلان أيضًا نزاعًا حول مصدر العمل، تشمل عالِم الرياضيات في جامعة نيويورك Tristan Buckmaster والباحث في Anthropic Levent Alpöge، اللذين كانا يعملان على نتيجة متعلقة بمعادلات أويلر باستخدام منهج قوى خارجية مشابه. شكك Buckmaster فيما إذا كانت أعمال خاصة أدخلت في نظام OpenAI Codex قد غذّت نتيجة الشركة، لكنه توقف عند حدّ التلميح دون اتهام سوء سلوك، قائلًا: "لا أعرف ما إذا كانت بياناتنا قد استُخدمت". ونفت OpenAI الوصول إلى أعمالهما المحددة وأصرّت على أن البرهان طُوّر بشكل مستقل، مع إقرارها بعدم قدرتها على استبعاد كليّا إسهام بيانات استخدام المنتج مجهولة الهوية في تحسين نماذجها. وقدّم Hoskinson الحادثة كتحذير لكل من يتعامل مع أبحاث غير منشورة: فالعلماء وروّاد الأعمال الذين يلقون ملاحظاتهم وأوامرهم وسجلاتهم البحثية في خدمات الذكاء الاصطناعي السحابية المركزية قد يفقدون السيطرة على أفكارهم بالكامل. وجادل بأنه ينبغي تمكين الباحثين من استخدام نماذج قوية داخل بيئات خاصة دون كشف الملكية الفكرية السرية لمزودين مركزيين: "أفكارك، إن شاركتها في الذكاء الاصطناعي مع هذه النماذج الحدودية في السحابة، فلن تكون أفكارك بعد الآن". يمكن للقراء الراغبين في متابعة السوق لحظيًا الاطلاع على أسعار السبوت والعقود الآجلة مباشرة عبر Bybit.

التحقق الصوري يلتقي تقنية البلوكتشين

قراءتنا للسجل الكامل — إعلان OpenAI التقني وقواعد الاعتراف المنشورة من معهد Clay للرياضيات — هي أن القصة أقل انشغالًا بمسألة محلولة، وأكثر تداولًا لثقافة تحقق تصطدم بثقافة سرعة. فعالم إثبات الحصة الذي بنت Cardano سمعته عليه يقوم على الانضباط ذاته الذي يجسده توثيق Lean: الادعاءات لا تُحتسب إلا بعد تأكيد مستقل قابل للفحص آليًا. وحتى ينهي المتخصصون مراجعة الورقة ويستكمل نافذة القبول متعددة السنوات لدى Clay، يبقى النتيجة مدّعاة — لكن الحادثة تثبت صحة أطروحة الأساليب الصورية التي يمولها Hoskinson منذ عام 2021. وبالنسبة لمؤسس يعيد التفكير علنًا في بنية الذكاء الاصطناعي التحتية ، قد يكون بُعد الخصوصية هو الخلاصة الأكثر ديمومة.