مؤسس كاردانو يزن تقدم الرياضيات في OpenAI

قال مؤسس كاردانو تشارلز هوسكينسون في 9 سبتمبر إن الذكاء الاصطناعي قد تقدم في الرياضيات الرسمية أكثر مما توقعه.

قال هوسكينسون إن التقدم الرياضي للذكاء الاصطناعي تجاوز بكثير توقعاته السابقة بشكل علني.

تقول OpenAI إن حوالي 10,000 وكيل أنتجوا حلاً لمعادلة نافير-ستوكس خلال 88 ساعة من العمل الإجمالي.

لا يزال كلاي يصنف نافير-ستوكس على أنها غير محلولة في انتظار النشر والمراجعة والقبول الرياضي الواسع على مستوى العالم اليوم.

أثار هوسكينسون مخاوف تتعلق بالسرية للباحثين الذين يدخلون أعمالًا غير منشورة في أنظمة الذكاء الاصطناعي السحابية المركزية عبر الإنترنت.

نفت OpenAI الوصول إلى الأعمال الخاصة ولكن لم تستطع استبعاد بيانات الاستخدام غير المعروفة التي تؤثر على تحسينات النموذج.

جاءت تعليقاته بعد ادعاء OpenAI بأن نظامًا داخليًا أنتج حلاً لمشكلة جائزة الألفية لمعادلة نافير-ستوكس.

خلال بث مباشر، وصف هوسكينسون القدرات المبلغ عنها بأنها "رائعة للغاية". ومع ذلك، تناول أيضًا الأسئلة غير المحلولة حول أصل العمل وخصوصية الأبحاث المقدمة إلى خدمات الذكاء الاصطناعي السحابية.

قال هوسكينسون إنه كان يتوقع في الأصل أن تساعد الأنظمة الرسمية فرقًا أكبر من الرياضيين في التعاون والتحقق من الإثباتات المكتوبة بواسطة البشر. لم يتوقع أن تولد النماذج اللغوية الكبيرة إثباتات كاملة بنفسها في وقت قريب.

"لم نتوقع أبدًا مدى دخول الذكاء الاصطناعي"، قال هوسكينسون. وأضاف أن فكرة أن يكتب الذكاء الاصطناعي إثباتًا بالكامل قد بدت سابقًا "بعيدة جدًا".

لدى هوسكينسون صلة مباشرة بأبحاث الرياضيات الرسمية. في عام 2021، تبرع بمبلغ 20 مليون دولار لجامعة كارنيجي ميلون لإنشاء مركز هوسكينسون للرياضيات الرسمية، وفقًا لإعلان الجامعة.

تتناسب تعليقاته الأخيرة أيضًا مع تجارب كاردانو الأوسع مع الذكاء الاصطناعي. كما أفادت crypto.news سابقًا، دافع هوسكينسون عن تجارب وكيل كاردانو التي تتعلق بالاتصالات والنشاط المجتمعي ونظام Midnight الذي يركز على الخصوصية.

نشرت OpenAI أبحاثها في 8 سبتمبر. قالت الشركة إن نموذجًا داخليًا نسق حوالي 10,000 وكيل وأنتج حلاً مقترحًا بعد 88 ساعة. ثم قضى GPT-6 Astra 17 ساعة أخرى في صياغة والتحقق من الحجة في Lean.

تحاول الإثبات إثبات أن سائلًا أوليًا سلسًا وثابتًا يمكن أن يطور تفردًا في وقت محدود عندما يتعرض لقوة خارجية سلسة. قالت OpenAI إن هذا يفي بالبيانات C و D في صياغة جائزة الألفية الرسمية.

كما أصدرت الشركة ورقة تحليلية ورمز Lean. يوفر التشكيل Lean تحققًا يمكن التحقق منه آليًا بأن الخطوات المشفرة تتبع الافتراضات المعلنة. لا يثبت بشكل مستقل أن كل تعريف وافتراض يمثل بدقة المشكلة الرياضية المقصودة.

قالت OpenAI إنها لا تخطط للسعي للحصول على الجائزة المرتبطة بقيمة مليون دولار. ومع ذلك، وصفت الشركة عملها بأنه حل للمشكلة.

لا يزال معهد كلاي للرياضيات يصنف مشكلة نافير-ستوكس على أنها "غير محلولة". لم يكن موقعه قد اعترف بإثبات OpenAI المقترح كحل مقبول في وقت الإبلاغ.

لا يقبل كلاي الحلول المقترحة من خلال التقديم المباشر. بموجب قواعده، يجب أن يظهر الحل في منشور مؤهل. يجب أن تمر سنتان على الأقل، ويجب أن يحصل العمل على قبول عام من المجتمع الرياضي العالمي.

يعني هذا العملية أن إعلان OpenAI والإثبات الرسمي لا يشكلان اعترافًا مؤسسيًا فوريًا. يجب على الرياضيين فحص ما إذا كانت البنية تلبي بيان المشكلة الدقيق وما إذا كانت استخدام القوة الخارجية يجيب على السؤال كما هو مفهوم بشكل شائع.

كما أثار الإعلان تدقيقًا يتعلق بعالم الرياضيات في جامعة نيويورك تريستان باك ماستر وباحث أنثروبيك ليفنت ألبوج. كان الباحثون يعملون على نتيجة معادلة أويلر ذات صلة باستخدام نهج القوة.

تساءل باك ماستر عما إذا كانت الأعمال الخاصة التي دخلت في نظام Codex الخاص بـ OpenAI قد ساهمت في نتيجة الشركة. لكنه لم يتهم بسوء السلوك المثبت، قائلاً: "لا أعرف ما إذا كانت بياناتنا قد استخدمت".

نفت OpenAI الوصول إلى عملهم المحدد. ومع ذلك، قالت الشركة إنها لا تستطيع استبعاد إمكانية أن البيانات غير المعروفة من استخدام منتجهم قد ساعدت في تحسين نماذجها. وأصرت OpenAI على أن إثباتها تم تطويره بشكل مستقل ويختلف عن عمل الباحثين.

جادل هوسكينسون بأن النزاع يجب أن يهتم بالباحثين الذين يتعاملون مع أفكار غير منشورة. وقال إن العلماء الذين يستخدمون خدمات الذكاء الاصطناعي المركزية يجب أن يفكروا في ما إذا كانت المطالبات والملاحظات وسجلات الأبحاث تظل سرية.

ستتضمن المرحلة التالية فحصًا عامًا لورقة OpenAI وتشكيل Lean. حتى يقوم المتخصصون بمراجعة الافتراضات وتلبية الشروط الرسمية لكلاي، يبقى العمل حلاً مزعومًا بدلاً من حل معترف به.

يُقدَّم هذا المحتوى لأغراض معلوماتية عامة فقط، ولا يُشكل مشورة مالية أو استثمارية أو قانونية أو ضريبية. ولا ينبغي اعتبار أي فعاليات أو مكافآت أو عروض ترويجية عبر الإنترنت أو أي معلومات ذات صلة واردة فيه توصيةً أو طلبًا أو دعوةً لشراء الأصول المشفرة أو بيعها أو تداولها أو إجراء أي معاملات أخرى عليها. تتميز الأصول المشفرة بتقلبات سعرية مرتفعة وقد تؤدي إلى خسائر. وقد يختلف مدى توفر خدمات WEEX ومنتجاتها والفعاليات المرتبطة بها حسب المنطقة. وتقع على عاتقك مسؤولية التأكد من أن مشاركتك تتوافق مع القوانين واللوائح المحلية المعمول بها.