Gary Marcus：可验证性是代码数学突飞猛进、其余领域停滞的原因

Gary Marcus 认同 @aronbrand 的观点：代码和数学领域 AI 进展垂直起飞、其他领域没有，正是因为这两个领域存在客观的验证机制。他表示聪明人看得清这一点，而「骗徒们」装作看不见。这是他就 LLM 能力边界争议的又一次表态。