Marcus：可验证性是代码数学AI突飞猛进的原因

2026年10月12日，Gary Marcus 在社交平台上认同用户 @aronbrand 的观点，称代码与数学领域的 AI 进展「垂直起飞」，而其他领域停滞不前，原因在于这两个领域存在客观的验证机制。他表示聪明人能看清这一点，而「骗徒们」装作看不见。这是他围绕大语言模型能力边界争议的又一次公开表态，此前他亦多次就 LLM 的局限性发声。

AI 根据报道生成 · 2 小时前更新

还没有足够的连续观测数据，暂不绘制趋势。