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

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

قال ألفارو لوزانو-روبليدو، أستاذ الرياضيات في جامعة كونيتيكت: "مجرد الاطلاع على القائمة الكاملة للملخصات أمر مرهق". أخبر العديد من علماء الرياضيات The Verge أن مجرد العمل من خلال جدول المحتويات والملخصات الذي يبلغ حوالي 40 صفحة استغرق منهم ما يقرب من ساعة. بالنسبة لأولئك الذين يحتفظون بالنتائج في المنزل، هذه ساعة فقط لقراءة القائمة.

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

لكن درجة التحقق من كل نتيجة تباينت بشكل كبير. على GitHub، اعترفت أوبن إيه آي بأن النتائج "في مراحل مختلفة من التحقق" وأن "العديد، وليس كل، المخطوطات قد تم إضفاء الطابع الرسمي عليها". حتى كتابة هذه السطور، يبدو أن أقل من نصف المخطوطات في المجموعة قد تم وصفها رسميًا. قالت أوبن إيه آي إن 300 نتيجة رئيسية فقط من أصل 719 مخطوطة قد تم إضفاء الطابع الرسمي عليها - حوالي 42 في المائة - وأنها "ستحدّث المستودع بمزيد من الصيغ الرسمية عند الحصول عليها". لذا، ما يقرب من 58 في المائة من نهاية العالم الرياضية لا تزال غير موثقة. نم جيدًا.

اشتكى العديد من علماء الرياضيات لـ The Verge من نقص الصيغ الرسمية، خاصة بالنظر إلى العدد الهائل من النتائج. حتى عندما تصاحب كود Lean نتيجة ما، فإن التقييم ليس فوريًا. يجب على الباحثين التحقق من أن الصيغة الرسمية تثبت بالفعل ما تدعيه النتيجة - وهي عملية أخرى مستهلكة للوقت. قال العديد ممن نقبوا في الأوراق أنه حتى حيث تم تقديم براهين قابلة للتحقق حاسوبيًا، كانت الجودة غير متسقة والبيانات التي تم التحقق منها لا تبدو دائمًا تتطابق بدقة مع الادعاءات في المخطوطات المصاحبة.

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

لم يكن بازارد وحده في القلق بشأن "الهراء" بالذكاء الاصطناعي - وهو اختصار للمواد منخفضة الجودة التي غالبًا ما تكون خاطئة ومولّدة بالذكاء الاصطناعي والتي تظهر بشكل متزايد على الإنترنت وفي العالم الحقيقي، بما في ذلك الأوراق الأكاديمية. كما في مجالات أخرى، أخبر علماء الرياضيات The Verge أنهم شهدوا ارتفاعًا هائلًا في مثل هذه المواد المنتجة بأدوات مثل ChatGPT وClaude في السنوات الأخيرة. الكثير منها مربك، وصعب القراءة، ويظهر فهمًا ضئيلًا للموضوع؛ إنه رديء بشكل خاص عندما يتعلق الأمر بنسب الفضل لباحثين آخرين. وقد انتقد الخبراء على نطاق واسع كتابات أوبن إيه آي الرياضية السابقة بسبب