Axiom AI: أربعة ألغاز رياضية استسلمت أخيراً للشبكات العصبية

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

ظل الانتقاد الرئيسي ضد نماذج اللغة الكبيرة لفترة طويلة هو عدم قدرتها على الاستدلال المتسلسل. لا شك أنك رأيت مئات الصور الفكاهية حول كيف يربك GPT-4 نفسه بالكسور البسيطة أو لا يستطيع تحديد أي رقم أكبر: 9.11 أو 9.9. كانت المشكلة تكمن في العمارة نفسها—التنبؤ بالرمز التالي يعمل بشكل جيد لكتابة المقالات، لكنه يفشل بشكل كارثي حيث تكون الدقة المطلقة ضرورية. الرياضيات لا تتسامح مع التقريب. الخطأ في رقم واحد في المرحلة الأولى يحول كل البرهان اللاحق إلى مجموعة عديمة المعنى من الرموز. اقتربت Axiom من السؤال بطريقة مختلفة بتنفيذ نظام التحقق الرسمي في العملية.

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

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

بالطبع، سيقول المتشككون أن أربع مسائل مجرد نقطة صغيرة في المحيط. لكن من المهم فهم السياق. سابقاً، كانت مثل هذه الاختراقات تحدث مرة في العقد وتتطلب جهود المؤسسات بأكملها. الآن نرى كيف توصلت شركة ناشئة صغيرة إلى مثل هذه النتائج من خلال مزيج صحيح من الطاقة الحسابية والابتكارات المعمارية. هذا تحدٍ مباشر لعمالقة مثل OpenAI و Google DeepMind، الذين يراهنون أيضاً على نماذج استدلالية مثل o1. أظهرت Axiom أن الحجم في هذا المجال ليس دائماً العامل الحاسم—الذكاء يكمن في المنهجية.

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

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