Sekelompok ilmuwan dari Institute of Artificial Intelligence Paul Allen dan University of Washington mengumumkan penciptaan sistem kecerdasan buatan yang disebut GeoS, yang mampu lulus tes SAT Amerika dalam geometri pada tingkat siswa menengah kelas 11. Dan ini bukan tentang fakta bahwa tugas-tugas perlu disiapkan dalam beberapa cara khusus dan dimasukkan ke dalam komputer dalam bentuk semacam skema: GeoS menggunakan visi komputer untuk menganalisis gambar dan sistem pemrosesan teks biasa untuk "memahami" esensi masalah. Contoh bagaimana AI mengatasi masalah segitiga yang tertulis dalam lingkaran (dan 4 masalah lainnya) dapat ditemukan di sini.Persentase tugas yang ditangani oleh sistem dan menganggap solusi tersebut andal adalah 96%. Pada saat yang sama, menyelesaikan tes SAT resmi, GeoS menunjukkan akurasi 49%. Dengan kata lain, ternyata dari jumlah poin maksimum yang mungkin, yaitu sama dengan 800, sistem ini bisa mendapatkan sekitar 500. Sejauh ini, GeoOS berhasil mengatasi hanya dengan tugas-tugas planimetri, direncanakan untuk memperbaikinya ke tugas stereometrik dalam tiga tahun ke depan. Presentasi ketat tentang prinsip-prinsip sistem diberikan dalam artikel ( pdf ).Jika Anda mencoba mengikuti proses penyelesaian masalah geometris, Anda dapat menemukan bahwa dalam proses menganalisis gambar dan teks yang menyertainya, GeoS membangun seperangkat pernyataan, "memahami", misalnya, kata-kata tugas "AB adalah 5" tentang hal berikut: IsLine (AB) atau panjang (AB) = 5. Pada saat yang sama, sistem mampu menebus referensi implisit untuk hubungan elemen gambar dalam teks, menentukan bahwa beberapa garis berpotongan pada titik tertentu, jika perlu untuk solusi. Contoh gambar tugas dan kumpulan pernyataan yang dihasilkan adalah sebagai berikut:
Sebagai hasilnya, subsistem solusi itu sendiri menerima kira-kira "kode" berikut sebagai input: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
Semua bahan yang digunakan dalam persiapan GeoS, video, artikel dan perangkat lunak sumber tersedia untuk semua orang.