لقد أزاحت OpenAI الستار عن Astra، وهو نظام لم يتم إصداره بعد وتطلق عليه "نموذجنا الرئيسي التالي"، بعد أن أنتجت نسخة داخلية عشرة تطورات مهمة في الرياضيات وعلوم الكمبيوتر النظرية. وضعت الشركة هذا الإعلان داخل منشور بحثي يوثق النتائج الرياضية، مما أثار الإثارة والتدقيق من جانب الباحثين الذين يتابعون [أخبار الذكاء الاصطناعي العاجلة] (https://aibuzzwire.news) عن كثب.

وكتب OpenAI أن المشكلات التي ساعدت شركة Astra في حلها "لم تشهد أي تقدم في نتائجها المركزية لمدة عقد من الزمن على الأقل، وفي معظم الحالات لفترة أطول بكثير". تشمل النتائج مجالات تشمل الهندسة عالية الأبعاد، ونظرية التشفير، وتعقيد الدوائر الحسابية، ونظرية المجموعة، والتعقيد الكمي، والتشفير الشبكي، والتوافقيات المتطرفة - وهي المنطقة التي يُقاس فيها التقدم عادةً بالسنوات، وليس بإجراء بحث واحد.

البراهين المؤكدة، وليس مجرد إجابات

ما يفصل مخرجات Astra عن تخمين روبوت الدردشة في الرياضيات هو التحقق. قالت OpenAI إن الباحثين البشريين استخدموا نفس النموذج لإعداد الحجج كمخطوطات، ثم قامت Astra بإضفاء الطابع الرسمي على كل حجة باعتبارها شهادة Lean. Lean هو مساعد إثبات مفتوح المصدر يمكنه التحقق آليًا من الحجج الرياضية، مما يعني أن علماء الرياضيات الآخرين لا يتعين عليهم أخذ النتائج على محمل الجد - حيث يمكن التحقق منها بشكل مستقل عن طريق البرنامج في ثوانٍ.

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

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

رد فعل علماء الرياضيات

توماس بلوم ، عالم الرياضيات في جامعة مانشستر الذي يدير الموقع المرجعي لمشكلة إيردوس erdosproblems.com، وصف النتائج بأنها "أخبار كبيرة" على X، وفقًا لموقع The Decoder. لقد صنفها بأنها أكثر أهمية من المثال المضاد لحدسية وحدة المسافة المنشورة في مايو. وكتب بلوم: "ربما لا يكون هذا أكبر من إثبات مسافة الوحدة، ولكن فيما يتعلق بالإنشاءات، فهذا كبير".

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

ناعوم براون، الباحث الذي يقف وراء تقنية الاستدلال في وقت الاختبار التي تعتمد عليها أسترا، كان أكثر دقة. "للأسف، لا توجد مسائل جائزة الألفية (حتى الآن)،" نشر على موقع X، في إشارة إلى المسائل السبع الشهيرة التي يقدم معهد كلاي للرياضيات مليون دولار لكل منها - ولم يتم حل سوى مشكلة واحدة فقط منذ الإعلان عن الجوائز في عام 2000.

لم يكن الجميع معجبا. وصف ناقد الذكاء الاصطناعي، غاري ماركوس، النموذج بأنه "مذهل - لكنه مُبالغ فيه إلى حد كبير" في منشور Substack، وهو خط مألوف من الشك عندما يطالب مختبر حدودي بإنجاز مهم. من المرجح أن يحدد التوتر بين الإنجاز الفني الحقيقي والإطار الترويجي كيفية استقبال أسترا.

عائلة نموذجية جديدة للمهام الطويلة

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

أفاد BleepingComputer أن OpenAI لم تقرر ما إذا كان سيتم شحن النموذج باسم GPT-5.7 أو GPT-6 أو تحت اسم آخر. وقد عرض الرئيس التنفيذي سام ألتمان بالفعل Astra في واشنطن العاصمة، حسبما ذكرت The Decoder، مما يشير إلى أن الشركة تعتبر النظام ناضجًا بما يكفي لوضعه أمام صناع القرار.

عقبة أمام مراجعة الحكومة

ولعل التفاصيل الأكثر أهمية هي التفاصيل التنظيمية. وفقًا لـ The Decoder، ستكون Astra من بين النماذج الأولى التي تخضع لعملية مراجعة مخطط لها من قبل الحكومة الأمريكية والتي تتطلب موافقة رسمية قبل الإصدار العام. وهذا يضيف طبقة من عدم اليقين السياسي إلى الجدول الزمني للإطلاق الذي لم تواجهه النماذج الرئيسية السابقة مطلقًا - ويزيد من المخاطر المتعلقة بكيفية وصف OpenAI لقدرات Astra.

يصل الظهور الأول أيضًا وسط سباق شرس للوزن المفتوح. وقبل ذلك بأيام، أصدر مختبر Thinking Machines Lab نموذج Inkling-Small للوزن المفتوح، وتستمر المختبرات الصينية في دفع الأنظمة الحدودية للوزن المفتوح. تشير Astra إلى رهان OpenAI على أن التفكير المملوكي واسع النطاق - الذي تم التحقق منه بواسطة أدوات مثل Lean - يظل الطريق إلى أكبر الاختراقات.

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

ابق في صدارة الذكاء الاصطناعي

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

اقرأ المزيد من أخبار الذكاء الاصطناعي →