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