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