في خطوة غير مسبوقة، كشفت شركة OpenAI عن ثلاث اكتشافات علمية كبرى في مجالات الرياضيات، علوم الحاسوب والفيزياء، مع تقديم نهج جديد للتعاون مع الأكاديميين لتوجيه نتائج الذكاء الاصطناعي. يأتي هذا الإعلان بعد أسابيع قليلة من نشر مئات الأوراق التي تزعم حلّ أسئلة رياضية طويلة الأمد.
الاكتشافات الثلاثة
1. الرياضيات – إثبات سلاسة الموجة المحلية
- إثبات سلاسة الموجة (Local smoothing) لمعادلة الموجة الإقليدية في جميع الأبعاد المكانية ≥2.
- النتيجة تفضي إلى إثبات فرضية كاكيا (Kakeya) وتقديرات ستيـن (Stein) للقيود الكروية عبر النطاق المزعوم.
- النموذج الذكائي ينتج دليل Lean رسمي يُرفع على GitHub.
2. علوم الحاسوب – نفي فرضية الوقت الأسي (ETH)
- تقديم خوارزمية حتمية تحسب عدد التعيينات المرضية لصيغ CNF ذات عرض ثابت في زمن تحت أسي ومساحة متعددة الحدود.
- النتيجة تنفي صحة فرضية الوقت الأسي للـ 3‑SAT.
- مجموعة من الخبراء (Russell Impagliazzo, Ramamohan Paturi, Ryan Williams) ستتولى مراجعة وتفسير البرهان.
المجموعة المذكورة تضم Russell Impagliazzo وRamamohan Paturi من جامعة كاليفورنيا – سان دييغو، وRyan Williams من معهد ماساتشوستس للتكنولوجيا (MIT). وبناءً على طلبهم، تم إتاحة جميع المواد على GitHub فوراً لتمكين الباحثين من فحصها.
3. الفيزياء – إثبات وجود نظريات حقل كوانتية تفاعلية
- دليل رياضي صارم لوجود نظريات حقل كوانتية (QFT) تحتوي على حقول قياسية (Gauge) وفيرمونات في أربعة أبعاد.
- يشمل ذلك الكروموديناميك (QCD) وإكمال موحد للنموذج المعياري للجسيمات.
- الدكتور David Gross سيقود فريقاً من العلماء (Michael Douglas, Arthur Jaffe, Igor Klebanov, Nikita Nekrasov) لتوجيه العمل.
نموذج جديد للعمل مع الأكاديميين
بدلاً من نشر النتائج مباشرةً على منصات تجارية، اعتمدت OpenAI ما تسميه “راعين” (shepherds) من خبراء أكاديميين لتوجيه عملية النشر والتحقق. في حالة الرياضيات، تم إتاحة مخرجات النموذج للباحثين لتفسيرها بأنفسهم، بينما في علوم الحاسوب والفيزياء سيقوم الرعاة بمراجعة الأدلة وتقديم توضيحات.
“نرحب بالنقاش حول ثلاثة أسئلة أوسع: ما هي التوقعات التي يجب أن تحكم الوصول المبكر إلى النتائج المولدة بالذكاء الاصطناعي؟ كيف ينبغي أن يُعطى الفضل لكل من الاكتشافات والعمل على التحقق منها؟ وكيف يمكن دعم الطلاب والباحثين في ظل تغير طرق البحث؟” – رسالة مفتوحة من OpenAI إلى المجتمع العلمي.
ردود الفعل والانتقادات
أبدى مجلس المستشارين للرياضيات (AGMAI) تحفظات على ممارسة إعطاء وصول مبكر لمخرجات الذكاء الاصطناعي لأشخاص مختارين، مشيراً إلى مخاطر عدم المساواة في الوصول، والسمعة المستعارة، والتحيز في الاختيار. وأوصى المجلس بنشر النتائج على مستودعات علمية مفتوحة مع توفير براهين Lean، ومعلومات حول اختيار المشكلات، وتمويل للباحثين الذين يدرسون النتائج.
التمويل والدعم
كجزء من الجهود لتسهيل فهم النتائج، خصصت OpenAI ميزانية قدرها 5 ملايين دولار لدعم الرياضيين والباحثين في تحليل واختبار الاكتشافات التي يولدها الذكاء الاصطناعي.
الحكم النهائي ورأي الموقع
تُظهر هذه الخطوة من OpenAI أن الذكاء الاصطناعي قد وصل إلى مرحلة يمكنه فيها إحداث تقدم علمي حقيقي، لكن الطريق أمام تبني هذه النتائج يتطلب شراكة وثيقة مع المجتمع الأكاديمي لضمان الشفافية، المراجعة المستقلة، وتوزيع الفوائد بشكل عادل.
الأسئلة الشائعة
- ما هو نوع الأدلة التي نشرتها OpenAI في مجال الرياضيات؟
- دليل Lean رسمي يثبت سلاسة الموجة المحلية ويقود إلى إثبات فرضية كاكيا وتقديرات ستيـن.
- من هم الرعاة الأكاديميون للفيزياء؟
- الدكتور David Gross يقود فريق يضم Michael Douglas، Arthur Jaffe، Igor Klebanov، وNikita Nekrasov.
- هل تم نشر الخوارزمية التي تنفي فرضية الوقت الأسي؟
- نعم، تم رفع الكود والبرهان على GitHub مع إشراف خبراء من UC San Diego وMIT.
- ما هو المبلغ المخصص لدعم الباحثين؟
- 5 ملايين دولار من OpenAI مخصصة لتمويل مشاريع تحليلية للنتائج المولدة بالذكاء الاصطناعي.
- كيف يمكن للباحثين الوصول إلى المواد؟
- جميع المخرجات متاحة على مستودعات GitHub العامة، مع دعوة المجتمع لتقديم ملاحظات ومراجعات.
