Selama beberapa dekade, IBM adalah pemimpin industri komputasi yang tak terbantahkan. Bahkan saat ini, meskipun tidak menempati peran utama seperti dulu, karyanya tetap relevan. Namun, dalam kasus Kecerdasan Buatan, masuk dan keluarnya IBM cukup cepat meskipun sangat penting.
Pada tahun lima puluhan, penelitian dalam disiplin ini dianggap sebagai bagian integral dari pengetahuan yang diperlukan untuk membangun komputer yang lebih baik. Jadi IBM memutuskan untuk memberikan lampu hijau untuk pengembangan program yang akan memecahkan teorema.
Masuk dan keluar dari IBM
kami telah melihat di artikel sebelumnya bahwa Simon dan timnya berhasil dengan program yang membuktikan teorema matematika. Untuk ini, mereka harus membuat bahasa pemrograman baru.
Tantangan yang dihadapi IBM memiliki masalah tambahan. Agar komputer membuktikan teorema geometris, ia harus melihat gambarnya. Kamera web dan perangkat lunak yang mampu memproses gambar belum ditemukan.
Tim yang dipilih untuk tugas tersebut Itu adalah IBM 704. Dianggap sebagai salah satu superkomputer pertama di dunia fItu adalah yang pertama memasukkan floating point perangkat keras.
Operasi floating-point meliputi penjumlahan, pengurangan, pembagian, perkalian, dan perhitungan akar kuadrat dengan angka yang sangat besar atau sangat kecil.
Itu juga memiliki memori inti magnetik yang lebih cepat daripada sistem drum magnetik yang digunakan pada model sebelumnya dan mampu mengeksekusi empat puluh ribu instruksi per detik yang dinyatakan dalam instruksi 36-bit.
Perangkat lunak membutuhkan waktu tiga tahun untuk siap sebagai manajernya, seorang dokter fisika bernama Herbert Gellenter, tDia harus menemukan bahasa pemrograman baru yang dapat memanipulasi simbol seperti IPL tetapi memiliki kemudahan memprogram Fortran, sebuah pengembangan oleh IBM sendiri untuk pembuatan aplikasi perhitungan ilmiah.
Programnya menerima informasi tentang sosok geometris yang harus dikerjakannya dalam bentuk serangkaian koordinat yang dimasukkan dalam bentuk kartu berlubang dan dia menyimpulkan hasil antara dari data yang diketahui.
Perangkat lunak ini kemudian dikenal sebagai Pembukti Teorema Geometri (Pembukti Masalah Geometri) dan berdasarkan sifat-sifat yang dapat diverifikasi dalam gambar dia berhasil memecahkan teorema dua langkah untuk dua puluh lima kemungkinan berbeda ketika, melakukannya secara membabi buta, dia harus menganalisis satu juta.
Penguji masalah geometri adalah yang pertama menggunakan teknik yang dikenal sebagai referensi model.. Kecuali Anda mendarat di piring terbang 5 menit yang lalu, pasti Anda pernah mendengar tentang salah satu hasil terbaru dari penerapan teknik ini: ChatGPT.
Di bidang kecerdasan buatan Model adalah representasi dari proses yang kompleks dari mana kesimpulan dapat dibuat. Dalam kasus penguji, modelnya adalah koordinat figur geometris, dalam kasus ChatGPT, modelnya mampu memproses bahasa manusia.
Komputer IBM lain melakukan hal-hal yang kurang serius seperti belajar catur atau catur. Dalam kasus pertama, tujuannya adalah untuk melihat apakah sebuah mesin mampu mempelajari cara bermain lawannya. Dia akhirnya berhasil mengalahkannya sehingga terlihat seperti dia melakukannya.
Keberhasilan awal IBM juga menjadi penyebab ditinggalkannya bidang ini. Komputer yang didedikasikan untuk bermain catur dan catur sangat sukses dengan pers, tetapi tidak begitu banyak di antara pemegang saham perusahaan yang menganggapnya sebagai pemborosan uang.
Untuk ini kita harus menambahkan bahwa departemen pemasaran perusahaan Dia memperhatikan bahwa di antara calon kliennya, ketidakpercayaan terhadap komputer semakin meningkat. Ada ketakutan di antara mereka yang bertanggung jawab untuk memperolehnya bahwa pembelian mereka pada akhirnya akan menggantikannya.
Penelitian dalam Kecerdasan Buatan ditinggalkan dan strategi pemasaran yang baru adalah mengkarakterisasikan komputer sebagai pemroses data yang hanya melakukan apa yang diperintahkan.
Akankah hal yang sama terjadi dengan alat-alat baru yang sekarang sedang populer? Apakah mereka akan di-ban dari perusahaan karena takut pada akhirnya menduduki posisi tertinggi?
Kita harus menunggu untuk melihatnya.