BootLoops 1.0: حسابات علمية قابلة للفحص… وخبراء لا غنى عنهم

قد تنتج نماذج الذكاء الاصطناعي إجابة علمية تبدو متماسكة، لكن كيف نعرف أن الحساب صحيح؟ صُمّم BootLoops 1.0 لمساعدة الباحثين على اختبار نتائج محددة، لا لمنح كل إجابة آلية صكّ ثقة. وهو إطار عمل مفتوح المصدر طوّره عالم الفيزياء في جامعة هارفارد ماثيو شوارتز بالتعاون مع Claude، ويمكن تشغيله بنماذج مختلفة. 112

كيف يجعل BootLoops الحسابات قابلة للفحص؟

يجمع الإطار برمجيات علمية مع بروتوكولات توضّح ما الذي يجعل النتيجة «متحققاً منها». ومن ذلك مقارنة الحساب بمسار حاسوبي مستقل عند نقاط لم تُستخدم في ملاءمة النتيجة، وإجراء اختبار تحكّم إيجابي للتأكد من أن الفحص قادر فعلاً على كشف نتيجة خاطئة. كما تتناول الإرشادات تتبّع مصدر المعلومات والأدوات، حتى لا تُستخدم أداة ساهمت في الوصول إلى نتيجة لتكون هي نفسها جهة التحقق منها. 211

يناسب هذا النهج المسائل ذات المخرجات المحددة بوضوح، مثل بعض حسابات الفيزياء الرياضية. وقد يبيّن أن نتيجة اجتازت اختبارات بعينها؛ لكنه لا يضمن صحة كل ما ينتجه النموذج، ولا يثبت أن سؤال البحث مهم من الناحية العلمية. 25

نتائج أُعلن عنها بالتعاون مع Claude

أفاد فريق شوارتز بأنه حسب 30 تكاملاً في الفيزياء الرياضية، بينها 15 نتيجة وصفها بالجديدة، بما فيها تكاملات فاينمان إهليلجية. وشمل العمل أيضاً حلاً لما يسميه شوارتز «المسألة الأخيرة لواتسون»، وهي مسألة حسابية ترتبط بأعمال عالم الرياضيات جورج واتسون. 14164

كما أُعلن عن إنتاج 36 مخطوطة خلال ثلاثة أشهر، بمشاركة 19 باحثاً وفي 18 مجالاً، من بينها علم البيئة وعلم الوراثة السكانية. وهذه مخرجات بحثية معلن عنها، لا دليلاً على أن جميع النتائج خضعت لتحقق مستقل مكتمل؛ إذ قال شوارتز إن عدداً منها لا يزال قيد الفحص. 3154

لماذا لا يزال دور الخبراء أساسياً؟

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

وبحسب رواية شوارتز، رصد Claude روابط بين مجالات مختلفة كانت صحيحة من الناحية التقنية أحياناً، لكنها لم تكن ذات قيمة علمية لافتة. وساعد خبراء تلك المجالات على توجيه العمل نحو أسئلة تهمّ الباحثين فيها. هنا يظهر الفرق: يمكن للتحقق الحاسوبي أن يختبر اجتياز حسابٍ لمجموعة من الفحوص، بينما يساعد الحكم العلمي على تحديد ما ينبغي حسابه وما الذي تعنيه النتيجة. 5

ما الذي يثبته BootLoops، وما الذي لا يثبته؟

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