降维打击，数学博士熬秃头，AI数学家：上午出题，下午4点交证明

AxiomProver是一款新型AI数学证明工具，自2024年2月起已推动8篇覆盖代数几何、表示论、数论等硬核领域的论文上线arXiv，其中5篇被权威期刊接收。它利用Lean形式化语言生成可机器验证的证明，实现上午出题、下午交证的超高速度，从根本上解决数学界长期存在的信用依赖与审稿迟滞问题。