Chương 104: Mỗi cái lĩnh vực đều có Thiên hạ đệ nhất

Cook giáo sư chủ yếu nghiên cứu phương hướng "Tính toán tính chất phức tạp lý luận", loại này chuyên nghiệp thuật ngữ đại đa số người khẳng định nghe không hiểu,

Dùng hai câu tiếng người phiên dịch một chút, đại khái chính là như vậy:

Đầu tiên, dùng một máy tính đến giả thiết não người đối mặt vấn đề lúc xử lý mô hình. Tỉ như, khi đi một mình tiến một cái tràn đầy đám người lễ đường lúc, muốn biết "Trong lễ đường có hay không người ta quen biết" đáp án của vấn đề này, như vậy hắn liền phải từng bước một tìm kiếm, từ đầu tới đuôi từng cái nhận, nếu như toàn bộ người xem hết đều không có một cái người quen biết, mới có thể có ra "Trong lễ đường không có ta người quen biết" . Mà chỉ cần tìm được một cái người quen biết, liền có thể hạ "Nơi này có người ta quen biết" phán đoán.

Cho nên, thường thức cho rằng, "Từ khoa học nghiêm cẩn góc độ mà nói, chứng minh một việc so chứng ngụy một việc muốn hao phí càng nhiều phán đoán / tính toán tài nguyên, bởi vì chứng ngụy chỉ cần tìm tới một cái phản lệ liền có thể lấy kết thúc luận chứng, không còn tiếp tục hướng xuống hao phí tính toán tài nguyên. Mà chứng minh cần lật đổ tất cả phản lệ" .

Thế nhưng là tình huống thực tế dưới, não người tại "Không tận lực truy cầu tuyệt đối khoa học nghiêm cẩn" điều kiện tiên quyết, làm lớn bao nhiêu gây nên thô sơ giản lược phán đoán lúc, muốn so máy tính nhanh hơn nhiều.

Tỉ như để cho người ta nhìn một tấm hình, phán đoán trên tấm ảnh đồ vật có phải hay không "Mèo", người một chút liền đã đoán được, mà không cần đi nghiệm chứng "Trên hình ảnh cái này hư hư thực thực mèo sinh vật phải chăng có XXXXX cấp sinh vật học thượng đặc thù" .

Nói một cách khác, nhân loại hiểu được như thế nào bắt đại phóng nhỏ, dùng "Mơ hồ phép tính" mau chóng đạt được một cái miễn cưỡng có thể dùng, nhưng không quá nghiêm cẩn kết luận.

Mà thập kỉ 1980 trước kia, nhân loại căn bản là không biết như thế nào để máy tính "Không nghiêm cẩn" .

Cho nên máy tính đang cầu xin giải hết thảy vấn đề lúc đều là dùng nghiêm cẩn đến nổ bạo lực phép tính chọi cứng, dẫn đến rất nhiều bởi vì chi nhánh khả năng nhiều đến thiên lượng cấp đừng mà không cách nào cuối cùng vấn đề, máy tính liền không có cách nào giải quyết.

Tỉ như cờ vây. Bởi vì dù là lấy năm 2010 đại tính toán cơ phần cứng tính toán tốc độ, nếu như muốn bạo lực phép tính "Khoa học nghiêm cẩn" nghiên cứu kỹ hết thảy khả năng, toàn thế giới tính toán cơ cộng lại phân bố thức tính toán đều tính bất động. Cho nên tại loại này tư tưởng chỉ đạo dưới, nhân loại chỉ có thể thoả mãn với "Dùng bạo lực phép tính đánh hạ cờ vua loại hình cuối cùng tính toán lượng cũng không lớn trí nhớ vận động" . Mà thời không song song "Alpha Cẩu" xử lý nhiều cao thủ như vậy, liền tuyệt đối không thể tới gần hồ trẻ đần độn làm bừa bạo lực phép tính.

Steven. Cook suốt đời nghiên cứu, chính là tại giải quyết "Như thế nào để máy tính tại tài nguyên không cho phép nó triệt để nghiêm cẩn điều kiện tiên quyết, học được giống người não bắt đại phóng nhỏ, dùng có hạn tính toán tài nguyên đạt được một cái tương đối chính xác đại khái kết quả" .

