不是平白无故推理出来的，而是Vitushkin 1999年一片无人文静的俄文论文的简单扩展。
AI在这里扮演的更多的是发现淹没的知识的功能。

【 在 z16166 的大作中提到: 】
: 不是暴力穷举的，带有推理。不过这个AI对话过程好像没公开。
:
--
FROM 103.104.155.*