त्सिन्हुआ विश्वविद्यालय और झेजियांग विश्वविद्यालय के शोधकर्ताओं ने 'एल्जेब्रिक वर्ल्ड मॉडल' (AWM) प्रस्तुत किया है - एक एजेंट जो न केवल इंटरैक्टिव पहेलियों ARC-AGI-3 को हल करने में सक्षम है, बल्कि यह भी औपचारिक रूप से सिद्ध कर सकता है कि किसी विशेष स्तर को पार करना असंभव है।
arXiv पर 29 अक्टूबर को प्रकाशित और 1 नवंबर को QbitAI द्वारा उजागर किए गए इस कार्य को झेजियांग विश्वविद्यालय के गुआनचेन पान, साथ ही त्सिनहुआ विश्वविद्यालय के सिसिन तान, यान युआन और एंड्रयू ची-ची याओ ने किया था।
AWM तीन चरणों में कार्य करता है। पहले, यह खेल का अन्वेषण करता है और पर्यावरण के व्यवहार के संबंध में पायथन में परिकल्पनाएँ बनाता है, विरोधाभासी अवलोकन प्राप्त होने पर उन्हें समायोजित करता है। फिर इन परिकल्पनाओं को श्रेणी सिद्धांत की अवधारणाओं पर आधारित नियमों, लक्ष्यों और वस्तुओं का वर्णन करने वाले एक संरचित मॉडल में सरल बनाया जाता है। अंतिम चरण इस मॉडल का लीन 4 प्रूफ असिस्टेंट में औपचारिकीकरण है, जहां मशीन स्तर को पार करने की संभावना जैसे कथनों की जांच कर सकती है।
टीम ने बंद स्तरों पर परीक्षण किया, जहां कदम बजट जीत को असंभव बना देता था। AWM ने इन छह स्तरों के लिए लीन का उपयोग करके असंभवता के प्रमाण प्रदान किए, जबकि Claude Opus 5.5 और GPT-6 Astra के 12 रन ऐसा करने में विफल रहे। एक उदाहरण में, जहां न्यूनतम जीत के लिए 19 कदमों की आवश्यकता थी लेकिन बजट 18 था, Astra ने 22 कदमों में समाधान का दावा किया, जबकि AWM ने छह में से चार स्तरों के लिए सही प्रारंभिक सीमाएं स्थापित कीं, Opus 5.5 के लिए एक और Astra के लिए शून्य, प्रतिक्रिया के बाद सभी छह के लिए परिणाम प्राप्त किया।
सभी 25 सार्वजनिक खेलों के 183 स्तरों को लीन के भीतर दोबारा चलाने के दौरान, अध्ययन किए गए मॉडलों ने अनदेखे विन्यासों पर सभी 4160 संक्रमणों की भविष्यवाणी की और गेमप्ले यांत्रिकी में परिवर्तन के बाद सभी 4031 संक्रमणों को अस्वीकार कर दिया। Claude Opus 5 का उपयोग खिलाड़ी के रूप में करते हुए, AWM ने बुनियादी मानव संस्करण में लिए गए 43% कार्यों का उपयोग करते हुए अपना स्कोर 40.7 से बढ़ाकर 99.9 कर दिया।
लेखक एक महत्वपूर्ण सीमा पर प्रकाश डालते हैं: प्रमाण की विश्वसनीयता अध्ययन किए गए मॉडल की गुणवत्ता पर निर्भर करती है, इसलिए असंभवता का परिणाम AWM गेम मॉडल के दायरे में सत्य है, न कि खेल के वास्तविक कोड के संबंध में।



