نموذج العالم الجبري: إنجاز جديد في الذكاء الاصطناعي

قدم باحثون من جامعة تسينغهوا وجامعة تشجيانغ نموذج العالم الجبري (AWM)، وهو وكيل قادر على حل الألغاز التفاعلية في ARC-AGI-3 وإثبات عدم إمكانية الفوز في مستويات معينة. تم نشر الورقة في 29 أكتوبر، حيث أظهر AWM أداءً متميزًا في اختبار مستويات مغلقة، حيث أثبت عدم إمكانية الفوز في جميع المستويات الستة، بينما لم تتمكن نماذج أخرى مثل Claude Opus 5.5 وGPT-6 Astra من تقديم أي إثباتات. يعمل AWM على ثلاث مراحل: أولاً، يستكشف اللعبة ويكتب فرضيات بلغة بايثون حول سلوك البيئة، ثم يبسط هذه الفرضيات إلى نموذج منظم للأشياء والقواعد والأهداف، وأخيرًا يقوم بتوثيق النموذج باستخدام مساعد الإثبات Lean 4. خلال الاختبارات، قدم AWM حدودًا صحيحة على أربعة من المستويات الستة، بينما لم تتمكن النماذج الأخرى من تحقيق ذلك.