AI 解几何题 与 数学前辈

这几天看 chatgpt / deepseek 解数学题。 想起来多年前 还是中学的时候 读过 吴文俊先生 写的一本关于 机器证明数学题 的科普小册子。 里面用的例子是 机器证明： 两条角平分线相等的三角形 是 等腰三角形
已经不记得内容了， 只记得当年看得不是很懂。 直到前几年， 看网上还有人说， 直到现在 (几年前）吴先生的机器证明方法仍然是世界最先进水平。 当时很感慨。
昨晚用 deepseek R1 和 chatgpt o1 都试了一下， 就是直接输入 “ 证明 两条角平分线相等的三角形 是 等腰三角形” 两个都一次正确解出来了 (虽然不是纯几何解法）， 不知道吴先生看见了现在的发展， 会有什么样的感慨？

吴文俊的方法就是把几何问题用代数语言重述，然后设计一套代数算法进行计算，有点类似中学的解析几何证明几何定理。
现在的AI则是从大量的资料中归纳出一个（看似）正确的证明，两者不是一个路子。