数学家爬到山顶，发现AI早就等在那里了