40年圖靈機難題被業(yè)余玩家攻破，陶哲軒：軟件輔助證明改變規(guī)則
40多年的計算機難題——忙碌海貍難題，被一群業(yè)余愛好者攻破了！數(shù)學(xué)大佬陶哲軒轉(zhuǎn)發(fā)了這一消息，并欣慰表示：計算機科學(xué)家Scott Aaronson為此還寫了一篇博文，并大肆贊賞：具體而言，人們歷經(jīng)數(shù)十年努力，終于找到了第五個“忙碌海貍”圖靈機：圖靈機是一種抽象的計算模型，通過讀取和寫入0和1在無限磁帶
首頁 > 圖靈機
圖靈機
-
-
登上國際頂刊PNAS！科學(xué)家從理論計算機出發(fā)，提出了一個意識模型——「有意識的圖靈機」
深度學(xué)習(xí)三巨頭之一的Yoshua Bengio也點頭稱贊。編譯 | AI 科技評論組編輯 | 陳彩嫻5月下旬，國際頂刊《美國國家科學(xué)院院刊》（PNAS）發(fā)表了一篇其于去年10月接收審核的工作，研究非常扎實：受圖靈的計算模型圖靈機（TM）與有意識的全局工作空間理論（GWT）影響，作者等人從理論計算機的
-
圖靈機就是深度學(xué)習(xí)最熱循環(huán)神經(jīng)網(wǎng)絡(luò)RNN？1996年論文就已證明！
這幾位科學(xué)家在1996年對圖靈機進行的論證，拿到今天來看也是值得深思的。1996年的8月19日至23日，芬蘭的瓦薩舉行了由芬蘭人工智能協(xié)會和瓦薩大學(xué)組織的芬蘭人工智能會議。會議上發(fā)表的一篇論文證明：圖靈機就是一個循環(huán)神經(jīng)網(wǎng)絡(luò)。
熱門文章
