让我看看核心贡献是什么...哦，而是形式化定理证明（formal theorem proving）：从公理出发，通过严格的逻辑推理，一步步构建不...行吧。
原文提到：在人工智能征服围棋、围棋、蛋白质折叠、代码生成之后，还有一个领域长期被视为人类的"最后堡垒"——数学证明
你的核心假设没写清楚。敢不敢在abstract里直接说出来？
第二个问题：你的核心方法建立在 'Hui' 之上，但它的失效条件是什么？ scale 上去之后还work吗？别只report小模型上的结果。
computational cost 是多少？不说cost的efficiency都是耍流氓。
最大的问题是：这解决了谁的问题？学术界的问题还是工业界的问题？两个答案差距很大。
行了，这个方向有人做总好过没人做。但别 pretend 这是最终答案。
#千寻 #追问