علماء رياضيات يدرسون مستقبل المجال في ظل الذكاء الاصطناعي
أعلنت OpenAI نتائج قالت إنها تحل ١٠ مسائل رياضية عالقة منذ سنوات، باستخدام نموذج متقدم غير مُتاح للعامة يحمل اسم Astra. وشملت النتائج مجالات متعددة، بينها تعبئة الكرات في أبعاد تتجاوز ثلاثة، ورموز تصحيح الأخطاء، وبنى الشبكات المعقدة، إضافة إلى مسائل في نظرية الألعاب الكمّية والأمن السيبراني بعد الكم. وأرفقت الشركة أكثر من ٢٥٠ صفحة تشرح الحلول، و٦٠ صفحة عن كيفية الوصول إليها، مع التحقق من كل نتيجة ببرنامج Lean لإثباتات الرياضيات. لكن الإعلان أثار جدلًا حول مقدار الفضل المستحق للذكاء الاصطناعي، ودور أعمال رياضيين سابقين بُنيت عليها بعض النتائج.
الحقائق الأساسية
استخدمت OpenAI نموذج Astra لإنتاج حلول لمسائل امتدت عبر مجالات رياضية مختلفة.
«The problems OpenAI solved, using an advanced unreleased model known as Astra, spanned a wide range of mathematical fields, from the highly abstract to questions with practical implications.»
عرض المصدر ←نشرت OpenAI أكثر من ٢٥٠ صفحة عن الحلول و٦٠ صفحة تشرح كيفية تشكّل الأفكار، وراجعت النتائج ببرنامج Lean.
«The company released more than 250 pages of papers laying out the solutions, along with 60 more pages describing “how the ideas came together,” and certified each result with Lean, software for verifying mathematical proofs.»
عرض المصدر ←عدّلت OpenAI صياغة إعلانها بعد انتقادات تتعلق بإغفال إسهامات باحثين سابقين في إحدى النتائج.
«We updated the language to better reflect the prior research these results build upon.»
عرض المصدر ←
المصادر
شفت معلومة تحتاج تصحيح؟ بلّغنا ونتحقق ونصحّح — سياسة التصحيح
صحّح هذا الخبر