Cố Thành cảm thấy, có lẽ Toronto Đại Học khoa máy tính bên trong, tại Cook dưới trướng, cất giấu càng nhiều từ khác nhau góc độ thăm dò lĩnh vực này nhân tài. Mà Geoffrey Hinton có khả năng chỉ là bởi vì lịch sử lựa chọn mà vừa lúc sớm nhất tại trí tuệ nhân tạo lĩnh vực ra mặt đưa tới coi trọng.

Nhưng cái này tuyệt không đại biểu cái này một hệ thống bên trong, cái khác chi nhánh nhân tài liền không có giá trị.

Nếu như có thể tin phục Stephen. Cook giáo sư, đối với Cố Thành toàn bộ, hệ thống đào người đại kế, hiển nhiên là rất có ích lợi.

. . .

Buổi chiều 3 điểm, Mississauga giáo khu, thần kinh mạng lưới phòng thí nghiệm.

Cố Thành gặp được sớm đã thu thập thỏa đáng, một mặt cục xúc Geoffrey Hinton giáo sư.

Còn có thành danh thiên hạ sắp 20 năm, mới vừa từ Saint George chủ giáo khu phong trần mệt mỏi chạy tới Stephen. Cook giáo sư.

Một phen đơn giản khách sáo về sau, Cố Thành nói ra chuyến này chủ yếu ý đồ đến, đầu tiên hướng Geoffrey Hinton phát ra chiêu vời mời, mà lại ra giá không ít.

"Hinton giáo sư, ta có thể vì ngươi thành lập một cái căn cứ vào 'Chiều sâu học tập phép tính' sở nghiên cứu, cá nhân ngươi có thể đạt được 2 triệu đôla đích lương hàng năm, cùng hàng năm 10 triệu đô la nghiên cứu kinh phí, hợp đồng kỳ chí ít 5 năm. Trợ thủ của ngươi cùng mang nghiên cứu sinh, ta cũng có thể cho tối ưu dày điều kiện. Vấn đề duy nhất là, ngươi có thể sẽ cả đời mất đi tại học thuật giới địa vị. Ngươi luận văn chỉ có một bộ phận rất nhỏ có phát biểu tiềm lực, hơn nữa còn đến ký hiệp nghị bảo mật. Ngươi chính mình nhìn lấy xử lý đi."

Geoffrey Hinton có chút xấu hổ, dù sao tư cách so với hắn lão 20 năm giới giáo dục Thái Đẩu Stephen. Cook an vị ở bên cạnh. Cố Thành dạng này trực tiếp đàm tiền, thực sự có nhục nhã nhặn.

"Đến xí nghiệp đi làm việc, chúng ta cho tới bây giờ là không phản đối, học thuật hẳn là cùng sản nghiệp giới kết hợp . Bất quá, cũng không biết một cái rõ ràng chỉ là làm xã giao lôi cuốn cùng trò chơi ganh đua so sánh công ty, có thể có cái gì đầu đề để cho người ta xuất ra có thể lên IEEE hệ liệt tập san thành quả đây."

Cook giáo sư trực tiếp liền điểm ra Cố Thành nhược điểm.

Khác sản nghiệp giới Đại Ngưu, vô luận Microsoft vẫn là Google, tốt xấu có một kiểu đỉnh cấp đại học sở nghiên cứu chèo chống. Cố Thành mặc dù cũng là làm internet, nhưng hắn kỹ thuật hàm lượng là thấp nhất cái kia nhất hình.

Tựa như hậu thế BAT Tam cự đầu bên trong, Đằng Tấn (Tencent) là kỹ thuật hàm lượng thấp nhất một cái.

"Ngươi nâng lên thần kinh mạng lưới phép tính cái này mô phỏng nghiên cứu phương hướng, nhưng ta không nhìn ra được cái này cùng sản nghiệp của ngươi có cái gì kết hợp. Để cho chúng ta Toronto Đại Học giáo sư đi làm loại kia không nhìn thấy học thuật tiền cảnh loè loẹt đồ vật, làm trái bản giáo phong cách học tập."

Cook giáo sư cũng mặc kệ chính mình chỉ là cái sở trưởng, trực tiếp liền nắp hòm định luận.

Cái gọi là "Thần kinh mạng lưới thức phép tính", Cook giáo sư mười mấy năm trước thì có đọc lướt qua, so với thập niên 80 đến nay cái khác "NP cuối cùng lý luận" mà nói, nó đặc điểm lớn nhất là "Không có tính toán hạch tâm" .

