25 References 參考資料： [1] Hartnett, K. (2020, September 21). At the Math Olympiad, Computers Prepare to Go for the Gold. Quanta Magazine. Retrieved from https:// www.quantamagazine.org/at-the-internationalmathematical-olympiad-artificial-intelligenceprepares-to-go-for-the-gold-20200921/ [2] Buzzard, K., & Pedramfar, M. (n.d.). Natural Number Game. Retrieved from https://www.ma.imperial. ac.uk/~buzzard/xena/natural_number_game/ [3] S cholze, P. (2020, December 5). Liquid tensor experiment [Web log post]. Retrieved from https:// xenaproject.wordpress.com/2020/12/05/liquid-tensorexperiment/ [4] Scholze, P. (2021, June 5). Half a year of the liquid tensor experiment: Amazing Developments [Web log post]. Retrieved from https://xenaproject.wordpress. com/2021/06/05/half-a-year-of-the-liquid-tensorexperiment-amazing-developments/ [5] Polymath, D. H. J. (2014). Variants of the Selberg sieve, and bounded intervals containing many primes. Research in the Mathematical Sciences, 1. doi:10.1186/ s40687-014-0012-7 [6] Gowers, W. T. (2022, April 28). Announcing an automatic theorem proving project [Web log post]. Retrieved from https://gowers.wordpress.com/2022/04/28/announcingan-automatic-theorem-proving-project/ [7] Polu, S., Han, M. J., & Sutskever, I. (2022, February 2). Solving (Some) Formal Math Olympiad Problems. Retrieved from https://openai.com/blog/formal-math/ 可是近年人工智能也開始能獨自解決一些較難的問題： 一些程式（ROBOT [6] 和 Lean [7] 等）都能解開大學本科 課程中比較簡單的數學問題，以及高中數學比賽國際數學奧 林匹克 （International Mathematical Olympiad） 的 試題，因此不難想像電腦在未來將可以解決越來越難的問 題 — 也許有一天，它的解題能力甚至會超越人類。 那麼電腦未來在數學研究上會擔任什麼角色呢？說真 的，沒有人知道。對人工智能前景樂觀的人會認為電腦數十 年或一個世紀內將超越並取代數學家；沒那麼樂觀的人會 認為數學家是不可取替的。筆者作為一個希望成為數學家 的學生，當然希望我們在短期內不會被電腦取代（其實也不 太可能會被取代），但也樂見這些輔助軟件的知識庫變得越 來越豐富，電腦的解題能力又不斷在進步。也許電腦真的有 一天會取代人類，誰知道？但在這天來臨之前，電腦或許會 先掌握書寫數學證明的能力，屆時沒有人想花時間解決的 繁複證明工作將得以解決，數學界也必定會經歷一段黃金時 期，那時電腦將會成為數學家的得力助手。 1 菲爾茲獎：被喻為「諾貝爾數學獎」（這個獎項並不存在），它是數學界其中 一個最崇高的獎項，每四年頒發一次予二至四位年齡為 40 歲以下的傑出數 學家。
RkJQdWJsaXNoZXIy NDk5Njg=