أوبن أيه آي تغمر الرياضيات بـ 400 نتيجة مولدة بالذكاء الاصطناعي، مما يثير سنوات من أعمال التحقق

نشرت أوبن أيه آي هذا الأسبوع كمية هائلة تقارب 400 نتيجة رياضية مولدة بالذكاء الاصطناعي موزعة على أكثر من 700 مخطوطة، وتغطي مجالات من التوافقيات إلى الفيزياء الرياضية.

الحجم الضخم — حيث يبلغ جدول المحتويات وحده نحو 40 صفحة — جعل علماء الرياضيات يصفون الإصدار بأنه «مذهل» و«جنون خالص»، ويقدر كثيرون أن مجرد فهرسة الملخصات سيستغرق ساعات طويلة.

تم توثيق جزء فقط من الأوراق بلغة Lean، وهي لغة مساعد البرهنة التي تتيح التحقق الحسابي. وتعترف أوبن أيه آي بأن المجموعة توجد في «مراحل تحقق مختلفة»، ما يعني أن المجتمع سيحتاج سنوات لفصل النظريات الصلبة عن المخرجات التكهنية.

لماذا يهم ذلك البنية التحتية لوحدات معالجة الرسوم / الذكاء الاصطناعي

سيتطلب التحقق من هذا الأرشيف وتوسيعه دورات حوسبة ضخمة لفحص البراهين، وإعادة تدريب النماذج، والاستدلال الرمزي على نطاق واسع — أعباء ترتبط مباشرة بأعناق عناقيد GPU عالية الأداء. مزودو السحابة القادرون على تقديم سعة GPU عند الطلب وبزمن استجابة منخفض سيكونون شركاء أساسيين للفرق البحثية التي تتسابق لامتصاص الإصدار.