Terence Tao: القلق من الذكاء الاصطناعي سببه أننا قسنا قيمتنا بالإنتاج قبل وصوله
المغزى: حين تُقاس قيمة العامل بإنتاجه، تبدو كل آلة تنتج أفضل منه تهديدًا، والمشكلة في المقياس قبل أن تكون في الآلة، وهو ما ينطبق على البرمجة كما على الرياضيات.
Frank Calegari على مدونة Terence Tao: أوراق OpenAI الرياضية فيها أفكار حقيقية وكتابة سيئة
المغزى: ما يهدد مهنة ما ليس أن تُحل مسائلها الصعبة، بل أن يقرر أهلها أنها انتهت، وما يملكه المختصون هو التعيين والنشر والتدريب، لا قرارات الشركات الكبرى.
OpenAI تضيف إلى مستودعها الرياضي ورقة تدّعي أن فرضية Exponential Time Hypothesis خاطئة
المغزى: ما يحدد قيمة مخرجات النموذج هو أدوات التحقق المبنية حوله، فحين أثبت Lean حدًّا أضعف من دعوى الورقة، انتقل الحكم الأخير إلى مراجعين من البشر.
مراد دميرباش يفرّق بين نوعين من الـ abstraction انطلاقًا من سيرة فون نيومان
المغزى: اختصار المنتج في مؤشرات والمستخدم في شخصية والسوق في رقم هو جوهر العمل لا عيبه، لكن ما يُترك خارج النموذج لا يختفي من الواقع، وثمن نسيانه يكبر بقدر كلفة الخطأ.
مقالة ضيف على مدونة Terence Tao: إثباتات النماذج الطويلة قد تجعل المعرفة غريبة عن الفهم البشري
المغزى: الخطر الذي تصفه المقالة ليس إثباتًا خاطئًا، بل إثبات صحيح لا يستطيع إنسان قراءته، وطريق إلى المعرفة تملكه شركات قليلة حتى دون سوء نية من أحد.
Ben Recht: خوارزمية FFT التي نشرتها OpenAI أسرع نظريًا فقط، بثابت يقدَّر بنحو 10 أس 100
المغزى: عبارة أسرع تقاربيًا لا تعني أسرع على أي حاسوب، ومراجعة نتائج النماذج صارت تحتاج إلى سؤالين: في أي نموذج حساب، وبأي ثابت.
خطأ في إشارة رياضية يُسقط ثلاث أوراق من مستودع OpenAI للرياضيات
المغزى: العيب في نتيجة واحدة ينتقل إلى كل ما بُني عليها، تمامًا كما ينتقل عيب حزمة برمجية إلى كل مشروع يستوردها، وأغلب ما في المستودع لم تفحصه آلة بعد.
OpenAI تنشر 722 ورقة رياضيات من نموذج داخلي، و162 منها فقط ببرهان يتحقق منه الحاسوب
المغزى: الرقم المهم ليس عدد الأوراق بل نسبة ما تحقق منه الحاسوب، نحو 22%، والباقي يظل دعوى تنتظر مراجعة بشرية باعتراف الشركة نفسها.
وثيقة من مجتمع الرياضيات تضع معيارًا لنشر نتائج الذكاء الاصطناعي التي لا يفهمها أحد
إلزام الباحث بإعلان نسبة فشل الطريقة إلى جانب نجاحها يحوّل النتيجة من ضربة حظ إلى معلومة قابلة للتقييم، وهي مسألة يواجهها كل من يراجع كودًا كتبه agent.
Amit Sahai على مدونة Terence Tao: الذكاء الاصطناعي يتطلب عددًا أكبر من الرياضيين لا أقل
حين تنتج الأنظمة أفكارًا جديدة فعلًا، ينتقل الدور النادر من إنتاج الفكرة إلى فهمها ومعرفة متى تكون خاطئة، وهذا الدور يحتاج إلى أشخاص أكثر.