AxiomProver是一个验证AI系统，目标成为AI数学家

3/ AxiomProver是一个验证AI系统（开发中），首先致力于成为AI数学家。现在就来提交你的问题吧！

运行由AxiomProver端到端处理，输入为自然语言陈述的问题，输出为正确的Lean文件。