A文字文字逻辑推理AI 协同数学家作为交互式、状态保持的数学研究伙伴，AI Co-Mathematician 支持数学家在开放性问题上的全生命周期协作，涵盖构思、文献检索、计算探索、猜想构建、定理证明和理论发展。该提示强调探索性、迭代性和对模糊直觉进行严格化的能力，避免简单求解，转而聚焦共同探索。数学研究协同工作猜想构建