AGI 可能在不知不觉中已经到来： 当大部分人还沉迷在手机屏幕展示的算法里的时候，自然语言驱动的LLM已经内化形式语言（编程、数学等）逻辑工具拿到了奥数金牌。