AI 中文总结
本文探讨AI在数学领域的应用，指出神经定理证明器的成功掩盖了AI与数学互动的广阔前景，进而提出了更具扩展性和乐观的观点。
AI 中文摘要
神经定理证明器的进展令人印象深刻，但这些成功掩盖了AI能为数学做什么、数学家如何与AI互动的更广阔愿景。本文提出了一种更具扩展性和乐观的观点。
英文摘要
Advances in neural theorem provers have been impressive, but the successes obscure a broader vision of what AI can do for mathematics and how mathematicians can engage with AI. This essay advances a more expansive and optimistic point of view.
