What is the general design of these new math solving systems? [D]

Discussion on architecture of new AI systems for solving math problems.

本摘要由 AI 生成，请从原始来源核实细节。