เป็นเวลาหลายทศวรรษที่ IBM เป็นผู้นำในอุตสาหกรรมคอมพิวเตอร์อย่างไร้ข้อโต้แย้ง แม้กระทั่งทุกวันนี้ แม้ว่ามันจะไม่ได้มีบทบาทเหนือกว่าอย่างที่มันเคยมี แต่งานของเขายังคงมีความเกี่ยวข้อง อย่างไรก็ตาม ในกรณีของปัญญาประดิษฐ์ การเข้าและออกของ IBM ค่อนข้างรวดเร็วแม้ว่าจะมีความสำคัญมากก็ตาม
ในยุค XNUMX การวิจัยในสาขาวิชานี้ถือเป็นส่วนสำคัญของความรู้ที่จำเป็นในการสร้างคอมพิวเตอร์ที่ดีขึ้น ดังนั้น IBM จึงตัดสินใจให้ไฟเขียวแก่การพัฒนาโปรแกรมที่จะแก้ทฤษฎีบท
เข้าและออกจาก IBM
เราได้เห็นใน บทความก่อนหน้านี้ ไซมอนและทีมของเขาประสบความสำเร็จด้วยโปรแกรมที่พิสูจน์ทฤษฎีบททางคณิตศาสตร์ สำหรับสิ่งนี้ พวกเขาต้องสร้างภาษาโปรแกรมใหม่
ความท้าทายที่ IBM เผชิญอยู่นั้นมีปัญหาเพิ่มเติม เพื่อให้คอมพิวเตอร์พิสูจน์ทฤษฎีบททางเรขาคณิตได้ มันต้องเห็นภาพนั้น ยังไม่มีการคิดค้นกล้องเว็บและซอฟต์แวร์ที่สามารถประมวลผลภาพได้
ทีมที่ได้รับเลือกสำหรับงาน มันคือ IBM 704 ซึ่งถือได้ว่าเป็นหนึ่งในซูเปอร์คอมพิวเตอร์เครื่องแรกของโลก ฉเป็นรายแรกที่รวมจุดลอยตัวของฮาร์ดแวร์
การดำเนินการเลขทศนิยมประกอบด้วยการบวก การลบ การหาร การคูณ และการคำนวณรากที่สองด้วยจำนวนที่มากหรือน้อย
นอกจากนี้ยังมีหน่วยความจำแกนแม่เหล็กที่เร็วกว่าระบบดรัมแม่เหล็กที่ใช้ในรุ่นก่อนๆ และสามารถดำเนินการได้สี่หมื่นคำสั่งต่อวินาทีที่แสดงเป็นคำสั่ง 36 บิต
ซอฟต์แวร์ใช้เวลาสามปีในการเตรียมพร้อมเป็นผู้จัดการ แพทย์ฟิสิกส์ชื่อ Herbert Gllenter, tเขาต้องคิดค้นภาษาโปรแกรมใหม่ ที่สามารถจัดการกับสัญลักษณ์อย่าง IPL ได้ แต่นั่นก็ทำให้ง่ายต่อการตั้งโปรแกรม Fortran ซึ่งเป็นการพัฒนาโดย IBM เองสำหรับการสร้างแอปพลิเคชันสำหรับการคำนวณทางวิทยาศาสตร์
โปรแกรม ได้รับข้อมูลเกี่ยวกับรูปทรงเรขาคณิตที่ต้องทำงานในรูปแบบของชุดพิกัดที่ป้อนในรูปแบบของบัตรเจาะ และเขากำลังสรุปผลลัพธ์ขั้นกลางจากข้อมูลที่ทราบ
ซอฟต์แวร์นี้กลายเป็นที่รู้จักในชื่อ Geometry Theorem Prover (Geometry Problem Prover) และขึ้นอยู่กับคุณสมบัติเหล่านั้นที่สามารถตรวจสอบได้ในรูปวาด เขาสามารถแก้ทฤษฎีบทสองขั้นตอนได้ XNUMX ความเป็นไปได้ที่แตกต่างกัน เมื่อทำสุ่มสี่สุ่มห้า เขาจะต้องวิเคราะห์หนึ่งล้าน
เครื่องทดสอบปัญหาเรขาคณิตเป็นคนแรกที่ใช้เทคนิคที่เรียกว่าการอ้างอิงแบบจำลอง. เว้นแต่คุณจะลงจอดบนจานบินเมื่อ 5 นาทีก่อน แน่นอนว่าคุณคงเคยได้ยินเกี่ยวกับผลลัพธ์ล่าสุดของการใช้เทคนิคนี้: ChatGPT
ในด้านปัญญาประดิษฐ์ แบบจำลองเป็นตัวแทนของกระบวนการที่ซับซ้อนซึ่งสามารถทำการอนุมานได้ ในกรณีของผู้ทดสอบ แบบจำลองคือพิกัดของรูปทรงเรขาคณิต ในกรณีของ ChatGPT แบบจำลองที่สามารถประมวลผลภาษามนุษย์ได้
คอมพิวเตอร์ IBM อื่นๆ กำลังทำสิ่งที่จริงจังน้อยกว่า เช่น การเรียนรู้หมากฮอสหรือหมากรุก ในกรณีแรก วัตถุประสงค์คือเพื่อดูว่าเครื่องจักรสามารถเรียนรู้เกี่ยวกับวิธีการเล่นของคู่ต่อสู้ได้หรือไม่ ในที่สุดเขาก็สามารถเอาชนะเขาได้ ดังนั้นดูเหมือนว่าเขาจะทำได้
ความสำเร็จในช่วงแรกของ IBM ก็เป็นสาเหตุของการละทิ้งสาขานี้เช่นกัน คอมพิวเตอร์สำหรับเล่นหมากรุกและหมากฮอสโดยเฉพาะนั้นประสบความสำเร็จอย่างมากกับสื่อมวลชน แต่ ผู้ถือหุ้นของบริษัทไม่มากนักที่มองว่าเป็นการเสียเงินโดยเปล่าประโยชน์
ในการนี้เราต้องเพิ่มแผนกการตลาดของ บริษัท เขาสังเกตเห็นว่าความไม่ไว้วางใจต่อคอมพิวเตอร์ในบรรดาผู้มีโอกาสเป็นลูกค้าของเขาเพิ่มมากขึ้น. มีความกลัวในหมู่ผู้ที่รับผิดชอบในการซื้อพวกเขาว่าการซื้อของพวกเขาจะจบลงด้วยการแทนที่พวกเขา
การวิจัยด้านปัญญาประดิษฐ์ถูกยกเลิกและกลยุทธ์การตลาดใหม่คือการกำหนดลักษณะคอมพิวเตอร์ให้เป็นตัวประมวลผลข้อมูลที่ทำตามคำสั่งเท่านั้น
สิ่งเดียวกันนี้จะเกิดขึ้นกับเครื่องมือใหม่ ๆ ในตอนนี้หรือไม่? พวกเขาจะถูกแบนจากบริษัทต่างๆ เพราะกลัวว่าจะลงเอยด้วยการดำรงตำแหน่งสูงสุดหรือไม่?
เราจะต้องรอดูกันต่อไป