Người đăng: ๖ۣۜBlade
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."