OpenAI تؤكد عائلة النماذج الكبيرة القادمة "أسترا"، وتحل عشر مسائل رياضية مفتوحة في وقت واحد

أعلنت شركة OpenAI رسميًا عن اسم الجيل الرئيسي القادم من نماذجها، Astra، ونشرت تقريرًا في الرياضيات يُظهر أن نسخة داخلية من Astra حلت عشر مسائل غير محلولة سابقًا في الرياضيات وعلوم الحاسوب النظرية. تغطي المسائل مجالات متنوعة تشمل الهندسة عالية الأبعاد، نظرية الترميز، نظرية الزمر، التعقيد الكمومي، التشفير الشبكي، والتوافقيات المتطرفة. من بين المسائل المحلولة إثبات وجود زمر غير سوفية، وهو سؤال مركزي مفتوح في نظرية الزمر. وصف عالم الرياضيات توماس بلوم من جامعة مانشستر النتائج بأنها "خبر كبير" على منصة إكس، مقيمًا إياها أعلى من المثال المضاد لحدسية المسافة الوحدوية المنشور في مايو. أقر نواه براون، الشخصية الرئيسية وراء تقنية التفكير في وقت الاختبار التي يقوم عليها Astra، على منصة إكس أن OpenAI فشلت أيضًا في مسائل رئيسية أخرى، بما في ذلك مسائل جائزة الألفية، مشيرًا إلى أنهم لم يستهلكوا قوة حاسوبية كبيرة لكل مسألة وأن حساب وقت الاختبار يمكن توسيعه أكثر. وصف براون Astra بأنها "خطوة كبيرة للاستدلال العلمي". كانت التكلفة الحاسوبية للحلول منخفضة بشكل ملحوظ: وفقًا لـ OpenAI، كانت الرموز المطلوبة ستكلف حوالي 2000 دولار بأسعار واجهة برمجة التطبيقات لنموذج Sol. ثم تمت معالجة الحجج من قبل البشر مع نفس النموذج إلى مخطوطات، وتم إضفاء الطابع الرسمي على كل إثبات إلى شهادة Lean، وهي تأكيد آلي قابل للتحقق من الصحة الرياضية. كما نشرت OpenAI سردًا لعملية تفكير النموذج لكل حل. وأوضحت الشركة أنه بينما ساعدت في إعداد المخطوطات والصياغة الرسمية وتتحمل مسؤولية الصحة، فإن الحجج الرياضية نفسها جاءت من النظام، وأن ادعاء التأليف البشري لإثبات مولّد بالكامل بالذكاء الاصطناعي من شأنه أن يحرف مساهمة النظام وطبيعة العمل الفكري البشري الحقيقي، مشيرة إلى الموقعين على إعلان ليدن حول الذكاء الاصطناعي والرياضيات. خفف بلوم من فكرة أن الذكاء الاصطناعي يحل محل علماء الرياضيات، مجادلاً أنه ليس من المناسب قول ذلك عندما يبني الذكاء الاصطناعي على أكثر من قرن من النظرية الرياضية، وقد بناه علماء رياضيات، وتدرب على كل ما كتبه علماء الرياضيات على الإطلاق. أشارت تقارير سابقة إلى أن الرئيس التنفيذي سام ألتمان عرض Astra على سياسيين ومنظمين في واشنطن العاصمة، وأن Astra هي فئة جديدة من النماذج متميزة عن عائلات Sol وTerra وLuna الموجودة، مع إمكانية إصدارها باسم GPT-6 أو كنسخة داخل سلسلة GPT-5 مثل GPT-5.7. من المتوقع أن يكون Astra أول نموذج يخضع لإطار جديد مخطط من إدارة ترامب يتطلب مراجعة حكومية فيدرالية قبل الإصدار العام. صُمم النموذج للتعاون متعدد الوكلاء على مدى فترات زمنية ممتدة، بهدف حل المشاريع المعقدة والمهام الرياضية المتقدمة. صرحت OpenAI بهدفها تطوير أنظمة ذكاء اصطناعي يمكنها العمل على مشاكل لساعات أو أيام، وتهدف بحلول مارس 2028 إلى إكمال باحث ذكاء اصطناعي مستقل تمامًا.