AI在数学研究中的能力与宣传存在显著差距。尽管一些AI系统声称能解决复杂数学问题，但实际表现远低于预期，尤其在定义提取和推理方面。研究建议建立更严格的检查机制，并提醒数学家不要完全依赖AI。