https://docs.keinmal.top/ai4math/ Recent content in AI4Math on Docs Hugo --0.165.0 zh-cnwyz2016zxc@outlook.com(Hiraeth)wyz2016zxc@outlook.com(Hiraeth) https://docs.keinmal.top/ai4math/path-in-math/ Mon, 01 Jan 0001 00:00:00 +0000wyz2016zxc@outlook.com(Hiraeth)https://docs.keinmal.top/ai4math/path-in-math/ 将数学证明过程抽象为一个寻路问题 https://docs.keinmal.top/ai4math/pseudocode/ Mon, 01 Jan 0001 00:00:00 +0000wyz2016zxc@outlook.com(Hiraeth)https://docs.keinmal.top/ai4math/pseudocode/ lean 与自然语言之间的中间层