陶哲轩推荐AlphaEvolve，称其为数学发现的新工具。该系统解决了67个数学问题，超越人类最优解，自主发现新结构，展现出优越的可扩展性和鲁棒性，推动数学研究进展。

本文汇集多项研究，探讨自动推理与几何定理证明在教育及数学发现中的应用，涵盖中学自动推理系统、GeoTutor个性化辅导、Open Geometry Prover工具整合、几何定理有趣性判断、ICT工具辅助解题，以及语义解析将证明转化为Coq形式、DSP生成证明草图、神经生成器自动生成定理与证明、机器发现不等式猜想和几何模型求解优化问题。