AI4Math

关于非技术的想法，可以见主页博文

lean 的伪代码

933 字 2 分钟

lean 与自然语言之间的中间层

寻路数学智能体

892 字 2 分钟

将数学证明过程抽象为一个寻路问题