Trong nhiều thập kỷ, IBM là nhà lãnh đạo không thể tranh cãi của ngành công nghiệp máy tính. Ngay cả ngày nay, mặc dù nó không chiếm vai trò ưu tiên như trước đây, nhưng công việc của anh ấy vẫn tiếp tục có liên quan. Tuy nhiên, trong trường hợp Trí tuệ nhân tạo, việc vào và ra khỏi IBM diễn ra khá nhanh mặc dù rất quan trọng.
Vào những năm XNUMX, nghiên cứu trong lĩnh vực này được coi là một phần không thể thiếu trong kiến thức cần thiết để xây dựng những chiếc máy tính tốt hơn. Vì vậy, IBM đã quyết định bật đèn xanh cho việc phát triển một chương trình giải các định lý.
Vào và ra khỏi IBM
chúng tôi đã thấy trong bài viết trước rằng Simon và nhóm của ông đã thành công với một chương trình chứng minh các định lý toán học. Đối với điều này, họ phải tạo ra một ngôn ngữ lập trình mới.
Thách thức mà IBM phải đối mặt có thêm một vấn đề nữa. Để máy tính chứng minh một định lý hình học, nó phải nhìn thấy hình vẽ. Web camera và phần mềm có khả năng xử lý hình ảnh vẫn chưa được phát minh.
Đội được chọn cho nhiệm vụ Đó là chiếc IBM 704. Được coi là một trong những siêu máy tính đầu tiên trên thế giớiĐây là lần đầu tiên kết hợp điểm nổi phần cứng.
Các phép tính dấu phẩy động bao gồm các phép tính cộng, trừ, chia, nhân và căn bậc hai với các số rất lớn hoặc rất nhỏ.
Nó cũng có bộ nhớ lõi từ nhanh hơn hệ thống trống từ được sử dụng trong các kiểu máy trước đó và có khả năng thực hiện bốn mươi nghìn lệnh mỗi giây được thể hiện bằng lệnh 36 bit.
Phần mềm này mất ba năm để sẵn sàng với tư cách là người quản lý của nó, một tiến sĩ vật lý tên là Herbert Gellenter, tAnh ấy phải phát minh ra một ngôn ngữ lập trình mới có thể điều khiển các ký hiệu như IPL nhưng có thể dễ dàng lập trình Fortran, một sự phát triển của chính IBM để tạo ra các ứng dụng cho tính toán khoa học.
Chương trình đã nhận được thông tin về hình hình học mà nó phải làm việc dưới dạng một chuỗi tọa độ được nhập dưới dạng thẻ đục lỗ và anh ấy đang suy ra các kết quả trung gian từ dữ liệu đã biết.
Phần mềm này được gọi là Trình chứng minh định lý hình học (Geometry Problems Prover) và dựa trên các tính chất đó mà nó có thể xác minh trong bản vẽ anh ấy đã xoay sở để giải một định lý hai bước cho XNUMX khả năng khác nhau khi thực hiện nó một cách mù quáng, anh ấy sẽ phải phân tích một triệu khả năng.
Người kiểm tra vấn đề hình học là người đầu tiên sử dụng một kỹ thuật gọi là tham chiếu mô hình.. Trừ khi bạn đã hạ cánh xuống đĩa bay cách đây 5 phút, còn không thì chắc chắn bạn đã từng nghe về một trong những kết quả mới nhất của việc áp dụng kỹ thuật này: ChatGPT.
Trong lĩnh vực trí tuệ nhân tạo Một mô hình là một đại diện của một quá trình phức tạp mà từ đó có thể thực hiện các suy luận. Trong trường hợp của người thử nghiệm, mô hình là tọa độ của hình hình học, trong trường hợp của ChatGPT, một mô hình có khả năng xử lý ngôn ngữ của con người.
Các máy tính IBM khác đang làm những việc ít nghiêm túc hơn như học cờ đam hoặc cờ vua. Trong trường hợp đầu tiên, mục tiêu là để xem liệu một cỗ máy có khả năng học cách chơi của đối thủ hay không. Cuối cùng anh ta cũng đánh bại được anh ta nên có vẻ như anh ta đã làm được.
Những thành công ban đầu của IBM cũng là nguyên nhân khiến hãng từ bỏ lĩnh vực này. Máy tính chuyên dùng để chơi cờ vua và cờ đam đã rất thành công với báo chí, nhưng không quá nhiều trong số các cổ đông của công ty, những người coi đó là một sự lãng phí tiền bạc.
Về điều này, chúng ta phải nói thêm rằng bộ phận tiếp thị của công ty Anh ấy nhận thấy rằng trong số các khách hàng tiềm năng của mình, sự mất lòng tin đối với máy tính ngày càng tăng. Những người chịu trách nhiệm mua chúng lo sợ rằng việc mua hàng của họ cuối cùng sẽ thay thế chúng.
Nghiên cứu về Trí tuệ nhân tạo đã bị bỏ dở và chiến lược tiếp thị mới là mô tả máy tính là bộ xử lý dữ liệu chỉ làm những gì chúng được bảo.
Điều tương tự sẽ xảy ra với các công cụ mới hiện đang thịnh hành? Liệu họ có bị cấm vào các công ty vì sợ rằng cuối cùng họ sẽ chiếm những vị trí cao nhất?
Chúng ta sẽ phải chờ để xem nó.