用百年前几何书实测 GPT 与 Claude:会证明却不太会看图
snowboat84 · x · 2026-10-15
作者从百年前的严济慈《几何证题法》中挑题,实测 GPT 和 Claude 的平面几何推理能力,发现:
- 部分题目模型无需画图即可给出正确证明;
- 有些题会在关键几何关系上犯错,甚至一本正经写出错误证明;
- 模型明显偏好解析几何、向量等代数工具,而非传统综合几何方法。
作者据此推测当前 LLM 的图形构造与空间想象能力仍然偏弱,并提出一个开放问题:只接收文字描述的 Transformer 是否真的"看见"了几何构型,还是几何推理可以完全通过抽象符号关系完成?与 AlphaGeometry 这类语言模型+符号证明器的组合系统不同,通用 LLM 的几何推理机制仍不清楚。
「模型」频道最新
- 号称匹敌 GPT-6.1 的 DNA 模型遭实测打脸:10 例 8 例不如随机 — anshulkundaje · 2026-10-23
- 爆料称 Anthropic 正训练对标 OpenAI 内部模型的新模型 — imjustnewatai · 2026-10-23
- AI 研究者:Claude 替我完成了多年前放弃的繁琐研究任务 — MikePFrank · 2026-10-23
- Dream Labs 出 stealth:双手机器人基座模型 Dream-1,时租仅 3 美元 — scott_e_reed · 2026-10-23
- Claude 模型登陆 Google Cloud:Anthropic 托管版正式可用 — claudeai · 2026-10-23
- Beam 对战 GLM 5.3 去审查版:10 轮攻防修补 96% 漏洞 — bigblueboo · 2026-10-23