AI 摘要Discussion on architecture of new AI math-solving systems.AIMathematics正向情感本摘要由 AI 生成，请从原始来源核实细节。