介于神话与现实之间：数学中的人工智能——一个范畴理论的案例研究

本研究探讨了人工智能在解决数学问题中的表现，填补了对AI系统如何辅助数学研究的理解空白。通过对当前两大AI系统的实验，我们提出了改进方向的建议，以支持AI系统开发者。研究的主要发现是AI在数学研究中的潜在帮助及其局限性。