Gary Marcus 回应质疑：前沿 LLM 能否裸解开放数学难题？

Gary Marcus 回应网友提问，暗示前沿 LLM 在没有 lean、代码、符号工具加持的情况下无法独立解决开放数学问题，并称这是一个「真正聪明的问题」。他认为仅靠 LLM 本体做不到，这场交锋也成为当前「LLM 能力边界 vs 工具增强」争论的代表性案例。