أعلنت شركة OpenAI عن نشر ما يقرب من 400 نتيجة رياضية مولدة بالذكاء الاصطناعي في مستودع GitHub.

نتائج OpenAI موزعة على أكثر من 700 مخطوطة

المخطوطات التي احتوت هذه النتائج تجاوزت 700 عمل، وشملت فروعًا متنوعة مثل التركيبات، والهندسة، ونظرية الأعداد. فقط 300 من أصل 719 مخطوطة (حوالي 42 ٪) تم توثيقها رسمياً باستخدام لغة Lean، ما يعني أن أقل من نصفها تمّت صياغتها. وفرت OpenAI إرشادات لتصفح المستودع، لكن تقييم formalizations لا يتم فورًا.

ردود فعل العلماء المتباينة

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

تحديات الجودة والتقييم

جودة الأوراق والمخطوطات كانت غير متسقة؛ بعضها كان صعب المتابعة أو مستحيلاً، وبعضها كان قصيرًا للغاية. أُعيد سحب ثلاثة أوراق بعد اكتشاف مشكلات. وجد بعض الباحثين أعمالًا تكرّر ما سُجل مسبقًا، بينما كان لبعض الأوراق ببليوغرافيا محدودة. الشركة لا تملك الخبرة أو الموارد الكافية لتدقيق جميع النتائج بدقة.

القيمة العلمية المحتملة وتأثيرها

رغم العيوب، يحتوي الإطلاق على إنجازات حقيقية قد تستحق النشر في مجلات رفيعة. جارد دوكر ليشتمان حدد "عشرات" من النتائج ذات المستوى العالي، بما فيها تقدم نحو فرضية ريمان وتخمين هوغ. إذا اختفت أنظمة الذكاء الاصطناعي، قد يقضي الباحثون عشر سنوات في دراسة هذه النتائج. ومع ذلك، وصف بعض العلماء الأثر على خطط أبحاثهم بأنه "مرعب"، "مُدمّر"، بل وقالوا إن بعض الفروع "تم تمهيدها". إنتاج أوراق رياضية دقيقة بهذا الحجم يُعد مهمة شاقة، وتستمر نماذج OpenAI في إنتاج الرياضيات بسرعة مذهلة.