Dùng thân thể đến nêu ví dụ, người làm một cái sinh vật cá thể mà nói, là có trung khu thần kinh —— tuyệt đại đa số cơ thể hành động, đều là đại não khống chế thân thể, mắt miệng tai mũi tay chân cảm giác được ngoại bộ tín hiệu về sau trước muốn thông qua phản xạ cung truyền lại đến đại não (bộ phận cấp thấp nhất phản xạ, ít nhất cũng phải đến diên tuỷ / tuỷ sống xử lý) đẳng đại não làm ra xử lý chỉ lệnh về sau, tay chân mới có thể làm ra phản ứng.

Nhưng là nếu như đem đại não đơn độc làm một cái độc lập cá thể giải phẩu ra nhìn, trong đại não bộ hơn trăm tỷ cái thần kinh nguyên là bình đẳng. Cũng không tồn tại "Một cái nào đó tiểu túm thần kinh nguyên cao hơn cái khác xung quanh thần kinh nguyên, từ đó tại xử lý tin tức lúc trước từ cái này một túm thần kinh nguyên dự xử lý, dự xử lý xong về sau lại giao cho tiếp theo túm thần kinh nguyên xử lý" dạng này thứ tự trước sau.

(thần kinh mạng lưới đương nhiên còn có cái khác rất nhiều cơ sở đặc điểm, nơi này vẻn vẹn thảo luận cùng "Di truyền phép tính / giảm độ nóng phép tính" chủ yếu khác nhau, cho nên không nhiều lắm lời. Nếu không có thể nước mấy vạn chữ, mọi người còn xem không hiểu. )

Năm đó "Thần kinh mạng lưới" khái niệm bị đưa ra lúc, chính là vì nghiên cứu thảo luận một loại để máy tính hiệu suất cao xử lý cùng loại với "Tìm tới trong lễ đường đến cùng có hay không người ta quen biết" vấn đề mới phương pháp: Nếu như có thể có bao nhiêu cái máy tính, tự nhiên ngẫu nhiên phân phối nhiệm vụ, song hành từ nhiều cái ấn mở bắt đầu dùng lân cận phép tính tìm kiếm, như vậy tự nhiên có thể tại "Đơn hạch CPU" tính năng yếu nhược tình huống dưới, thông qua đắp lên CPU số lượng tăng tốc vấn đề giải quyết tốc độ.

Nhưng cái này khái niệm cũng không có "Tiết kiệm tính toán tài nguyên", bởi vì trên lý luận nó chỉ là đem "1 máy tính 10 giờ lượng công việc" biến thành "10 máy tính 1 giờ lượng công việc" mà thôi. Mà lại loại này nguyên thủy nhất "Thần kinh mạng lưới" cũng y nguyên không có cách nào giải quyết những cái kia "Chỉ tốt ở bề ngoài" mơ hồ vấn đề —— bọn hắn chỉ có thể trả lời "Có ta người quen biết / không có ta người quen biết" loại này hoặc này hoặc kia vấn đề.

Cook điểm danh tại lĩnh vực này để Cố Thành đối nó ứng dụng mô hình nói ra cái căn nguyên đến, Cố Thành tự nhiên không thể tránh chiến.

"Ta được đọc qua Hinton giáo sư đối với thần kinh mạng lưới mới nhất mô hình giả thuyết, giả lập thần kinh mạng lưới, cùng tới nguyên bộ học tập hình phép tính. Ta cho rằng vật này có thể cùng internet tự động phân biệt / hướng dẫn tra cứu công cụ đem kết hợp . Còn cụ thể ứng dụng tràng cảnh a. . . Vậy liền thuộc về thương nghiệp cơ mật, tha thứ ta không thể trả lời."

"Giả lập thần kinh mạng lưới mới cách dùng?"

Stephen. Cook giáo sư sững sờ, nhưng rất nhanh tỉnh táo lại, hắn cũng không phải một cái khái niệm liền có thể lắc lư ở.

"Xem ra, Cố tiên sinh nếu bàn về thuật trọng điểm, ngay tại ở 'Giả lập' phía trên?"

"Không sai, nếu như không có 'Giả lập ', chỉ có 'Thần kinh mạng lưới ', chúng ta y nguyên không có cách nào thảo luận xấp xỉ tại não người phán đoán mơ hồ vấn đề." Cố Thành một bộ tính trước kỹ càng dáng vẻ, tựa hồ đối với phản ứng của đối phương sớm có dự phán.

