MathCanvas 深度技术解读：几何推理新范式 | Luhui's Personal Website

[LDingLDing]

https://blog.liluhui.cn/2026/02/13/MathCanvas/

前言过去两年，AI 在数学解题上的进展非常显眼。 GSM8K 接近饱和，代数题表现稳定，竞赛题成绩不断刷新。很多人自然会认为：模型更大、思维链更长，数学能力就会继续提升。 因为我所做的产品，长期关注几何题，会发现一个明显现象： 大模型在几何构造题上依然非常不稳定。 在一道简单的等腰三角形证明题中，模型会写出标准思路，却忘记作辅助线，导致后续逻辑依赖一个并不存在的结构。 不是算错，而是构造错。