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