“Tiên tiến tính toán” bản khối một cái thiệp, tiêu đề mang theo một loại gần như hoang đường hài hước cảm: 《 chúng ta làm ra “Nhân tạo đại não”, lại phát hiện không ai sẽ nói “Não ngữ” 》. Thiệp tường thuật toàn cầu nhiều gia đầu sỏ cùng phòng thí nghiệm tuyên bố thần kinh ngụy trang chip mới nhất tiến triển: IBM TrueNorth, Intel Loihi, quốc nội “Darwin”…… Chúng nó ở vận hành riêng mạch xung mạng lưới thần kinh ( SNN ) nhiệm vụ khi, có thể hiệu so truyền thống GPU cao hơn hàng trăm hàng ngàn lần. Nhưng mà, thiệp chuyện vừa chuyển:
“Chúng ta có được bắt chước sinh vật thần kinh nguyên mạch xung phát, asynchronous sự kiện điều khiển ‘ nhân tạo đại não ’ phần cứng ( A ), nhưng này bộ căn cứ vào mạch xung, thời gian, tính dẻo ‘ mô phỏng trí tuệ ’ phạm thức, cùng thống trị tính toán thế giới hơn nửa thế kỷ, căn cứ vào bố nhĩ logic, đồng bộ đồng hồ, chính xác mệnh lệnh John von Neumann biên trình phạm thức ( B ) hoàn toàn tua nhỏ. Vì này đó chip biên trình, tựa như ý đồ dùng C ngôn ngữ chỉ huy một đám ong mật khiêu vũ. Không có thành thục thao tác hệ thống, biên dịch khí, điều chỉnh thử công cụ, thậm chí liền một cái bị rộng khắp tiếp thu, miêu tả mạch xung mạng lưới thần kinh cao cấp biên trình ngôn ngữ đều không có. Chúng ta tay cầm Thần Khí, lại chỉ có một quyển không người có thể hiểu ‘ thiên thư ’ làm bản thuyết minh.”
Cùng thiếp giả sôi nổi phun tào.
“Cấp Loihi viết trình tự, cảm giác chính mình giống cái thần kinh nhà khoa học ở hơi điện cực hàng ngũ thượng làm điện giật thực nghiệm, mà không phải lập trình viên.”
“Hiện có SNN huấn luyện thuật toán ( như STDP ) hiệu quả không ổn định, nhổ trồng truyền thống CNN mô hình đến SNN độ chặt chẽ tổn thất thật lớn.”
“Này căn bản không phải biên trình, là ‘ dạy dỗ ’! Hơn nữa mỗi lần ‘ dạy dỗ ’ kết quả còn không thể lặp lại!”
“Phần cứng là tương lai, phần mềm là tiền sử. Chúng ta bị nhốt ở thời gian phay đứt gãy.”
Thần kinh ngụy trang tính toán, cái này từng bị ký thác kỳ vọng cao “Tương lai”, nguyên nhân chính là vì khuyết thiếu cùng hiện thực tiếp lời, mà trở thành phòng thí nghiệm sang quý mà quái gở kỳ quan.
Vũ hằng nơi công ty, gần nhất tham dự một cái trí năng an phòng hạng mục đấu thầu. Đối thủ phương án biểu thị trung, một khoản căn cứ vào thần kinh ngụy trang chip thị giác truyền cảm khí, có thể ở cực thấp công hao hạ thật thời phân biệt dị thường hành vi, này “Trước sau tại tuyến, sự kiện kích phát” đặc tính lệnh người ấn tượng khắc sâu. Tuy rằng nhà mình đoàn đội cuối cùng bằng vào càng thành thục truyền thống phương án thắng tiêu, nhưng cái kia biểu thị ở vũ hằng trong đầu vứt đi không được. Cái loại này hiệu suất cao, phảng phất có được “Bản năng” xử lý phương thức, cùng nàng chính mình biên soạn, yêu cầu rộng lượng số liệu cùng tính lực tiến hành trước xử lý phân biệt số hiệu, hình thành tiên minh đối lập.
Đương nàng xem trên diễn đàn về “Não ngữ” khốn cảnh thảo luận khi, mu bàn tay truyền đến một trận kỳ lạ, đứt quãng mà giàu có tiết tấu rất nhỏ nhịp đập, không giống điện lưu ổn định, càng giống nào đó sinh vật tính nhịp đập. Hệ thống “Thị giác” triển khai, lúc này đây, nàng “Nhìn đến” không phải mạch điện hoặc số hiệu, mà là hai loại hoàn toàn bất đồng “Tin tức lưu” tranh cảnh.
Một bên là hợp quy tắc, võng cách hóa, đồng bộ đi tới số liệu phương trận ( truyền thống con số tính toán ); bên kia là tán điểm, dị bước bùng nổ, dọc theo phức tạp internet đường nhỏ lập loè truyền mạch xung gợn sóng ( thần kinh ngụy trang ). Giữa hai bên vắt ngang thật lớn hồng câu. Vấn đề bị rõ ràng mà hiện ra: Ý đồ dùng chỉ huy phương trận hiệu lệnh ( đồng bộ mệnh lệnh ), đi điều hành một đám tự do lập loè đom đóm ( dị bước mạch xung ), không chỉ là phí công, càng là đối người sau bản chất bóp chết.
“Hỏa hoa” có lý giải đến “Hồng câu” bản chất nháy mắt phát ra:
Mâu thuẫn căn nguyên, có lẽ ở chỗ chúng ta ý đồ dùng “Miêu tả như thế nào làm” ( imperative programming ) cũ ngôn ngữ, đi mệnh lệnh một cái “Căn cứ vào sự kiện cùng trạng thái tự nhiên hưởng ứng” tân hệ thống. Thần kinh ngụy trang phần cứng chân chính ưu thế, không ở với nó “Giống não”, mà ở với nó cung cấp một loại “Căn cứ vào thời không sự kiện tính toán” nguyên sinh phạm thức. Chúng ta yêu cầu không phải phiên dịch cũ mệnh lệnh, mà là sáng tạo một loại có thể “Miêu tả tính toán mục tiêu cùng ước thúc”, cũng làm phần cứng tự hành tìm kiếm thực hiện đường nhỏ “Tân khế ước”.
Một phần tên là 《 mặt hướng sự kiện điều khiển tính toán thanh minh thức biên trình cùng biên dịch dàn giáo 》 lam đồ phương hướng ở nàng ý thức trung hình thành. Này trung tâm là ba tầng trừu tượng:
1. Thanh minh tầng: Khai phá giả dùng cao cấp ngôn ngữ miêu tả tính toán mục tiêu ( như “Thí nghiệm hình ảnh trung nhanh chóng di động vật thể”, “Ở giọng nói lưu trung phân biệt từ ngữ mấu chốt” ), cùng với ước thúc điều kiện ( như lớn nhất lùi lại, công hao dự toán, chuẩn xác suất yêu cầu ), mà phi cụ thể internet kết cấu cùng mạch xung phát quy tắc.
2. Biên dịch cùng ưu hoá tầng: Một cái chuyên môn biên dịch khí, đem thanh minh thức mục tiêu, kết hợp mục tiêu chip vật lý đặc tính ( thần kinh nguyên động lực học, liên tiếp Topology ), tự động tổng hợp ra thích hợp mạch xung mạng lưới thần kinh kết cấu, liên tiếp quyền trọng mới bắt đầu giá trị, cùng với tính dẻo quy tắc tham số. Nó càng giống một cái “Chip thượng tính toán giá cấu sư”.
3. Vận hành khi thanh thản ứng tầng: Phần cứng ở vận hành trung, nhưng căn cứ đưa vào lưu thống kê đặc tính, ở dự thiết tham số không gian nội tiến hành hơi điều, thực hiện trình độ nhất định tại tuyến học tập cùng thích ứng.
Đêm khuya, “Trí giả nhà”. “Architect” ID lại lần nữa xuất hiện ở cái kia về “Não ngữ” thiệp hạ.
Tiêu đề ( hồi phục ): 《 “Ánh sáng đom đóm” chi ngữ —— thí luận cùng sự kiện điều khiển phần cứng nói chuyện với nhau chi đạo 》
Nội dung:
“Thấy chư quân vây với thần kinh ngụy trang biên trình chi hoang mạc, giống như cầm hoa mỹ chương nhạc, mà đối mặt một đám chỉ thức mưa gió, triều tịch chi cổ nhạc tay, này tích tụ cũng biết. Phùng thị máy móc chi tư, nãi ‘ kỷ luật nghiêm minh ’; mạch xung tính toán chi tủy, ở ‘ nhân thế mà phát ’. Cường lấy kỷ luật nghiêm minh chi đạo ngự nhân thế mà phát chi khí, chẳng lẽ không phải trống đánh xuôi, kèn thổi ngược?
“Lão hủ ngu kiến, hoặc nhưng bỏ ‘ chỉ huy ’ chi niệm, chuyển lập ‘ khế ước ’ chi ước. Thí nghĩ một cùng sự kiện điều khiển phần cứng ‘ nói chuyện với nhau ’ chi dàn giáo, này phải có tam:
“Một rằng, lập ước lấy định mục tiêu. Không viết ‘ thần kinh nguyên mấy phần, như thế nào liên tiếp, khi nào phóng điện ’, mà thư ‘ với kiểu gì tình cảnh hạ, cần đến gì quả, nhưng háo bao nhiêu, nhưng đãi bao lâu ’. Tỷ như: ‘ coi lưu bên trong, có vật tật động siêu ngạch, đương với trăm hào giây nội cảnh báo, đều công hao giới hạn trong hào ngói. ’ đây là thanh minh thức quy ước, giới định nhiệm vụ chi biên giới cùng sở cầu.
“Nhị rằng, biên dịch lấy hóa khế ước. Thiết một ‘ khế ước biên dịch khí ’, này nội khảm mục tiêu chip chi ‘ tính nết ’ mô hình ( thần kinh nguyên động thái, đột xúc đặc tính, liên tiếp tài nguyên ). Chịu nhập quy ước sau, biên dịch khí tự động thăm dò, với chip tài nguyên cùng ước thúc dàn giáo nội, ‘ bện ’ ra một khả năng chi mạch xung internet kết cấu cập mới bắt đầu tham số tập. Quá trình của nó, giống như vì riêng địa mạo cùng khí hậu, thiết kế một nhất nghi sinh tồn chi sinh thái quần lạc. Này biên dịch phi nhất thành bất biến, nhưng tùy chip chế tạo khác biệt, độ ấm biến hóa mà hơi điều mới bắt đầu ‘ gieo giống ’ trạng thái.
“Tam rằng, vận hành lấy thực hiện lời hứa định. Phần cứng vận hành khoảnh khắc, cho phép này ở nhất định trong phạm vi, căn cứ đưa vào lưu chi tình hình thực tế, hơi điều tham số ( như thông qua nội trí tính dẻo quy tắc ), lấy càng tốt ‘ thực hiện khế ước ’. Này phi toàn bộ học tập, nãi khế ước điều khoản nội thích ứng tính giải thích.
“Kể từ đó, khai phá giả không cần miệt mài theo đuổi ‘ não ngữ ’ chi tiết, chỉ cần rõ ràng ‘ nhiệm vụ khế ước ’; phần cứng chi ‘ mô phỏng trí tuệ ’, có thể ở khế ước dàn giáo nội tự do thi triển. Phụ thượng một phần vì thế dàn giáo thiết kế lĩnh vực riêng ngôn ngữ ( DSL ) bản dự thảo, cập một cái nhằm vào mỗ loại cuốn tích thị giác nhiệm vụ đơn giản biên dịch thí dụ mẫu. Này nói chi sơ, tất nhiều nhấp nhô, nhiên hoặc có thể vì xuyên qua hoang mạc, cung cấp một trương chú trọng ‘ mục đích địa ’ mà phi ‘ từng bước đường nhỏ ’ bản đồ. Một chút hà tư, lại thỉnh chư quân tuân thủ nguyên tắc.”
Thiệp đưa ra “Khế ước” cùng “Biên dịch” tân phạm thức, ý đồ ở “Làm cái gì” cùng “Như thế nào làm” chi gian thành lập tự động hoá nhịp cầu.
Nghi ngờ thanh lại lần nữa ngắm nhìn với “Nhưng thực hiện tính”.
“Tự động tổng hợp SNN? Này so truyền thống thần kinh giá cấu tìm tòi ( NAS ) còn khó! Tìm tòi không gian lớn đến không thể tưởng tượng!”
“Thanh minh thức mục tiêu như thế nào định nghĩa? ‘ thí nghiệm dị thường ’ loại này miêu tả, biên dịch khí có thể nghe hiểu?”
“Phần cứng tại tuyến hơi điều? Ổn định tính như thế nào bảo đảm? Có thể hay không chạy trật, khế ước hoàn toàn mất đi hiệu lực?”
@ lão đầu gỗ bác bỏ như cũ sắc bén, thẳng đánh chuyên gia vô giải tầng dưới chót bế tắc:
“@Architect tiên sinh, ngài dùng ‘ khế ước ’ che giấu ba cái kỹ thuật vực sâu:
Thứ nhất, mơ hồ mục tiêu hình thức hóa bế tắc: Thị giác dị thường, giọng nói ý đồ chờ nhiệm vụ vô thống nhất lượng hóa tiêu chuẩn, hình thức hóa miêu tả vô thông dụng phạm thức, thuộc nhận tri cùng tính toán tầng dưới chót hồng câu;
Thứ hai, SNN tự động tìm tòi phức tạp độ bế tắc: Mạch xung internet thời không ngẫu hợp đặc tính làm tìm tòi không gian trình chỉ số cấp bành trướng, hiện có tính lực vô pháp ở hữu hiệu thời gian nội thu liễm, thuộc tính toán phức tạp tính cực hạn;
Thứ ba, thanh thản ứng hành vi nghiệm chứng bế tắc: Tại tuyến hơi điều trí internet động thái diễn biến, vô phương pháp nghiệm chứng toàn trường cảnh hành vi hợp quy tính, an toàn biên giới không thể khống, thuộc động thái hệ thống nghiệm chứng tuyệt cảnh;
Đây là đem biên trình nan đề thăng cấp vì nguyên biên trình chung cực nan đề, mà phi đơn giản hoá!”
Architect hồi phục, chạm đến mô phỏng cùng con số cùng tồn tại bản chất, tinh chuẩn hòa tan tam đại bế tắc:
“Mộc lão tam hỏi, thật là này nói căn cơ, lão hủ thí lấy phân tầng phá cục:
Về mục tiêu hình thức hóa: Xây dựng lĩnh vực hóa quy ước kho, đem mơ hồ nhiệm vụ hóa giải vì nhưng lượng hóa chỉ tiêu ( di động tốc độ, lệch khỏi quỹ đạo ngưỡng giới hạn, khi duyên hạn mức cao nhất ), trước rơi xuống đất thị giác, giọng nói chờ minh xác cảnh tượng, từng bước thay đổi hình thành thông dụng từ điển, phi dùng một lần xây dựng toàn thể hệ;
Về tìm tòi phức tạp độ: Chọn dùng phần cứng cảm giác phân khối tìm tòi, phục dùng dự huấn luyện mạch xung tính tử kho, đem toàn vực tìm tòi hóa giải vì tử mô khối ưu hoá, kết hợp cường hóa học tập cắt chi không có hiệu quả không gian, chi tiêu tập trung với đám mây dự biên dịch, quán mỏng đến rộng lượng đầu cuối thiết bị;
Về động thái nghiệm chứng: Bố trí nhẹ lượng cấp đặc thù máy theo dõi, dự thiết mạch xung phát suất, hưởng ứng khi duyên chờ an toàn ngưỡng giới hạn, vượt rào tức kích phát tham số hồi lăn, phụ lấy khu gian phân tích nghiệm chứng trạng thái tĩnh biên giới, động thái hành vi tỏa định ở dự thiết khu gian nội.”
“Này nói phi đơn giản hoá, nãi trách nhiệm dời đi: Khai phá giả định mục tiêu, biên dịch khí làm thực hiện, vận hành khi thủ biên giới, các tư này chức khống chế phức tạp tính. Mô phỏng trí tuệ cần con số quy ước vì khung, mới có thể thành dụng cụ, một chút vụng biện, lại thỉnh mộc lão sửa lỗi in.”
Biện luận tiêu điểm chuyển hướng hệ thống xây dựng chi tiết, trong nghề bắt đầu thăm dò hình thức hóa ngôn ngữ, phần cứng cảm giác biên dịch cùng nhẹ lượng cấp nghiệm chứng phương pháp.
Bốn tháng sau, Zurich Liên Bang lý công cùng Intel tuyên bố SNNLang khai nguyên dàn giáo, thực hiện thanh minh thức nhiệm vụ đến Loihi chip biên dịch; 《 tự nhiên · máy móc trí năng 》 khan văn đưa ra SNN an toàn nghiệm chứng dàn giáo, minh xác trích dẫn “Khế ước biên giới” lý niệm. Thanh minh thức biên trình lý niệm vì thần kinh ngụy trang phần mềm hoang mạc rót vào hệ thống hoá sinh cơ, khai nguyên công cụ lục tục xuất hiện.
Vũ hằng hệ thống giao diện đổi mới:
“Phần mềm hòn đá tảng - biên trình phạm thức: Sự kiện điều khiển khế ước dàn giáo nghiệm chứng (4/7). Tiếp theo nghiệm chứng tiết điểm: 3d tổng thể nhiệt lực khốn cục.”
Toàn cầu nhân loại hợp tác viện nghiên cứu mời này chủ đạo sự kiện điều khiển tính toán miêu tả ngôn ngữ quốc tế tiêu chuẩn, dắt đầu tổ kiến thần kinh ngụy trang phần mềm liên minh; @ Victor phát tới ám võng treo giải thưởng liên tiếp, phụ ngôn: “Ngươi định nghĩa khung, sẽ trở thành công kích bia ngắm, tự giải quyết cho tốt. ——V”
Vũ hằng đóng cửa trang web, mu bàn tay nhịp đập cảm bình ổn, trách nhiệm cùng biên giới trầm trọng cảm hiện lên, nàng vì mô phỏng trí tuệ tròng lên con số dây cương, tiếp theo tràng khiêu chiến, đem trực diện 3d chip chồng chất nhiệt ứng lực chung cực khốn cục.
( chương 12 xong )
【 chương sau báo trước 】
Đương bóng bán dẫn hơi co lại tới gần vật lý cực hạn, 3d chip chồng chất thành kéo dài Định luật Moore duy nhất đường nhỏ, nhưng nhiệt lượng trầm tích, nhiệt ứng lực xé rách, làm này thông thiên tháp hãm sâu địa ngục. Như thế nào khai thông nhiệt lực, hóa giải ứng lực, đánh vỡ vật lý gông xiềng? Chương sau, chúng ta đem trực diện 3D tổng thể tán nhiệt chung cuộc khốn cục.
Chương 13: 《 tán nhiệt chung cuộc ——3D IC nhiệt ứng lực địa ngục phá cục chi lộ 》
Mâu thuẫn: “3d tổng thể có thể tăng lên tính lực mật độ, lại nhân nhiệt lượng vô pháp đạo ra, tài liệu nhiệt bành trướng thất xứng, dẫn phát quá nhiệt, kiều khúc, mất đi hiệu lực, lương suất cùng đáng tin cậy tính sụp đổ ( B ).”