本文作者是劍橋大學(University of Cambridge)理論宇宙學家、印孚瑟斯-劍橋人工智能中心(Infosys-Cambridge AI Centre)主任
數學曾經被認為相對安全，不會受到即將到來的人工智能(AI)自動化洪流的沖擊。聊天機器人或許能夠按照要求生成文本、代碼和圖像，但數學所需的深度推理應該超出其能力。因此，OpenAI和DeepMind最近在國際數學奧林匹克競賽(IMO)上獲得的金牌，讓像我這樣的數學教授突然感到不那么安全了。
AI會像已經在編寫代碼一樣進行數學證明嗎？畢竟，兩者有明顯的相似之處：兩者都是高度結構化的“語言”，具有明確的約定和有限的“詞典”。兩者都有巨大的例題庫，可以利用這些例題的已知解法訓練AI。
您已閱讀26%（324字），剩余74%（938字）包含更多重要信息，訂閱以繼續探索完整內容，并享受更多專屬服務。