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