حل كل مشكلة في أحد أكثر معايير الرياضيات إرهاقًا يتطلب عادةً تكاليف تصل إلى عشرات الآلاف من الدولارات. فعلت NEAR AI ذلك مقابل 111 دولارًا فقط.
في 6 سبتمبر 2026، أعلنت أليكس سكيدانوف، المؤسسة المُشتركة لبروتوكول NEAR، أن وكيل Lean المفتوح المصدر للمشروع قد حل جميع المشكلات الـ672 في معيار PutnamBench، وهو مجموعة مستمدة من مسابقة ويليام لويل بوتام للرياضيات. إجمالي التكلفة: 111 دولارًا. كان أقل عرض معروف تكلفةً ثانيًا يكلف 250 مرة أكثر.
ما هو PutnamBench فعليًا، ولماذا يهم
منافسة بوتمان هي أبرز مسابقة رياضية للطلاب الجامعيين في أمريكا الشمالية. الحصول على درجة صفر ليس أمرًا غير معتاد، حتى بين الطلاب المتميزين. تم تصميم الامتحان ليُحطمك.
تم تقديم PutnamBench في عام 2024، واتخذت هذه التقاليد الصعبة وحولتها إلى مجموعة تقييم رسمية لمحرّكات نظرية الذكاء الاصطناعي. يحتوي المعيار على 672 مشكلة مُشفَّرة بلغة Lean 4، وهي لغة مساعدة إثبات تتطلب كتابة الحجج الرياضية بدقة قابلة للتحقق آليًا. أي إثبات غير دقيق منطقيًا يتم رفضه تمامًا، دون منح أي درجات جزئية.
قبل نتيجة NEAR AI، كانت الوكلاء الذين يحاولون PutnamBench بحاجة غالبًا إلى آلاف طلبات الاستنتاج لكل مشكلة. تراكمت تكاليف الحوسبة بسرعة، مما وضع عمليات تشغيل المعيار الكامل في نطاق 10,000 إلى 25,000 دولار كإجمالي نفقات للأنظمة الرائدة.
أكمل عميل NEAR AI مجموعة المسائل البالغة 672 مسألة بقيمة 111 دولارًا.
لماذا فجوة التكلفة هي القصة الحقيقية
بالتكلفة من 10,000 إلى 25,000 دولار لكل تشغيل كامل، كان عدد قليل فقط من المنظمات قادرًا على تحمل تكلفة التكرار والتجريب وتحسين أنابيب إثبات النظريات. وبالتكلفة البالغة 111 دولارًا، يتغير هذا الحساب بالكامل.
كان التقدم السريع في نتائج PutnamBench بين عامي 2025 و2026 يُدفع بالفعل بواسطة سير عمل وكيلية تجمع بين نماذج اللغة الكبيرة ومحرر التحقق من الإثباتات الخاص بـ Lean. إن نهج NEAR AI يوسع هذا النمط، لكنه يضيف طبقة من الكفاءة لم تُرَ من قبل في مجتمع المعايير.
وضعت NEAR AI هذا الإنجاز ضمن رؤية بنية تحتية أوسع تتمحور حول ما تسميه IronClaw، وهو إطار موجه نحو الذكاء الاصطناعي السري والقابل للتحقق. إن قدرة التحقق الرسمي تتوافق مباشرة مع هذا الإطار: إذا استطعت إثبات صحة حجة رياضية على مستوى الآلة، فلديك أساس لأنظمة ذكاء اصطناعي يمكن مراجعة مخرجاتها بشكل مستقل بدلاً من الاعتماد على الثقة فقط.
قرار بروتوكول NEAR بجعل العميل Lean مفتوح المصدر يعزز من أهميته. عادةً ما تبقى الأدوات الحصرية التي توفر ميزة تكلفة تبلغ 250 ضعفًا حصرية. فتح مصدر العميل يعني أن المنهجية متاحة للتحقق منها، وتوسيعها، واستخدامها من قبل أي شخص.