أوبن إيه آي تكشف عن Astra لحل مسائل رياضية استعصت لعقود
كشفت أوبن إيه آي عن Astra، وهو إصدار داخلي من الجيل القادم لنماذجها، نجح في حل 10 مسائل رياضية وعلوم حاسوب ظلت دون حلول لسنوات طويلة، مما يسلط الضوء على التطور المتسارع لقدرات الذكاء الاصطناعي في البحث العلمي.
تفاصيل إنجاز Astra في حل مسائل رياضية معقدة
أعلنت أوبن إيه آي أن نموذج Astra تمكن من تقديم براهين رياضية صحيحة لعشر مسائل مفتوحة، يعود بعضها إلى ما يقارب ثلاثين عاماً، وتشمل مجالات مثل الهندسة، ونظرية الزمر، وتعقيد الحوسبة الكمية، ونظريات رياضية متقدمة.
يمثل هذا الإنجاز خطوة مهمة في استخدام الذكاء الاصطناعي لدعم البحث العلمي، حيث لم يقتصر دور النموذج على اقتراح أفكار، بل أنتج براهين كاملة جرى التحقق من صحتها باستخدام أدوات إثبات رياضي رسمية.
أبرز إنجازات Astra:
- أثبت وجود مجموعات Non-Sofic Groups، وهي مسألة ظلت مفتوحة منذ عام 1999.
- قدم حلاً لفرضية الصلابة الخاصة بعالم الرياضيات ألان كون.
- نجح في حل فرضية Ehrhart المتعلقة بحساب الأحجام الهندسية.
- تمكن من حل ثلاث مسائل مدرجة ضمن قائمة العالم الشهير بول إردوش.
- شملت الحلول مجالات متنوعة مثل الهندسة ونظرية الزمر وتعقيد الحوسبة الكمية.
وأكدت الشركة أن جميع البراهين تمت مراجعتها والتحقق منها باستخدام نظام Lean المخصص للتحقق الرسمي من البراهين الرياضية، كما نشرت خطوات الاستدلال الخاصة بالنموذج لتوضيح طريقة الوصول إلى النتائج.
كيف حقق Astra هذه النتائج؟
اعتمد Astra على قدرات متقدمة في التفكير والاستدلال الرياضي، حيث تمكن من بناء براهين كاملة بدلاً من مجرد تقديم إجابات نهائية.
ومن أبرز النقاط التقنية:
- تم التحقق من جميع البراهين باستخدام أدوات إثبات رياضية رسمية.
- بلغت تكلفة تشغيل جميع المحاولات الناجحة نحو 2000 دولار فقط وفق أسعار واجهة Sol API.
- نشرت أوبن إيه آي تسلسل التفكير المستخدم في الوصول إلى الحلول بهدف دعم الشفافية والبحث العلمي.
- أظهر النموذج قدرة على التعامل مع مسائل استعصت على الباحثين لسنوات طويلة.
كما أعلن الباحث Levent Alpoge من شركة Anthropic أنه تمكن خلال أقل من 24 ساعة من إعادة إنتاج خمسة من هذه البراهين باستخدام نموذج Fable، وذلك عبر موجه عام ودون الحاجة إلى الاتصال بالإنترنت، مما فتح باباً للنقاش حول إمكانية إعادة إنتاج هذه النتائج باستخدام نماذج أخرى.
ماذا يعني هذا الإنجاز لمستقبل البحث العلمي؟
أثار نجاح Astra نقاشاً واسعاً داخل المجتمع العلمي حول دور الذكاء الاصطناعي في الاكتشافات الرياضية، وما إذا كانت الإنجازات التي تحققها النماذج الذكية يمكن أن ترقى إلى مستوى الجوائز العلمية الكبرى.
وتتمثل أبرز التأثيرات المحتملة في:
- تسريع حل المسائل الرياضية التي بقيت دون حلول لعقود.
- دعم الباحثين في تطوير براهين واكتشافات جديدة.
- توسيع استخدام الذكاء الاصطناعي في مجالات مثل اكتشاف الأدوية وعلوم المواد.
- تقليل الوقت والتكلفة اللازمة لإجراء الأبحاث المتقدمة.
- فتح نقاشات جديدة حول ملكية الإنجازات العلمية التي يشارك فيها الذكاء الاصطناعي.
يمثل Astra خطوة بارزة في تطور الذكاء الاصطناعي الموجه للبحث العلمي، إذ يبرهن على قدرة النماذج الحديثة على المساهمة في حل مسائل معقدة ظلت مفتوحة لعقود. وإذا استمرت هذه الوتيرة من التطور، فقد يصبح الذكاء الاصطناعي شريكاً أساسياً في الاكتشافات العلمية المستقبلية.