Hắn bật máy tính lên, nối liền hình chiếu dụng cụ, trên màn hình xuất hiện một trương mèo hình ảnh.

"Ta dùng cầu thượng con mèo này nêu ví dụ tử —— cứ việc con mèo này một lỗ tai dựng thẳng một lỗ tai gãy, con mắt con ngươi cũng có chút không bình thường, cái đuôi còn đặc biệt ngắn, màu lông dơ bẩn còn cùng bối cảnh của hình sắc rất gần, nhưng ta làm một cái nhân loại, vẫn là liếc mắt một cái liền nhận ra đây đúng là một con mèo.

Hiện tại, ta dùng ta căn cứ Hinton giáo sư phiệt giá trị tư tưởng biên soạn tự học chương trình, dùng máy móc đối con mèo này có phải là hay không mèo tiến hành lần đầu dự phán. Ở cái này phép tính bên trong, chúng ta dự cấu 30 cái tổ hợp đặc thù lượng, tỉ như 'Mắt mèo ', 'Tai mèo' 'Mèo mao ', 'Đuôi mèo' . . . Sau đó dùng ba mươi thần kinh nguyên đơn vị xử lý tài nguyên, phân biệt nhằm vào mỗi một cái tổ hợp đặc thù lượng tiến hành dự phán, sau đó phân biệt cho ra kết quả.

Tại cái này ba mươi thần kinh nguyên trong đơn vị bộ, chúng ta lại căn cứ 'Bản cầu mắt mèo cùng bản thần trải qua nguyên thấy qua mắt mèo' ở giữa pixel tương tự độ làm ra phán đoán, cho ra một cái tích giá trị, từ đó đạt được 'Cái này có 85% xác suất là một con mèo mắt' hoặc là 'Có 70% xác suất là một con mèo tai' loại hình tham khảo lượng. Cuối cùng, đem cái này 30 cái tổ hợp đặc thù lượng dựa theo ngầm thừa nhận 1: 1 quyền trọng tiến hành tổ hợp, cuối cùng bình quân phân cao hơn 60 phân liền phán định 'Đây là một con mèo' ."

"Vậy thành công suất khẳng định rất đáng thương." Cook giáo sư nhún nhún vai, gương mặt thương xót.

"Đương nhiên rất đáng thương, bởi vì ta thí nghiệm mới bắt đầu đâu —— làm đến bước này, cũng không phải là muốn để máy móc phán đoán chính xác, mà là tại máy móc phán đoán xong sau, để cho người ta mắt lại phúc tra một lần. Nếu như máy móc cùng người phán đoán kết quả nhất trí, như vậy thì cho trước mắt đặc thù lượng phân tổ phương thức cùng mỗi cái đặc thù lượng quyền trọng tỉ lệ mấy tổ gia 1 phân.

Sau đó, lại phán đoán lần tiếp theo. Nếu như còn đúng, lại thêm một điểm. Thẳng đến phán đoán sai rồi, sau đó liền tự động đối hiện hữu quyền trọng tỉ lệ mấy tổ làm ra điều chỉnh: Tỉ như, trước đây phán đoán chính xác hai lần 'Bình quân phân 60 phân' kết quả bên trong, 'Mắt mèo' đến phân một chút hẳn là 75 cùng 80 phân, mà 'Tai mèo' đến phân là 45 cùng 40 phân. Mà phán đoán sai lầm một lần kia 'Bình quân phân 60 phân' kết quả bên trong, 'Mắt mèo' là 50 phân 'Tai mèo' là 70 phân. Như vậy, chúng ta liền có thể lấy đạt được một cái kết luận: Quyết định mèo phải chăng lớn lên giống mèo tất cả đặc thù lượng biến đổi bên trong, 'Mắt mèo' là so 'Tai mèo' càng mấu chốt lượng biến đổi, tại tính toán tổng hợp phân thời điểm hẳn là tăng lên nó quyền trọng.

Cuối cùng , dựa theo cái này Logic để bộ này phép tính nhìn một trăm tấm mèo cầu, một ngàn tấm, một vạn tấm. . . Phép tính tự nhiên sẽ tổng kết ra một bộ 'Dù cho không hoàn toàn đúng, nhưng chính xác xác suất càng ngày càng cao phán đoán quyền trọng' ."

Nhân loại tiểu hài nhi, tại 3 tuổi thời điểm học tập nhận các loại đồ vật, kỳ thật trong đại não chính là tính như vậy. Không có gì không phải kiên trì không thể đặc thù, nhìn cái mấy trăm con mèo, tự nhiên mà vậy liền điều chỉnh từng cái đặc thù quyền trọng, biết cái gì là mèo.

