人工智慧解決複雜數學難題

人工ㄖㄣˊ智ㄓˋ慧ㄏㄨㄟˋ已ㄧˇ不ㄅㄨˊ再ㄗㄞˋ僅ㄐㄧㄣˇ止ㄓˇ於ㄩˊ產ㄔㄢˇ生ㄕㄥ文ㄨㄣˊ本ㄅㄣˇ或ㄏㄨㄛˋ影ㄧㄥˇ像ㄒㄧㄤˋ；它ㄊㄚ現ㄒㄧㄢˋ在ㄗㄞˋ正ㄓㄥˋ通ㄊㄨㄥ過ㄍㄨㄛˋ解ㄐㄧㄝˇ決ㄐㄩㄝˊ複ㄈㄨˋ雜ㄗㄚˊ的ㄉㄜ˙數ㄕㄨˋ學ㄒㄩㄝˊ問ㄨㄣˋ題ㄊㄧˊ，突ㄊㄨˊ破ㄆㄛˋ人ㄖㄣˊ類ㄌㄟˋ知ㄓ識ㄕˋ的ㄉㄜ˙界ㄐㄧㄝˋ限ㄒㄧㄢˋ。

二ㄦˋ○二ㄦˋ四ㄙˋ年ㄋㄧㄢˊ，Google DeepMind 的ㄉㄜ˙ AlphaProof 與ㄩˇ AlphaGeometry 2 在ㄗㄞˋ國ㄍㄨㄛˊ際ㄐㄧˋ數ㄕㄨˋ學ㄒㄩㄝˊ奧ㄠˋ林ㄌㄧㄣˊ匹ㄆㄧˇ亞ㄧㄚˇ競ㄐㄧㄥˋ賽ㄙㄞˋ中ㄓㄨㄥ獲ㄏㄨㄛˋ得ㄉㄜˊ了ㄌㄜ˙銀ㄧㄣˊ牌ㄆㄞˊ水ㄕㄨㄟˇ準ㄓㄨㄣˇ的ㄉㄜ˙表ㄅㄧㄠˇ現ㄒㄧㄢˋ，展ㄓㄢˇ現ㄒㄧㄢˋ了ㄌㄜ˙進ㄐㄧㄣˋ階ㄐㄧㄝ的ㄉㄜ˙邏ㄌㄨㄛˊ輯ㄐㄧˊ推ㄊㄨㄟ理ㄌㄧˇ能ㄋㄥˊ力ㄌㄧˋ。

至ㄓˋ二ㄦˋ○二ㄦˋ六ㄌㄧㄡˋ年ㄋㄧㄢˊ，人工ㄖㄣˊ智ㄓˋ慧ㄏㄨㄟˋ已ㄧˇ邁ㄇㄞˋ入ㄖㄨˋ真ㄓㄣ正ㄓㄥˋ的ㄉㄜ˙研ㄧㄢˊ究ㄐㄧㄡˋ領ㄌㄧㄥˇ域ㄩˋ。

顯ㄒㄧㄢˇ著ㄓㄨˋ的ㄉㄜ˙成ㄔㄥˊ就ㄐㄧㄡˋ包ㄅㄠ括ㄎㄨㄛˋ解ㄐㄧㄝˇ決ㄐㄩㄝˊ了ㄌㄜ˙長ㄔㄤˊ期ㄑㄧˊ未ㄨㄟˋ解ㄐㄧㄝˇ的ㄉㄜ˙埃ㄞ爾ㄦˇ多ㄉㄨㄛ斯ㄙ猜ㄘㄞ想ㄒㄧㄤˇ，並ㄅㄧㄥˋ成ㄔㄥˊ功ㄍㄨㄥ反ㄈㄢˇ證ㄓㄥˋ了ㄌㄜ˙一ㄧ個ㄍㄜ˙關於ㄍㄨㄢ於ㄩˊ平ㄆㄧㄥˊ面ㄇㄧㄢˋ單ㄉㄢ位ㄨㄟˋ距ㄐㄩˋ離ㄌㄧˊ問ㄨㄣˋ題ㄊㄧˊ長ㄔㄤˊ達ㄉㄚˊ八ㄅㄚ十ㄕˊ年ㄋㄧㄢˊ的ㄉㄜ˙猜ㄘㄞ想ㄒㄧㄤˇ。

與ㄩˇ過ㄍㄨㄛˋ去ㄑㄩˋ依ㄧ賴ㄌㄞˋ模ㄇㄛˊ式ㄕˋ匹ㄆㄧˇ配ㄆㄟˋ的ㄉㄜ˙早ㄗㄠˇ期ㄑㄧˊ模ㄇㄛˊ型ㄒㄧㄥˊ不ㄅㄨˊ同ㄊㄨㄥˊ，這ㄓㄜˋ些ㄒㄧㄝ新ㄒㄧㄣ系ㄒㄧˋ統ㄊㄨㄥˇ充ㄔㄨㄥ當ㄉㄤ了ㄌㄜ˙「長ㄔㄤˊ範ㄈㄢˋ疇ㄔㄡˊ推ㄊㄨㄟ理ㄌㄧˇ代ㄉㄞˋ理ㄌㄧˇ人ㄖㄣˊ」。

