圖靈機到人工智慧,誰讓電腦強大?是數學! - INSIDE
文章推薦指數: 80 %
「圖靈測試」是利用電腦模仿人類交談的遊戲,來判斷機器是否像人一樣有思考能力。
AlphaGo 擊敗棋王,可以說是通過圖靈測試了嗎?李國偉解釋,雖然電腦 ...
集團資訊
關於我們
集團介紹
我們的團隊
旗下媒體
關鍵評論網
everylittled.
INSIDE
運動視界
Cool3c
電影神搜
未來大人物
歐搜哇
商益
旗下節目
多元服務
Ad2
Taketla拿票趣
關鍵議題研究中心
Cr.ED
ShareParty
達思智能科技
士奇傳播
與我們合作
內容行銷與廣告業務
異業合作
原創內容暨內容媒體業者合作
加入我們
新聞中心
評論
圖靈機到人工智慧,誰讓電腦強大?是數學!
2017/12/22
研之有物
人工智慧
、數學
、圖靈
人工智慧圍棋程式AlphaGo,壓倒性擊敗棋王而轟動全世界,令人不禁疑問:機器可以思考嗎?機器可以超越人類心靈嗎?而著名的「涂林測試」(TuringTest),就是對此問題的一種判定。
評論
評論
本篇來自研之有物,INSIDE經授權轉載。
人工智慧圍棋程式AlphaGo,壓倒性擊敗棋王而轟動全世界,令人不禁疑問:機器可以思考嗎?機器可以超越人類心靈嗎?而著名的「圖靈 測試」(TuringTest),就是對此問題的一種判定。
李國偉說,圖靈測試就是「模仿遊戲」。
1950年圖靈(AlanTuring)發表了 Computingmachineryandintelligence 這篇文章,討論「電腦會不會思考」,成為人工智慧的重要思想來源。
由於「思考」本身很難定義,圖靈訴諸可供判定的方法:一台電腦和一個人交談,如果交談的人始終分不清楚誰是電腦、誰是人,那這台電腦在行為上已經接近人的思考能力。
「圖靈測試」是利用電腦模仿人類交談的遊戲,來判斷機器是否像人一樣有思考能力。
AlphaGo擊敗棋王,可以說是通過圖靈測試了嗎?李國偉解釋,雖然電腦很多能力的確比人強,不僅下圍棋,計算數學的能力也早就超越人類,但是圖靈測試是「漫無目標」的智能測驗,包括各種「常識」。
電腦在很多專業知識上都超越人腦,但是最弱的就是常識。
至今,還沒有一台機器真正通過涂林測試。
不過,如何訓練機器擁有常識,是有方向可循。
如同AlphaGo,訓練機器的方法,就是從一個「嬰兒機器」開始,讓它不斷學習、演化。
下棋的好方法保留下來,壞方法淘汰掉,機器就不斷增強。
事實上,機器學習的方法,早在圖靈1950年的文章中就已經提出。
當時沒有相應的硬體條件可以實際做出,直到現在,GPU,TPU等硬體效能趕上軟體運算的需求,開始表現出早期人們預期人工智慧能達到的事情。
在圖靈的時代,有許多先進的工程師,甚至不相信電腦有可能幫人算帳。
只有圖靈,深刻了解數學的核心慨念,所以思想沒有受制於當時的硬體,認為未來電腦的能力將會大幅提升圖靈為何有先見之明?憑藉的就是他發展出的一套理論數學計算機模型──圖靈機(TuringMachine)。
圖靈機的故事說來話長,李國偉從19世紀的數學發展聊起。
從數學難題到資訊科學的開端19世紀末的數學家,發現一些數學的基礎出了問題,例如「無窮」的概念定義不清。
他們想從最簡單的概念出發,就像歐幾里得建立公理、公設一樣,重新建立起一套數學的體系。
他們想到,在 自然數之前,更基礎的是and、or、not之類的邏輯概念。
and、or、not的邏輯概念,也是電子電路、電腦程式碼的基礎。
圖片重製│張語辰試圖找出算術的基礎,數學家 弗雷格(GottlobFrege) 嘔心瀝血寫成大作,嚴謹定義什麼叫做「集合」。
沒想到,當時才二十幾歲的 羅素(BertrandRussell) 找到致命的矛盾:當我考慮把所有「自己不屬於自己」的集合,放在一個集合A裡,那麼那個集合A屬於不屬於自己?這就導出了著名的「羅素悖論」。
世界頂尖的數學家都跳進來解決集合論基礎問題。
若要解決,必須把「自己不屬於自己」這種奇怪的東西,排除到數學王國之外。
問題來了,數學王國的圍牆怎麼蓋?大數學家 希爾伯特(DavidHilbert) 選擇了一條安全的途徑:假裝我們每天講的數學,都是以符號寫成。
他從「形式系統」出發,完全玩符號遊戲。
但是,問題又來了。
怎麼證明一個形式系統是一致的,沒有矛盾?李國偉說,如果用機械化的方法,一步一步寫出來所有系統裡的定理,即使矛盾一直沒有出現,這種方式還是無法說服人!希爾伯特試著尋找真正有效的證明。
沒想到,在1931年,年輕數學家 哥德爾(KurtGödel) 證明了相反的結果:如果你的系統複雜到可以講一點點的自然數理論,那就沒有辦法在你的系統裡面,保證不出矛盾。
希爾伯特的夢想是達不到的!順著這些數學脈絡發展,圖靈從一個新的角度切入,才充分捕捉到「機械性的計算」的概念。
圖靈機:理論數學的計算機模型李國偉解釋,所謂的圖靈 機,其實不是一個真正的「機器」,而是「理論數學」的模型。
圖靈為了敘述的容易,把理論描述成一張紙帶,上面畫了很多格子,還有一個讀寫頭。
讀寫頭儲存了有限個不同狀態,若決定了現在的狀態,再看底下格子的符號,就決定了下一步會變成什麼狀態。
圖靈機就是一張表格:現在的狀態→下一步怎麼走→移動→現在的狀態。
圖靈澄清了「什麼是數學的機械化」這件事情。
一般從小到大學過的函數,只要在整數值上,圖靈機都可以計算。
李國偉說明,因為這個表格是有限的,所以可用自然數來編碼。
自然數可以因數分解,一個非常大的數字,一層一層因數分解下來,等於肚子裡頭一層一層包含訊息。
就像數字變成了一個機器!延伸這個思維,圖靈還提出一種「通用圖靈機(UniversalTuringMachine)」,可以把各種機器的程式都吃進來,模擬另一個機器計算的結果。
這就是我們現在使用的電腦,同一套軟體不論移到哪台電腦都能計算。
電腦時代的數學家圖靈一方面說電腦可以很強大,另一方面又指出機器的侷限。
他證明,有個「停機問題」是任何計算機都無法判定,也就是「是否存在一個程式P,對於任意輸入的程式w,能夠判斷w會在有限時間內結束、或者無窮迴圈。
」以數學的角度來說,並沒有一般的機械方式,可以處理這種判定。
李國偉笑著說:「數學證明不可能全部由一部電腦產生出來。
不然所有工作搞一個電腦跑光,我們就不用做數學了!」話又說回來,電腦還是有強大的功能,協助數學研究。
1976年,電腦輔助證明了經典難題「四色定理」;至今,電腦甚至已經能夠自動證明數學定理,只差在還無法主動發明有深度而令數學家感興趣的定理,讓數學家還能保住飯碗。
電腦也促成了很多新的數學研究主題,李國偉的研究領域「組合數學」,隨著計算機的發展更加興盛。
組合數學研究的對象是離散的、有限數目的問題。
李國偉說,他的師長輩的老派數學家,由於沒有受過計算機的洗禮,認為他們研究組合數學,就好像研究高中的排列組合一樣,沒什麼意思。
他們沒想到,當「有限」的數目夠大,可能比探討「無限」的問題更困難。
計算機的發展,創造了龐大的「有限」世界,也產生了深刻的「組合數學」問題。
李國偉說明,組合數學的問題,在網際網路的時代更有趣。
人們使用網際網路,假如全世界有幾十億個節點,我跟你通訊就代表兩個點連上一個邊,邊的數目就是更龐大的數字,狀況非常複雜。
使用算術處理龐大的離散數據,這類問題成為計算機科學裡面「演算法」的學問。
在有限的範圍內一定存在答案,但是實際求解的時候,希望找到最有效率、最節省資源的解,這就是數學的組合優化。
若下回有小朋友問你「學數學有什麼用」,別忘了指著電腦或手機App說:「這裡面,就是數學。
」
分享文章或觀看評論
評論
研之有物
串聯您與中央研究院的橋梁,分享具體的研究案例、真實的研究員生活,一起永保好奇心探索世界。
品牌
迎接年末購物季的四大品牌節慶行銷策略
2022/09/15
廣編企劃
行銷
、電商
、Meta
、購物季
、節慶行銷
Meta近期舉辦「台灣電商領袖圓桌會」,邀請國內電商品牌交流,分享節慶購物季的經驗,會中Meta並分享四大最新市場洞察與對應行動,歸納出品牌迎戰節慶行銷的必勝心法。
評論
SPONSORED
PhotoCredit:ShutterStock
評論
時序即將進入節慶購物季,根據Meta委託YouGov進行的《Meta節慶購物季研究》(MetaSeasonalHolidaysStudy)調查指出,82%台灣受訪者表示,節慶花費的金額與之前相當或更多。
面對即將來臨的節慶購物季,如何掌握消費商機,進而提升業績,是電商品牌必須開始佈局的重點。
Meta近期舉辦「台灣電商領袖圓桌會」,邀請國內電商品牌分享節慶購物季的行銷經驗,會中並分享四大市場洞察以及對應行動,歸納出品牌必須掌握的節慶行銷致勝關鍵。
策略一:盡早溝通節慶購物季,提升消費者下單轉換率根據Meta委託尼爾森執行的《Meta節慶購物季研究》結果,有78%在節慶購物季前做購物規劃的消費者表示會提前將想要的商品放入購物車,並有機會於購物節優惠時下單。
而這些提早購物規劃的消費者,實際購買的比例也大幅提升,相比沒有提早規劃的消費者,在雙11購物季有購買的比例,台灣增加66%,在香港更是提升123%。
因此品牌需要開始盡早跟消費者展開溝通節慶購物季溝通,在前期搶佔消費者的購物車。
策略面來說,在消費者探索發現產品、考慮到下單購買都有顯著影響的社群平台,建議品牌在重要的大檔期雙11購物季前,盡早開始溝通目標受眾,將有助於吸引消費者提前將產品放入購物車,以提升下單轉換。
策略二:打造個人化、高互動體驗,有效帶動轉換根據尼爾森《Meta節慶購物季研究》調查數據顯示,消費者開始對節慶購物節感到疲乏,主因是促銷購物節過於頻繁,且84%消費者表示折扣越來越不吸引人,同時82%消費者表示希望店家根據個人購物喜好,主動提供促銷資訊,顯見消費者希望更個人化的促銷、也期待品牌為自己量身打造客製化折扣。
面對消費者開始對購物節疲乏,品牌可以運用多樣化的廣告創意素材,吸引消費者的眼球,並透過Meta自動化解決方案,打造更相關的個人化體驗,以及互動度更高的廣告形式,如Reels及限時動態,影響消費者購買決策,將可有效帶動轉換。
策略三:刷品牌存在感,整合全漏斗行銷策略,極大化業績市場變化快加上產品推陳出新,多數消費者既願意維持忠誠度,也勇於嘗試新品牌。
尼爾森《Meta節慶購物季研究》調查發現,87%受訪者會在購物節優先購買熟悉的品牌商品,也有79%消費者在大型促銷購物活動期間,較願意嘗試不常買的品牌產品。
因此,品牌必須在重要促銷時節前,營造深植人心的印象,打響品牌知名度是節慶購物的前哨戰,並於節慶檔期兼顧首要三大任務:極大化業績、增加新客、提高品牌心佔率。
節慶購物季是品牌掌握業績提升的關鍵時機,品牌可善用全漏斗行銷,在消費者購物旅程從發現、考慮到轉換的每個階段,讓行銷訊息一脈相承、並打造「手機優先、引人入勝、訊息清楚且連貫」的最佳創意廣告,透過InstagramReels、品牌置入內容、Messengerbot聊天機器人等多樣化的素材與創意來打動消費者。
針對購物季的全漏斗行銷,品牌可設定三大階段-節慶前、節慶中、節慶後,依據不同目標投放廣告達到最佳效益,如檔期開跑前,以及早接觸、提高知名度與開發新客為目標;節慶期間,則可鎖定業績的極大化;節慶過後可持續培養忠誠度,成為顧客心中首選品牌。
策略四:跨境購物首重物流管理,資訊透明與多元金流,提升顧客信任度消費者在跨境購物時,因無法實際體驗商品,品牌的服務流程也將影響購買決策,品牌需盡可能與消費者即時溝通,提供詳盡的產品及購買流程相關資訊。
根據YouGov進行的《跨境商務研究》(Cross-BorderBusinessStudy)顯示,運送及退換貨是跨境購物消費者在購買前最注重的條件;利用即時通訊軟體如Messenger或Instagram訊息,以及品牌網站即時對話功能,是品牌經營跨境市場可掌握與消費者溝通的重要方式。
同時,透過提供透明且在地化資訊,搭配通訊服務,將可提升消費者對品牌的信任度。
電商節慶購物季實戰心法:善用新工具,自動化廣告助益大全球智慧開店平台SHOPLINE觀察節慶行銷,建議品牌可針對成交量、客單價、回購率進行深入分析,掌握數據運用,同時在不同檔期滾動式調整素材並加以優化,並且隨時關注消費行為改變以及善用新數位工具,將可幫助品牌在節慶購物季找到最佳的行銷做法。
運用自動化廣告工具,是品牌於節慶購物季可積極嘗試的行銷做法。
設計購物網站Pinkoi運用自動化廣告,以AI演算法搭配品牌既有數據,在不同行銷活動不斷測試,整合Alwayson及短期的季節性廣告,獲得不錯的業績成長。
此外,科技品牌FutureLab未來實驗室近三年積極導入Meta自動化廣告工具後,不僅團隊不須高頻率手動投放、更有餘裕進行創意發想外,更可降低如廣告投手及人為失誤的風險,大幅提升行銷效益。
迎接節慶購物季,面對快速變化的市場,品牌除了掌握消費洞察,最重要的是要盡早佈局和消費者建立品牌溝通,善用全漏斗行銷強化品牌與銷售,並且擁抱自動化廣告解決方案,提供個人化體驗,同時嘗試高互動且多樣化的廣告形式格式,才能抓住消費者眼球,再創業績高峰!
分享文章或觀看評論
評論
廣編企劃
由關鍵評論網媒體集團《業務團隊》製作,由各品牌單位贊助。
業務與行銷相關合作,歡迎與我們聯繫。
延伸文章資訊
- 1搞懂「通用圖靈機」的終站——它的誕生與意義│《電腦簡史 ...
而這層含意在圖靈心中埋下了種子,然後在初夏某一天的下午,圖靈慢跑完,躺在草地上休息時,想到了如何透過自動機器解決判定性問題。 圖靈機構造與運作原理. 圖靈無意打造 ...
- 2從圖靈機到人工智慧,沒有「數學」怎能召喚電腦降世! - 泛科學
李國偉解釋,所謂的圖靈機,其實不是一個真正的「機器」,而是「理論數學」的模型。 圖靈為了敘述的容易,把理論描述成一張紙帶,上面畫了很多格子,還有一個讀寫頭 ...
- 3圖靈機正式面世80年︰一個與現實毫不相干的問題為人類帶來了 ...
圖靈的眾多貢獻當中,最為重要的正是1936年這份論文,因為在文中他首次提出「圖靈機」這個概念——文中他稱為a-機器,a代表「自動」(automatic)——為現代 ...
- 4圖靈機_百度百科
圖靈機,又稱圖靈計算機指一個抽象的機器,是,英國數學家艾倫・麥席森・圖靈(1912―-1954年)於1936年提出的一種抽象的計算模型,即將人們使用紙筆進行數學運算的過程 ...
- 5他,連賈伯斯都想致敬!圖靈──不被世界所承認的天才
根據你的回答,我將能判定:你是人,還是機器。 ──圖靈測試(the Turing Test). 艾倫.圖靈(Alan Turing),數學家、電腦科學 ...