AI的進展 ♟️ 1997 深藍：使用暴力搜索來尋找最佳的概率走法。沒有學習。擊敗了卡斯帕羅夫。 ⚪️ 2016 AlphaGo：神經網絡通過自我對弈學習，擊敗了李世乭。第37步是AI的創意之舉。李的第78步是1萬分之一，打破了AlphaGo，他贏得了一場比賽。輸掉了比賽。 🧮 2025 LLMs：閱讀數學文本並驗證自己的證明，並在IMO問題上獲得金牌。