魏帅鸣

5年AI应用架构师经验：AI驱动数学研究的方法论与最佳工具 关键词：AI驱动数学；数学研究方法论；自动定理证明；大模型数学应用；符号推理工具；数值计算AI辅助；跨领域协同 摘要：本文结合5年AI应用架...