消息一出，整个硅谷和学术圈彻底炸锅。 最离谱的是速度，从拿到证明，到机器逐行验证完毕，AI只用了一天。现OpenAI理论计算机与数学家Sebastien Bubeck惊叹道，亚指数时间内的3SAT，是自己…...