它ㄊㄚ們ㄇㄣ˙利ㄌㄧˋ用ㄩㄥˋ像ㄒㄧㄤˋ Lean 這ㄓㄜˋ樣ㄧㄤˋ的ㄉㄜ˙形ㄒㄧㄥˊ式ㄕˋ化ㄏㄨㄚˋ驗ㄧㄢˋ證ㄓㄥˋ工ㄍㄨㄥ具ㄐㄩˋ來ㄌㄞˊ確ㄑㄩㄝˋ保ㄅㄠˇ每ㄇㄟˇ一ㄧ步ㄅㄨˋ邏ㄌㄨㄛˊ輯ㄐㄧˊ推ㄊㄨㄟ導ㄉㄠˇ在ㄗㄞˋ數ㄕㄨˋ學ㄒㄩㄝˊ上ㄕㄤˋ皆ㄐㄧㄝ合ㄏㄜˊ理ㄌㄧˇ，從ㄘㄨㄥˊ而ㄦˊ防ㄈㄤˊ止ㄓˇ了ㄌㄜ˙人工ㄖㄣˊ智ㄓˋ慧ㄏㄨㄟˋ幻ㄏㄨㄢˋ覺ㄐㄩㄝˊ的ㄉㄜ˙風ㄈㄥ險ㄒㄧㄢˇ。

這ㄓㄜˋ種ㄓㄨㄥˇ從ㄘㄨㄥˊ單ㄉㄢ純ㄔㄨㄣˊ計ㄐㄧˋ算ㄙㄨㄢˋ到ㄉㄠˋ自ㄗˋ主ㄓㄨˇ發ㄈㄚ現ㄒㄧㄢˋ的ㄉㄜ˙轉ㄓㄨㄢˇ變ㄅㄧㄢˋ，使ㄕˇ人工ㄖㄣˊ智ㄓˋ慧ㄏㄨㄟˋ能ㄋㄥˊ夠ㄍㄡˋ探ㄊㄢˋ索ㄙㄨㄛˇ人ㄖㄣˊ類ㄌㄟˋ研ㄧㄢˊ究ㄐㄧㄡˋ者ㄓㄜˇ可ㄎㄜˇ能ㄋㄥˊ會ㄏㄨㄟˋ忽ㄏㄨ略ㄌㄩㄝˋ的ㄉㄜ˙廣ㄍㄨㄤˇ闊ㄎㄨㄛˋ數ㄕㄨˋ學ㄒㄩㄝˊ路ㄌㄨˋ徑ㄐㄧㄥˋ。

儘ㄐㄧㄣˇ管ㄍㄨㄢˇ這ㄓㄜˋ項ㄒㄧㄤˋ進ㄐㄧㄣˋ展ㄓㄢˇ有ㄧㄡˇ望ㄨㄤˋ加ㄐㄧㄚ速ㄙㄨˋ物ㄨˋ理ㄌㄧˇ學ㄒㄩㄝˊ與ㄩˇ工ㄍㄨㄥ程ㄔㄥˊ學ㄒㄩㄝˊ等ㄉㄥˇ領ㄌㄧㄥˇ域ㄩˋ的ㄉㄜ˙突ㄊㄨˊ破ㄆㄛˋ，但ㄉㄢˋ也ㄧㄝˇ在ㄗㄞˋ數ㄕㄨˋ學ㄒㄩㄝˊ家ㄐㄧㄚ之ㄓ間ㄐㄧㄢ引ㄧㄣˇ發ㄈㄚ了ㄌㄜ˙激ㄐㄧ烈ㄌㄧㄝˋ的ㄉㄜ˙辯ㄅㄧㄢˋ論ㄌㄨㄣˋ。

有ㄧㄡˇ些ㄒㄧㄝ人ㄖㄣˊ視ㄕˋ人工ㄖㄣˊ智ㄓˋ慧ㄏㄨㄟˋ為ㄨㄟˊ終ㄓㄨㄥ極ㄐㄧˊ的ㄉㄜ˙研ㄧㄢˊ究ㄐㄧㄡˋ工ㄍㄨㄥ具ㄐㄩˋ，而ㄦˊ另ㄌㄧㄥˋ一ㄧ些ㄒㄧㄝ人ㄖㄣˊ則ㄗㄜˊ主ㄓㄨˇ張ㄓㄤ應ㄧㄥ對ㄉㄨㄟˋ透ㄊㄡˋ明ㄇㄧㄥˊ度ㄉㄨˋ與ㄩˇ證ㄓㄥˋ明ㄇㄧㄥˊ本ㄅㄣˇ質ㄓˋ設ㄕㄜˋ定ㄉㄧㄥˋ更ㄍㄥˋ嚴ㄧㄢˊ格ㄍㄜˊ的ㄉㄜ˙防ㄈㄤˊ護ㄏㄨˋ措ㄘㄨㄛˋ施ㄕ。

我ㄨㄛˇ們ㄇㄣ˙正ㄓㄥˋ見ㄐㄧㄢˋ證ㄓㄥˋ一ㄧ個ㄍㄜ˙人工ㄖㄣˊ智ㄓˋ慧ㄏㄨㄟˋ擔ㄉㄢ任ㄖㄣˋ深ㄕㄣ度ㄉㄨˋ分ㄈㄣ析ㄒㄧ發ㄈㄚ現ㄒㄧㄢˋ合ㄏㄜˊ作ㄗㄨㄛˋ夥ㄏㄨㄛˇ伴ㄅㄢˋ的ㄉㄜ˙新ㄒㄧㄣ時ㄕˊ代ㄉㄞˋ。