Gary Marcus(@GaryMarcus)· Gary Marcus (@GaryMarcus)·· 3 天前AI 评估 · 10/100分数表示内容值得关注的程度，依据实质份量、信息增量、证据强度、读者相关性和可用性，按内容类型加权。显示分数为两次独立评分的平均值。AI 判断可能有误，评分不代表事实已被核实，也不同于热点榜的讨论热度。
Gary Marcus 回应：前沿 LLM 脱离符号工具能否解决开放数学问题
an actually intelligent question! i give my answer below it.
AI 导读
Gary Marcus 回应了一个关于 LLM 能力边界的提问：按他对 LLM 能力的判断，前沿 LLM 在没有 lean、代码或符号工具支撑的情况下，无法解决开放数学问题。他称这是个真正有智慧的问题，并在推文下方给出回答。
来源：Gary Marcus(@GaryMarcus) · x.com