أوبنAI أعلنت في 1 أغسطس عن إطلاق عائلة نماذجها الرئيسية الجديدة باسم عائلة النماذج «أسترا»، مؤكدة أن إصداراً داخلياً من النموذج نجح في حل عشر مسائل عميقة في الرياضيات وعلوم الحاسوب النظرية ظلت من دون اختراقات فعلية لسنوات طويلة.
أبرز النقاط:
- أوبنAI ثبّتت اسم «أسترا» في تقرير ينسب إلى النموذج تحقيق 10 نتائج في مسائل لم تُحرز فيها أي تقدّم جوهري منذ ما لا يقل عن عقد.
- القائمة تشمل بناء مثال على مجموعات غير صوفيكية، ونقض حدسية الصلابة لكون، وثلاث مسائل منسوبة لإردوش.
- كل برهان جاء مرفقاً بشهادة «Lean» قابلة للتحقق آلياً، مع كلفة رمزية تقارب 2,000 دولار وفق أسعار واجهة برمجة تطبيقات Sol.
تقرير «أوبنAI أسترا» يسجّل 10 إنجازات رياضية
الشركة نشرت يوم السبت تقريراً من 249 صفحة يغطي مجالات تعبئة الكرات، ونظرية الترميز، وتعقيد الدوائر الحسابية، ونظرية الزمر، وتعقيد الحوسبة الكمية، وتشفير الشبكات (lattices).
كل مسألة في التقرير ظلت، بحسب أوبنAI، من دون تقدم يُذكر في نتيجتها الرئيسة لمدة لا تقل عن عشر سنوات، فيما يعود تعثر بعضها إلى ما هو أبعد من ذلك. أحد الإنشاءات يبرهن وجود مجموعات غير صوفيكية، ما يحسم سؤالاً محورياً في نظرية الزمر.
إنجازات أخرى في التقرير تشمل نقض حدسية الصلابة لكون (Connes)، وإثبات حدسية الحجم لإيرهارت، وحل ثلاث مسائل من فهرس إردوش، من بينها برهان حدّ أدنى جديد لأعداد رامزي للمثلثات متعددة الألوان. وقدّرت أوبنAI الكلفة الرمزية لإيجاد الحلول العشرة مجتمعة بنحو 2,000 دولار وفق تسعيرة واجهة Sol.
«أسترا» يعتمد بنية من عدة وكلاء (Agents) يتقاسمون المسألة المعقدة، يعملون بالتوازي لفترات طويلة ثم يدمجون النتائج في حل واحد. عائلة أسترا توضع إلى جانب نماذج Sol وTerra وLuna التي تحمل تسمية GPT-5.6. أوبنAI لم تحسم بعد ما إذا كان النموذج سيُطرح تحت اسم GPT-6 أو كنسخة GPT-5.7 أو كفئة مستقلة، ولم تحدد موعداً لإطلاقه.
اطلع أيضاً: صناديق بتكوين المتداولة تستقطب 233.1 مليون دولار مع استحواذ صندوق واحد على الحصة الأكبر
مجتمع الرياضيات يقيّم براهين «Lean» الخاصة بأسترا
توماس بلوم، أستاذ الرياضيات في جامعة مانشستر والقائم على أرشفة مسائل إردوش، وصف النتائج بأنها «خبر كبير» على منصة X، واعتبرها أهم من المثال النقضي لمسألة المسافة الواحدة الذي كشفت عنه أوبنAI في مايو، على الأقل من حيث قوة الإنشاءات.
كل حجة رياضية من براهين أسترا تأتي مرفقة بشهادة «Lean» قابلة للتحقق بواسطة الآلة، وهي عتبة لا تتجاوزها إلا قلة من الادعاءات في أبحاث الذكاء الاصطناعي. مع ذلك، يبقى على الرياضيين التأكد من أن كل صياغة رسمية تعكس بدقة المسألة التي يعدّها المجتمع العلمي مفتوحة فعلاً. نوعام براون، أحد مطوري أساليب الاستدلال وراء النظام، كتب أن التشغيل لم يمسّ أيّاً من مسائل «جائزة الألفية».
سام ألتمان يقدّم «أسترا» في واشنطن
سام ألتمان عرض قدرات أسترا أمام أعضاء في مجلس الشيوخ وكبار مسؤولي الإدارة الأمريكية في اجتماعات مغلقة بواشنطن قبل أيام قليلة من نشر التقرير.
ألتمان التقى السيناتورين رافاييل وورنَك وبيرني مورينو يوم الأربعاء، كما شمل جدول أعماله جلسات مع مارك وورنر، ووزير الخزانة سكوت بيسنت، ووزير التجارة هوارد لتنك.
من المتوقع أن يكون «أسترا» أول نموذج يُقدَّم للمراجعة المسبقة ضمن إطار اتحادي جديد لمراجعة النماذج قبل الإطلاق.
أوبنAI سلكت مساراً مشابهاً في مايو، حين أعلنت عن برهان آلي ينقض حدسية «مسافة إردوش الواحدة» عبر تدوينة على مدونتها، بدلاً من نشره في دورية علمية. ورد الرياضيون في يونيو بإعلان «ليدن»، وهو بيان برعاية الاتحاد الدولي للرياضيات يحذّر من «برهان عبر البيانات الصحفية»، وقد استشهدت به الشركة في تقريرها الأخير.
اقرأ أيضاً: متداولو Polymarket يمنحون سبايدرمان فرصة 91% لظهور تاريخي
