مصدر المقال: الكيوبتات
* مصدر الصورة: تم إنشاؤه بواسطة الذكاء الاصطناعي غير محدود *
أولمبياد المنظمة البحرية الدولية للرياضيات الذي تم إنشاؤه خصيصا الذكاء الاصطناعي موجود هنا -
هذا مبلغ ضخم قدره 10 ملايين دولار!
تدعي المنافسة أنها “** نيابة عن اختبار تورينج الجديد **” ، كيف تقارن؟
PK وجها لوجه مع أذكى عباقرة الرياضيات في البشرية والفوز بالميدالية الذهبية من نفس المعيار.
لا تقلل من شأن هذا الحدث ، حتى سيد الرياضيات ** Tao Zhexuan ** موجود هنا ، ويوصي به على الموقع الرسمي:
توفر هذه المسابقة معيارا لتحديد استراتيجيات حل المشكلات في الذكاء الاصطناعي ، وهو بالضبط ما نحتاجه الآن.
بمجرد ظهور الأخبار ، كان مستخدمو الإنترنت متحمسين للغاية.
كما قال رئيس المنظمة البحرية الدولية: أي نموذج يمكن أن ينافس ألمع موجة من الشباب في العالم؟
ما يسمى “تحت المكافأة ، يجب أن يكون هناك رجل شجاع” ، الذكاء الاصطناعي بطريقه الخاص مثير حقا.
**الذكاء الاصطناعي تشارك في المنظمة البحرية الدولية بحد أقصى 5 ملايين دولار **
اختصار هذه المسابقة هو الذكاء الاصطناعي-MO.
هدفها الأصلي هو تعزيز قدرة التفكير الرياضي لنماذج اللغة الكبيرة وتشجيع تطوير نماذج الذكاء الاصطناعي جديدة يمكن أن تتطابق مع أعلى مستوى من الرياضيات البشرية (مسابقة IMO).
لماذا تختار المنظمة البحرية الدولية كمعيار؟
تنقسم موضوعات المنظمة البحرية الدولية عموما إلى أربع فئات: الجبر والهندسة ونظرية الأعداد والتوافقيات ، والتي لا تتطلب معرفة رياضية متقدمة ، ولكنها تتطلب من المشاركين أن يكون لديهم الطريقة الصحيحة للتفكير ومحو الأمية الرياضية.
تشير الإحصاءات إلى أن الحائزين على الميداليات الذهبية هم أكثر عرضة للفوز بميدالية فيلدز 50 مرة من متوسط خريج الدكتوراه في كامبريدج.
بالإضافة إلى ذلك ، تنافس نصف الفائزين بميدالية فيلدز في مسابقات المنظمة البحرية الدولية.
بناء على هذه المسابقة ، سيتم افتتاح مسابقة الذكاء الاصطناعي-MO المخصصة الذكاء الاصطناعي في أوائل عام 2024.
تتطلب اللجنة المنظمة أن تقوم نماذج الذكاء الاصطناعي المشاركة بمعالجة الأسئلة بنفس تنسيق المتسابقين البشريين ، ويجب أن تولد إجابات نهائية يمكن للإنسان قراءتها ، والتي سيتم تسجيلها بعد ذلك من قبل لجنة من الخبراء باستخدام معايير المنظمة البحرية الدولية.
سيتم الإعلان عن النتائج في مؤتمر المنظمة البحرية الدولية ال 65 في باث ، المملكة المتحدة ، في يوليو من العام المقبل.
في النهاية ، سيحصل الذكاء الاصطناعي الذي يصل إلى المستوى الذهبي على جائزة كبرى قدرها 5 ملايين دولار.
ستشارك النماذج الذكاء الاصطناعي المتبقية التي “حققت معالم رئيسية” جوائز التقدم المتبقية ، بمبلغ إجمالي قدره 5 ملايين دولار.
تجدر الإشارة إلى أنه لكي تكون مؤهلا للحصول على الجائزة ، يجب على المشاركين الامتثال لاتفاقية المشاركة العامة الذكاء الاصطناعي-MO ، أي أن النموذج الفائز يجب أن يكون مفتوح المصدر.
أما بالنسبة للقواعد المحددة ، فلا تزال اللجنة المنظمة تتداول ، ويقوم المسؤول حاليا بتعيين أعضاء المجلس الاستشاري (خاصة علماء الرياضيات وخبراء الذكاء الاصطناعي والتعلم الآلي) والمدير لقيادة المسابقة ، وكلها مدفوعة الأجر ويمكن أن تكون بعيدة تماما ، وليس من المعروف أي الشخصيات البارزة سينضم.
ومع ذلك ، تجدر الإشارة إلى أن الذكاء الاصطناعي-MO ليست منافسة رسمية بدأتها المنظمة البحرية الدولية.
الراعي الحقيقي هو XTX Markets ، وهي مؤسسة مالية غير مصرفية مقرها لندن تشارك في التداول الكمي للتعلم الآلي.
إذا لم يكن هناك شيء آخر ، فإن XTX Markets تركز على البطل.
كما أنشأت منحة دراسية مع جامعة أكسفورد العام الماضي لتشجيع الطالبات على دراسة الرياضيات.
أما بالنسبة للمنافسة نفسها، فقد بدأ بعض مستخدمي الإنترنت أيضا موجة من التكهنات: أي نموذج الذكاء الاصطناعي هو الأكثر واعدة؟
كان GPT-4 مع المكون الإضافي Wolfram أول من تم إخراجه ، ولكنه كان أيضا أول من تم سكب الماء البارد.
ومع ذلك ، لا يزال OpenAI وراءه مفضلا (على الرغم من أن شركات التكنولوجيا الكبرى ليست الجمهور المستهدف للمنافسة).
أكد بعض مستخدمي الإنترنت المتشائمين مباشرة:
إنه أمر رائع ، لكن لا ينبغي لأحد أن يكون قادرا على القيام بذلك في غضون خمس سنوات.
في الوقت نفسه ، يقال أيضا أن:
ليس من الصعب تدريب مثل هذا النموذج ، ولكن من الصعب الحصول على البيانات ومعالجتها ، بعد كل شيء ، لا تتضمن هذه المشكلات النص فحسب ، بل تشمل أيضا العديد من الصور والرموز ذات المعاني المعقدة.
سيتم الكشف عن كل شيء في عام 2024.
تجدر الإشارة إلى أن الذكاء الاصطناعي-MO ليست أول الذكاء الاصطناعي تتحدى المنظمة البحرية الدولية.
في عام 2019 ، أطلق العديد من الباحثين من جامعات ومؤسسات مثل OpenAI و Microsoft وجامعة ستانفورد و Google بالفعل مسابقة تسمى تحدي المنظمة البحرية الدولية الكبير.
لم ينجح أحد في التحدي من قبل
التحدي الكبير للمنظمة البحرية الدولية هو أيضا مسابقة تم إنشاؤها للعثور على الذكاء الاصطناعي يمكنه الفوز بالميدالية الذهبية للمنظمة البحرية الدولية.
دعونا نلقي نظرة على 5 قواعد الذكاء الاصطناعي في لعبة الرياضيات هذه:
حول التنسيق. من أجل ضمان دقة عملية الإثبات وإمكانية التحقق منها ، يجب أن يتم كل من المشكلة والإثبات بطريقة رسمية (يمكن التحقق منها آليا).
بمعنى آخر ، سيتم تحويل مشكلة IMO إلى تعبير يعتمد على لغة البرمجة Lean وإدخال الذكاء الاصطناعي من خلال أداة إثبات نظرية Lean ، وسيحتاج الذكاء الاصطناعي أيضا إلى كتابة الدليل بلغة البرمجة Lean.
حول ** النتيجة **. سيتم الحكم على كل سؤال إثبات في الذكاء الاصطناعي على أنه صحيح أو خاطئ في غضون 10 دقائق ، لأن هذا هو الوقت المناسب أيضا لحكم المنظمة البحرية الدولية للتسجيل. على عكس البشر ، لا يوجد شيء اسمه “درجة جزئية” ل الذكاء الاصطناعي.
حول الموارد. مثل البشر ، يحتاج الذكاء الاصطناعي إلى حل 3 مشاكل في 4.5 ساعة في اليوم (ما مجموعه 2 أيام) ، وليس هناك حد لموارد الحوسبة.
حول التكاثر. يجب أن يكون الذكاء الاصطناعي مفتوح المصدر ، ويجب أن يكون النموذج متاحا للجمهور وقابلا للتكرار بحلول نهاية اليوم الأول من المنظمة البحرية الدولية. يتطلب عدم إمكانية اتصال الذكاء الاصطناعي بالإنترنت.
حول التحدي نفسه. التحدي الأكبر هو الحصول على الذكاء الاصطناعي للفوز بالذهب 🏅 مثل البشر.
بدأت المسابقة من قبل 7 الذكاء الاصطناعي باحث وعالم رياضيات:
دانيال سيلسام من OpenAI ، وليوناردو دي مورا من Microsoft ، وكيفن بوزارد من إمبريال كوليدج ، وريد بارتون من جامعة بيتسبرغ ، وبيرسي ليانغ من جامعة ستانفورد ، وسارة لوس من Google الذكاء الاصطناعي ، وفريك ويديجك من جامعة رادبود.
الآن ، بعد أربع سنوات ، حظيت باهتمام بعض المتسابقين.
ومع ذلك ، على الرغم من أن العديد من الباحثين في الذكاء الاصطناعي والرياضيات حاولوا تحدي هذا المجال ، أو هدف صغير في هذا المجال ، إلا أنهم ما زالوا بعيدين عن الهدف النهائي المتمثل في الفوز ببطولة IMO.
كان هناك اقتراح بأنه يجب أن يكون هناك “وضع بسيط” لهذه اللعبة:
على سبيل المثال ، حاول الباحث Xi Wang استخدام العديد من أدوات حل SMT الحالية للقيام بأسئلة حقيقية من المنظمة البحرية الدولية ، لكن النتائج متواضعة.
في ذلك الوقت ، تمكنت الذكاء الاصطناعي الحالية من إثبات بعض مشاكل IMO الأقل صعوبة ، مثل نظرية نابليون ، التي تنص على أنه إذا تم استخدام أضلاع أي مثلث كأضلاع لعمل مثلث منتظم للخارج ، فيجب أن يشكل خطها المركزي مثلثا منتظما.
ومع ذلك ، عندما يتعلق الأمر بإثبات بعض المشكلات الحقيقية الأخرى ، مثل مشكلة الهندسة IMO 2019 ، لم يتمكن المحللون الحاليون من القيام بذلك ، أو كان نصف ساعة إضافية.
على سبيل المثال ، درس باحثو OpenAI (الذين كانوا لا يزالون في Microsoft في ذلك الوقت) Dan Selsam و Jesse Michael Han أيضا لفترة من الوقت حول “الذكاء الاصطناعي لحل مشاكل هندسة IMO” ولخصوا مدونة.
تشرح هذه المدونة كيف توصلوا إلى حل هندسي وخطوات تصميمه ، بما في ذلك:
التمثيلات الهندسية ، وحل القيود ، واختيار الخوارزمية ، وبنية الحل ، والتحديات والحلول.
تمثل التمثيلات الهندسية ، على سبيل المثال ، مشاكل هندسية بتنسيق يمكن لأجهزة الكمبيوتر فهمه ومعالجته ، والعكس صحيح ، بما في ذلك استخدام أدوات الحل الهندسي لتحويل لغات البرمجة تلقائيا إلى رسوم بيانية يسهل على البشر قراءتها:
بالإضافة إلى ذلك ، فإنه يقدم أيضا كيفية اختيار خوارزمية الحل المناسبة وفقا لأنواع مشاكل هندسة IMO المختلفة ، إلخ.
ولكن على الرغم من ذلك ، فإن منشور المدونة لا يقدم حلا محددا ، بل يذكر فقط في النهاية أن “الحل لديه القدرة على تحقيق هدف الفوز بذهب IMO”.
علاوة على ذلك ، فإن مشاكل الهندسة التي يستهدفها المنافسون أعلاه لا تشغل سوى ربع أنواع مشاكل المنظمة البحرية الدولية (جنبا إلى جنب مع الجبر والتوافقيات ونظرية الأعداد) …
على الرغم من أنه تم إطلاقه منذ 4 سنوات ، إلا أنه لا يوجد حتى الآن الذكاء الاصطناعي حقيقي “IMO متعدد المستويات” ، ولكن بصفته منشئ هذه الفكرة ، لا يزال تحدي IMO الكبير يحدث الكثير من الموجات في الصناعة.
يعترف أليكس جيركو بأن التحدي الكبير للمنظمة البحرية الدولية كان أيضا فرصة له لعقد الذكاء الاصطناعي-MO:
حان الوقت لإعطاء “الذكاء الاصطناعي Challenge IMO” القليل من الإثارة بشكل عام!
بالطبع ، جذبت الجائزة المالية لهذا الذكاء الاصطناعي-MO بالفعل انتباه منظمي التحدي الكبير للمنظمة البحرية الدولية والعديد من المنافسين:
أتساءل عما إذا كان سيكون هناك حقا الذكاء الاصطناعي في الصناعة يمكنه حل مشاكل الرياضيات الصعبة وتجاوز العديد من البشر بنجاح للفوز بالميدالية الذهبية للمنظمة البحرية الدولية مدفوعة بالمال 💰.
انطلاقا من القوة الحالية ، ما هي الشركة الذكاء الاصطناعي تعتقد أنها الأكثر احتمالا لأخذ زمام المبادرة؟
الروابط المرجعية:
[1]
[2]
[3]
