数学与 AI 神谕（论文）

Steven T. Piantadosi 在论文《Mathematics and AI Oracles》中提出，现代 AI 正为数学猜想提供证明与反例，让人类更接近图灵设想的实用“神谕”，但数学家不会因此消失。