Không có bất kỳ cái gì một cái lượng biến đổi, có được "Một phiếu bác bỏ" quyền lực. Nhiều nhất, chỉ là nó tại giả lập thần kinh mạng lưới bên trong "Điểm tích lũy lượng" tương đối cao mà thôi. Chính là bởi vì như thế, nhân loại mới có thể khi nhìn đến một đầu hai mắt hoàn toàn bị móc xuống mèo lúc, y nguyên nhận ra đây là một con mèo.

. . .

Cố Thành chỉnh thể luận thuật, tự nhiên là phi thường dài dòng, khó mà từng cái lắm lời.

Trong đó rất nhiều quan khiếu, nói hết rồi về sau cũng hoàn toàn thông tục dễ hiểu, căn bản không có gì bức cách.

Nhưng là Cố Thành chí ít vì "Nếu như làm không được hoàn toàn đúng, liền không có giá trị buôn bán" giả lập thần kinh mạng lưới, cung cấp một loại "Coi như hiện tại làm được còn không quá tốt, cũng có thể tại trong vòng một hai năm liền lấy được giai đoạn tính thương nghiệp biến hiện khả năng" con đường.

Stephen. Cook giáo sư tới nói chuyện với nhau thật lâu, cuối cùng im lặng không biết ứng đối ra sao.

"Thần thánh thần kinh mạng lưới phép tính nghiên cứu, thế mà dùng loại này không chút nào nghiêm cẩn không chút nào khoa học suy luận, giả thiết, mô phỏng để giải thích. Những ý nghĩ này cùng suy luận căn bản không có cách nào hình thành luận văn cùng thành quả hệ thống." Cook giáo sư bản năng công kích vài câu, nhưng là tỉnh táo lại về sau, cắn răng một cái, không thể không thừa nhận, "Nhưng là, rất có dẫn dắt."

Đối với Cook giáo sư chỉ trích, Cố Thành lơ đễnh: "Tựa như Trung y, không khoa học, nhưng là có đôi khi nó xác thực có thể trị hết bệnh. Chỉ là muốn tìm vận may, mà lại giải thích không thông nó chữa cho tốt bệnh tất nhiên đạo lý mà thôi —— nhưng ta chỉ cần hiệu quả trị liệu, không quan tâm khoa không khoa học. Ngài có hứng thú chứng minh, hoàn thiện học thuật hệ thống, ta rất tôn trọng ngài ý nghĩ. Nhưng ta không quá sẽ vì những này chứng minh bỏ tiền. Ta lần này đến, chỉ muốn đầu tư một số dù là không khoa học cũng có thể dùng tới đồ vật."

Cook giáo sư bất đắc dĩ lắc đầu: "Thật sự là đáng tiếc, có tốt như vậy đầu óc, lại không lấy dấn thân vào khoa học làm vinh."

"Không có cách, ta là sản nghiệp giới nhân sĩ, ta quan tâm là chủ nghĩa thực dụng."

Cố Thành không tiếp tục để ý cái kia chủ nghĩa lý tưởng lão học phiệt, chỉ là một lần nữa đưa ra bản thân mời.

"Cook giáo sư, ta hôm nay nói đến thế thôi. Ta hi vọng ngươi sẽ không dùng ngươi học thuật quyền uy, đi khuyên can những người khác dấn thân vào sản nghiệp giới. Ta cũng phi thường chào mừng ngài giới thiệu cho ta nhân tài, giới thiệu từ các loại góc độ 'Tìm vận may' nhân tài."

03 năm Thượng Hải bờ, rắc rối khó gỡ lăn lộn bức cách học giả vẫn là thật nhiều, thành quả cùng sản nghiệp giới kết hợp, phổ biến còn dừng lại tại những cái kia đã có thể xoát mặt cũng có thể cày tiền thành quả.

Muốn tới Geoffrey Hinton cái này một nhóm người phổ biến sau khi nghĩ thông suốt, Thượng Hải bờ giới giáo dục lấy tiền cân nhắc thành công không khí mới có thể nồng đậm. Bất cứ chuyện gì, đều là từng bước một tới.

"Các ngươi ai muốn đi, liền đi đi. Ta sẽ không ngăn cản . Còn đề nghị thứ hai, ta sẽ cân nhắc."