arXiv:2504.13360v1 宣布类型: 新 摘要: 近期，人们越来越关注 AI 系统在解决数学问题方面的性能。已经进行了大量的测试，结论参差不齐。在本文中，我们讨论了我们在这方面的数学研究中进行的一项实验，使用了当前最突出的两种 AI 系统。实验的一个目标是了解 AI 系统如何辅助数学研究。另一个目标是通过提出改进的方向建议来支持 AI 系统的开发者。