इंस्टीट्यूट ऑफ आर्टिफिशियल इंटेलिजेंस के वैज्ञानिक पॉल एलन और वाशिंगटन विश्वविद्यालय ने जियोस नामक एक आर्टिफिशियल इंटेलिजेंस सिस्टम बनाने की घोषणा की, जो 11 वीं कक्षा के मध्य के छात्र के स्तर पर ज्यामिति में अमेरिकी सैट- टेस्ट पास करने में सक्षम है । और यह इस तथ्य के बारे में नहीं है कि कार्यों को कुछ विशेष तरीके से तैयार करने और किसी तरह की योजना के रूप में कंप्यूटर में प्रवेश करने की आवश्यकता है: जियोस कंप्यूटर विज़न का उपयोग ड्राइंग के विश्लेषण के लिए करता है और समस्या का सार "समझने" के लिए एक सादे पाठ प्रसंस्करण प्रणाली का उपयोग करता है। एक वृत्त (और 4 अन्य समस्याओं) में उत्कीर्ण एक त्रिभुज की समस्या को हल करने के साथ एआई का सामना कैसे किया जाता है, इसका एक उदाहरण यहां पाया जा सकता है।सिस्टम के साथ काम करने और समाधान को विश्वसनीय मानने वाले कार्यों का प्रतिशत 96% है। इसी समय, आधिकारिक सैट परीक्षण को हल करते हुए, जियोस 49% की सटीकता दिखाता है। दूसरे शब्दों में, यह पता चलता है कि अधिकतम संभव अंकों में से, जो कि 800 के बराबर है, सिस्टम लगभग 500 प्राप्त करने में सक्षम है। अब तक, जियोओएस सफलतापूर्वक केवल प्लानमेट्री के कार्यों से मुकाबला करता है, इसे अगले तीन वर्षों में स्टीरियोमेट्रिक कार्यों में सुधार करने की योजना है। सिस्टम के सिद्धांतों की एक सख्त प्रस्तुति लेख ( पीडीएफ ) में दी गई है ।यदि आप एक ज्यामितीय समस्या को हल करने की प्रक्रिया का पालन करने की कोशिश करते हैं, तो आप पा सकते हैं कि ड्राइंग और साथ में पाठ का विश्लेषण करने की प्रक्रिया में, जियोएस बयानों का एक सेट बनाता है, "समझ", उदाहरण के लिए, कार्य के बारे में "एबी 5 है" निम्नलिखित के बारे में: IsLine (AB) या लंबाई (एबी) = ५। उसी समय, सिस्टम पाठ में आरेखण तत्वों के संबंध के लिए अंतर्निहित संदर्भ के लिए सक्षम है, यह निर्धारित करता है कि समाधान के लिए आवश्यक होने पर, कुछ लाइनें किसी दिए गए बिंदु पर प्रतिच्छेद करती हैं। एक कार्य का एक उदाहरण और बयानों के परिणामस्वरूप सेट निम्नानुसार है:
परिणामस्वरूप, समाधान उपतंत्र स्वयं इनपुट के रूप में लगभग "कोड" प्राप्त करता है:IsDiameterLineOf(Line($point_0:point,$point_3:point),Circle($point_1:point,$radius_1_0:number)) IsCenterOf($point_1:point,Circle($point_1:point,$radius_1_0:number)) Equals(LengthOf(Line($point_0:point,$point_2:point)),LengthOf(Line($point_0:point,$point_1:point))) PointLiesOnCircle($point_2:point,Circle($point_1:point,$radius_1_0:number)) PointLiesOnCircle($point_3:point,Circle($point_1:point,$radius_1_0:number)) PointLiesOnLine($point_1:point,Line($point_0:point,$point_3:point)) Is(MeasureOf(Angle($point_1:point,$point_2:point,$point_0:point)),$What:number) IsInscribedIn(Triangle($point_3:point,$point_2:point,$point_0:point),Circle($point_1:point,$radius_1_0:number)) PointLiesOnCir
सभी सामग्री जो जियोस की तैयारी में उपयोग की गई थी, वीडियो, लेख और स्रोत सॉफ्टवेयर सभी के लिए उपलब्ध हैं ।